【摘 要】
：
为了全面测试演化软件,回归测试通常需要生成新的测试用例.concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径.回归
【基金项目】
：
国家自然科学基金资助项目（61272108）
论文部分内容阅读
为了全面测试演化软件,回归测试通常需要生成新的测试用例.concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径.回归测试中,由于concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间.为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法.该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行concolic测试
其他文献
《新课程标准》明确指出：“促进信息技术与学科课程的整合，逐步实现教学内容的呈现方式，学生的学习方式，教师的教学方式和师生互动方式的变革，充分发挥信息技术的优势，为学生的学习
试验池塘３口，放养１．５￣２ｃｍ的虾苗，经一个生长季节，规格可达３４尾／ｋｇ、饵料系数最低为１．５５，最高单产达１３２０ｋｇ／ｍｈ＾２，投入产出比最高达１：２．１９。试验结果表明：水质管理、料饵质量、敌害生物、池塘环境及管理水平等条件是影响
马来西亚的恐怖主义形势不容乐观,反恐任务艰巨。国内恐怖主义因素不断发酵,国外恐怖主义力量虎视眈眈。如何反恐,并且治理恐怖问题,是马来西亚亟须面对的现实。本文立足马来
中国航天科工集团公司所属北京航天长峰股份有限公司成功中标美国通用磨坊贸易（上海）有限公司河北省三河市生产基地的污水处理工程．开创了该公司与著名国际食品企业合作的先河。
由于人们所处的环境各不相同，个性化服务已经成为信息时代不可回避的课题。个性化服务通过收集和分析用户信息来学习用户的兴趣和行为，从而实现主动推荐的目的。本文针对个性化
记者近期从科技部国际合作司获悉，依托西北大学“光电技术与功能材料国家重点实验室培育基地”和“国家级光电技术与功能材料及应用国际科技合作基地”，由西北大学王惠教授主持
<正> 疲劳分析章在应力分析篇中是极为重要的一个章节,不仅和其余各章都有联系,而且国内制订疲劳规定尚属首次。应力分析篇初稿的理论基础是“关于压力容器设计规定中疲劳分
【正】 各市、县人民政府,自治区农垦局,区直各委、办、厅、局:为进一步加强有关部门之间的统筹协调,促进我区中医药事业的发展,自治区人民政府决定成立自治区中医药工作厅际
明代嘉、隆之后,闽、赣、苏等地,戏曲选本不断涌现。目连戏以其别具一格的特色,赢得观众的喜爱,今存十六种戏曲选集内收録有它的零出或零支曲文,从中可见目连戏在明代的传播
自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提