论文部分内容阅读
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。
基于Petri网的软件测试分析
【摘 要】
：
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。
【机 构】
：
安徽理工大学
【出 处】
：
计算机技术与发展
【发表日期】
：
2007年02期
【基金项目】
：
国家自然科学基金（30570431）,安徽省优秀青年基金（06042088）,安徽理工大学青年基金（2004020）及硕博基金项目
其他文献
通过对影响大学生健康的几种主要的不良生活习惯进行调研，分析其成因以及对大学生健康和学习的影响，寻求对策，为高校的素质教育和健康教育提供参考。
根据越来越多个人理财的需求，开发了基于产生式规则的个人理财专家系统。该系统的主要特点为：利用产品树进行个人资产情况的提取与组织，将其形式化，并初步形成产生式规则；进行规则
１９９４年呼盟农机化工作重点为使农机化工作更好地为“两高一优”农业服务，成为农牧业生产的主要生产力，呼盟农机化主管部门决定在搞好正常业务工作的同时，重点抓好以下几项工作：１进一步
为了解决煤矿传统管网维护难度大、工况数据收集困难和应急处置慢的问题,通过对传统管网进行分级,在上下级交叉点前后布置压力传感器、流量传感器和电动闸阀,由KJJ24控制柜监
针对采用自然通风冷却塔的1050MW火力发电机组循环水泵耗电率大,雨区噪音污染严重问题,重庆万州港电公司开展冷却塔系统调研,将广泛应用于核电站的高位收水冷却塔运用在火力
以体育教学理论和原理为指导，利用多媒体辅助教学，研究体育教学规律，激发学生的学习兴趣，为提高体育教学质量和科研水平提供可行性意见。
5月6日，来自欧盟-美国贸易和投资协定的谈判人员们结束了第13轮谈判，双方重申在今年结束协定谈判的愿望，前提是不会强行就实质性内容进行妥协。 会议同时希望在未来一年、奥巴马离任之前尽快推进贸易谈判，目标是尽可能结束谈判。不过，即使达成协定，批准工作也不会在2016年完成。
针对梅花井煤矿当前长距离单巷大断面、大埋深、高应力问题,通过与相邻巷道围岩变形破坏特征及原因分析,优化巷道布置形式及支护设计,与1104207工作面运输巷及其相邻的111020
Dieulafoy病变出血又称为黏膜下恒径动脉破裂出血,是引起致命性消化道大出血的少见原因之一,发生率低,仅占急性胃肠道出血患者的1%~2%[1,2],患者病死率达到8.6%~80%[2]。近年