论文部分内容阅读
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行，避免了隐含的不可行路径，复杂度分析表明该方法可以避免状态爆炸问题。
基于控制流的形式化程序测试
【摘 要】
：
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列
【机 构】
：
浙江理工大学信息电子学院
【出 处】
：
浙江理工大学学报
【发表日期】
：
2008年3期
【基金项目】
：
国家863基金资助项目（2006AA01Z165）
其他文献
依照先进国家和地区的经验及从浙江省的现实出发,为促进浙江产业升级和结构调整,文章提出应充分发挥法律的保障作用,建立和完善产业法律制度,加紧制定〈浙江省促进产业升级条
随着经济全球化和信息化时代的到来，当今的多元文化社会使人们的原有的相对稳定的价值体系逐渐趋向多元化和矛盾化。因此，在多元文化背景下，对建构适应多元文化时代社会主义核心
针对目前研究生教育存在的培养资金不足、培养模式单一等问题，山西省有关部门提出了由企业技术中心的高级技术人员参与高校研究生培养模式。通过运用问卷调查、数理统计等研究
指出中国企业的出口之路益发艰难,要求中国企业提高自主创新能力的呼声日益高涨,而对于浙江的出口型中小企业来说,由于企业具有集群化的特征,且整体技术水平与主要贸易国相比
将Page的带有警戒限的平均值控制图推广到中位值控制图上,设计带有警戒限的中位值控制图,并同其常规控制图加以比较.进而制定与中位值图具有相同伪警报率的平均值控制图,在正
随着独立学院发展的日趋完善，学科竞赛已成为其实践教学环节中不可或缺的部分。浙江理工大学科艺学院以全国大学生管理决策模拟大赛为例，阐述了在组织管理独立学院学生学科竞赛
与传统社会实践相比，“电子村官”——社会实践模式具有社会实践主体广泛性、实践活动经常化、实践区域基层化、社会实践手段虚拟化和社会实践实效性等特点。阐述了“电子村官
教育质量是高等教育的生命线，科学决定人才培养方案，加强师资队伍建设，构建以教学质量为核心的教学管理模式及改进和完善教学质量监控体系是提高教学质量的重要举措。
2009年7月24日,通化钢铁集团股份有限公司因其部分员工对企业重组不满而发生了群体性事件。此事件的发生折射出目前我国在企业公民建设中普遍存在的企业公民理念普及滞后和企