Institutional Repository
| 基于pCTL的循环优化测试用例自动生成方法 | |
| Alternative Title | automatic generation of test cases for loop optimizations based on pctl |
| 余侠; 薛云志; 陶秋铭 | |
| 2010 | |
| Source | 小型微型计算机系统
 |
| ISSN | 1000-1220 |
| Volume | 31Issue:3Pages:436-440 |
| English Abstract | 循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度. |
| Keyword | Pctl 循环优化 测试用例生成 覆盖率pctl Loop Optimization Test Case Generation Coverage Test |
| Department | 中国科学院软件研究所基础软件国家工程研究中心;中国科学院研究生院;中国科学院软件研究所互联网软件技术实验室; |
| Subject | Computer Science |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/9868 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 余侠,薛云志,陶秋铭. 基于pCTL的循环优化测试用例自动生成方法[J]. 小型微型计算机系统,2010,31(3):436-440. |
| APA | 余侠,薛云志,&陶秋铭.(2010).基于pCTL的循环优化测试用例自动生成方法.小型微型计算机系统,31(3),436-440. |
| MLA | 余侠,et al."基于pCTL的循环优化测试用例自动生成方法".小型微型计算机系统 31.3(2010):436-440. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment