【摘 要】
：
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法.本文
【机 构】
：
四川大学计算机学院 四川成都 610065
论文部分内容阅读
为了有效地在规格说明层面对软件系统进行测试,A.J.Offutt[1]针对系统的状态规格说明定义了一系列覆盖准则,并阐述了如何基于系统的状态表示生成满足覆盖准则的基本方法.本文引入了一种应用于大型集成电路设计的数据结构OBDD(有序二叉决策图)作为生成测试用例的基本结构,创新地提出了一种新的生成测试用例方法.
其他文献
在我很小的时候,我的父亲是部队里的医生.他不常在家,回一次家也很不容易,因为家在上海的崇明岛上,父亲的部队远在大西北的甘肃天水.那时候上海没有长江隧桥,普通人家也没有
淮山药为高产高效经济作物 ,常年每 667ｍ2 产2 50 0ｋｇ以上 ,产值逾 50 0 0元 ;,耐贮易运 ,市场走俏(销售周期长达半年之久 )。因而 ,其开发前景极为广阔。但生产上常因重茬连作
目的：探讨腹腔镜胆囊大部切除术（LC）的可行性。方法总结性回顾了我院收治急性胆囊疾病的患者68例行腹腔镜胆囊大部切除术的临床资料。结果本组68例急性胆囊疾病患者均成功行腹腔
随着社会的发展,电力工程的发展也有了很大的提高.针对大数据在电力调度中的应用研究,结合理论实践,在简要阐述大数据在电力调度中应用价值的基础上,分析了目前大数据在电力
进入二十一世纪,科学技术的发展日新月异,计算机的广泛运用,使人类社会进入到信息化时代。随着社会信息化进程的加快,信息资源已经成为人类社会活动和经济活动的战略资源。信
党的十八大提出要走向生态文明新时代,建设美丽中国,是实现中华民族伟大复兴的中国梦的重要内容,这必将有效地提高领导干部和广大人民群众对生态问题的认识.虽然我国每年对水
目的:调查社区卫生服务中心医护人员的手卫生情况,通过实施集束化手卫生干预措施,提高社区卫生服务中心医护人员的手卫生知识知晓率、手卫生依从率、手卫生正确率以及手消毒
随着当前我国环境问题越来越严峻,使得环境保护问题也逐渐受到了广大群众的关注.而环境的保护工作则应该将环境监测作为基础依托,这也说明环境的检测任务和工作量更是会得到
通过对 1 0片不同类型砼空心砌块墙片在反复水平荷载作用下的试验与分析 ,探讨了圈梁 -构造柱体系、构造柱加芯柱体系对墙体抗剪承载力、变形及破坏特征的影响 .提出了提高砼