【摘 要】
：
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控
【机 构】
：
浙江理工大学数学计算与软件工程中心浙江理工大学数学计算与软件工程中心浙江杭州浙江杭州
【基金项目】
：
国家“863”基金资助项目(2006AA01Z165)
论文部分内容阅读
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
其他文献
最令班主任们无措的应该是学生的心理障碍问题,虽然这样的学生只是极个别,但就是这极个别,却是班级管理中的最不安定的因素。每一个孩子都是一个家庭的希望,每一朵花都有绽放
目的探讨硫酸镁在静脉炎患者治疗中的应用效果。方法选择我院2017年10月~2018年10月收治的静脉炎患者130例,采用随机数字表法分为对照组和观察组各65例。对照组使用喜辽妥多
改革开放以来,在一些中小城市的学龄段儿童,由于其父母在外进修、经商或打工、离异父母再婚后重新组织家庭、父母为了子女前途着想将其送到远离家乡但教学质量较好的外地学校
目的探讨多巴胺联合多巴酚丁胺对重症肺炎患儿炎症反应的影响。方法选择2017年1月~2019年9月我院收治的70例重症肺炎患儿,随机分为对照组和观察组各35例。对照组行常规对症治
2001年,我国开始进行新中国成立以来第八次新课改。与过去的教学思想相比较,这一次改革以培养全面发展、具有较高素养的学生为目标,提出三个维度的教学目标。作为另外两个目
鄂尔多斯市蒙古语授课的地理老师并不全是本地人,还有很多是来自乌兰察布市、通辽市、锡林郭勒盟等多个盟市。所以,在日常教学中就会出现由于方言导致的表达差异现象。我通过
初中时期是学生由儿童变成青年的关键性过度时期,在此期间学生会在生理、心理方面产生巨大变化,学生的价值观、世界观、生活观等也会在这个时期形成。初中生异常重视别人对他
国资国企在我国政治、经济与社会生活中具有特殊的地位,这也决定了国资国企改革的制度设计和政策制定属于公共政策研究的重要领域。产权改革是我国国资国企必须直面的核心问
摘要：阐述了溶解乙炔生产过程中产生的电石渣浆的压滤工艺，针对压滤工艺存在的弊端，提出经初级沉淀后加入一定量的凝结剂，通过改进后的过滤工艺，分离出清水，返回生产系统循环利用，干渣形成含水量约30%～40%的半干电石渣，直接用于生产免烧砖。达到节能降耗、三废综合利用的目的。 关键词：电石渣浆 过滤工艺 设计 改进 溶解乙炔生产以电石（CaC2）为原料，与水反应生产乙炔过程中产生的工业废液，俗称电石
目的分析快速型心律失常患者行胺碘酮治疗的有效性和安全性。方法选取我中心急诊收治的快速型心律失常患者62例,以"入院顺序奇偶性"分为对照组和观察组各31例。对照组行传统