基于pCTL的循环优化测试用例自动生成方法

2010-4-24 09:51:28 1501

0 【作者】：余侠;薛云志;陶秋铭; 【来源】：《小型微型计算机系统》2010年03期【摘要】：循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度【关键词】：pCTL;;循环优化;;测试用例生成;;覆盖率【DOI】：CNKI:SUN:XXWX.0.2010-03-009 【正文快照】：1引言在大多数程序中,循环占大部分程序执行时间,对循环的优化影响着整个程序的执行效率,并且随着多核威廉希尔官方网站的发展,并行化越来越重要,而这也是循环优化的目标之一,因此循环优化是现代编译器不可缺少的部分.编译器测试是保证编译器质量的重要手段,但由于编译器特别是编译优化模块全文下载 0
2010-4-24 09:51:28　　评论淘帖0 举报相关推荐 • 粒子群优化测试用例生成方法 0 • 基于路径的快速测试用例自动生成方法 0 • 基于碰撞域检测优化的测试用例自动生成方法 2 • 基于遗传算法的测试用例生成方法 2 • 基于DSEA的弱变异测试用例集生成方法 0 • TPT自动生成测试用例 878 • 一种改进的两两组合测试用例生成方法 16 • 基于UML图依权限有序的Web链接测试用例生成方法 0 • Android智能电视测试用例生成方法及应用研究 0 • 基于烟花爆炸优化算法的测试数据生成方法 0