【摘 要】
：
提出一种基于基因表达式编程（GEP）算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制
【机 构】
：
浙江师范大学数理与信息工程学院,四川大学计算机学院
【基金项目】
：
浙江省科技计划基金资助项目“高可信软件测评关键技术研究和测评工具开发”（2009c31118）
论文部分内容阅读
提出一种基于基因表达式编程（GEP）算法、编译器技术、虚拟机技术的路径覆盖测试用例生成方法。该方法使用编译器技术获得程序的静态控制流路径集合,针对集合中的每一条静态控制流路径,使用GEP算法生成覆盖特定路径的测试用例,采用虚拟机完成结果计算,其中有效的结果即所需的测试用例。实验结果证明,该方法能高效、准确地得到覆盖特定控制流路径的测试用例。
其他文献
着力提升生态效率是淮河生态经济带国家战略建设需要解决的最为关键问题。该文选取2008—2016年淮河经济带25个城市数据为样本,利用主成分分析法测算出了反映各城市环境综合
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着移动互联网技术的蓬勃发展,共享经济已成为21世纪初最令人振奋的话题。共享经济模式从经济民主、分配公平以及生态持续三个方面塑造了全新的社会经济生活组织方式,通过共
目的：阐明甲下骨疣的临床诊断与治疗体会。方法：结合收治9例病例，就其临床体征、X线片、病理诊断及治疗方法进行分析。结果：甲下骨疣为发生于指或趾甲下的骨软骨瘤，局部畸形明显，X
新课程改革要求科学教师在教学中以学生发展为本,积极挖掘多种教学资源,坚守学科本质,体现学科特色,竭力倡导学生自主实验探究,关注每位学生的生命成长,从而营造和谐,高校的
时代造就命运，时代书写教育。教育要适应时代的要求。作为一个新时代小学的班主任，时代赋予了我们更高、更远、更有深度的责任感。孩子是祖国的未来、祖国的希望，做一个有高度责任感的班主任，有着特殊的时代意义。班主任对本班学生成长的影响是不可估量的，管理班级应该为着学生的终身发展而努力。 一、从思想上认识教育 时代不断在发展，孩子的见识面也在不断地扩大，难于分清糟粕与精华，十分需要班主任的引导。电视、网
目前,互联网教学中流行着一种新的教学样式——微课。微课的主要特点是"微",而"微"又是由教学时间之"微"和教学内容之"微"两个方面构成的。文章针对当前微课教学内容不"微"的
党内政治文化建设是我们党的建设的重要内容,也是党自我完善自我发展的重要法宝。习近平总书记在党的十九大报告中,全面系统地阐述了新时代中国特色社会主义思想的基本方略,
摘 要：随着社会的快速发展，社会的各行各业对人才的需求标准也发生了很大的变化，对人才的信息技术素养的要求也越来越高。本人在计算机应用基础的教学中遇到了一些问题，比如学生眼高手低，对书本知识不感兴趣；再比如学生的计算机操作能力高低悬殊较大，课堂上容易同时出现“吃不饱”和“吃不了”的现象。在采用任务驱动、分小组合作学习等教学方法的基础上如何进一步做好课堂教学的评价，充分引导学生在做的同时能充分阐述自己
一、原电池实验在教材中的地位《化学能与电能》是人教版必修二的第二章第二节的内容,化学能与电能属于化学原理范畴,是化学学科的重要原理性知识之一,也是对氧化还原反应原