| 基于pCTL的循环优化测试用例自动生成方法 |
| |
| 引用本文： | 余侠,薛云志,陶秋铭.基于pCTL的循环优化测试用例自动生成方法[J].小型微型计算机系统,2010,31(3). |
| |
| 作者姓名： | 余侠 薛云志 陶秋铭 |
| |
| 作者单位： | 1. 中国科学院软件研究所基础软件国家工程研究中心,北京,100080;中国科学院研究生院,北京,100080
2. 中国科学院软件研究所互联网软件技术实验室,北京,100080;中国科学院研究生院,北京,100080 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划项目 |
| |
| 摘 要： | 循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度.
|
| 关 键 词： | 循环优化 测试用例生成 覆盖率 |
Automatic Generation of Test Cases for Loop Optimizations Based on pCTL |
| |
| YU Xia,XUE Yun-zhi,TAO Qiu-ming.Automatic Generation of Test Cases for Loop Optimizations Based on pCTL[J].Mini-micro Systems,2010,31(3). |
| |
| Authors: | YU Xia XUE Yun-zhi TAO Qiu-ming |
| |
| Affiliation: | YU Xia1,3,XUE Yun-zhi2,TAO Qiu-ming2,31(National Engineering Research Center for Fundamental Software,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China)2(Laboratory for Internet Software Technologies,China)3(Graduate School,China) |
| |
| Abstract: | Test for loop optimizations is vital to modern compiler quality.However,test cases coded by hand result in low productivity,and the automatic generation of test cases is lack of accuracy for loop optimizations.Therefore,we suggest an automatic generation of test cases for loop optimization base on parameterized conditional temporal logic(pCTL).Experiments on coverage testing of gcc-4.1.1 show that we can generate test cases with accuracy for specific loop optimizations,and certain coverage is achieved by em... |
| |
| Keywords: | pCTL pCTL loop optimization test case generation coverage test |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
