【摘 要】
：
为了全面测试演化软件,回归测试通常需要生成新的测试用例.concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径.回归
【基金项目】
：
国家自然科学基金资助项目（61272108）
论文部分内容阅读
为了全面测试演化软件,回归测试通常需要生成新的测试用例.concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径.回归测试中,由于concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间.为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法.该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行concolic测试
其他文献
《新课程标准》明确指出：“促进信息技术与学科课程的整合，逐步实现教学内容的呈现方式，学生的学习方式，教师的教学方式和师生互动方式的变革，充分发挥信息技术的优势，为学生的学习
由于人们所处的环境各不相同，个性化服务已经成为信息时代不可回避的课题。个性化服务通过收集和分析用户信息来学习用户的兴趣和行为，从而实现主动推荐的目的。本文针对个性化
<正> 疲劳分析章在应力分析篇中是极为重要的一个章节,不仅和其余各章都有联系,而且国内制订疲劳规定尚属首次。应力分析篇初稿的理论基础是“关于压力容器设计规定中疲劳分
自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提