|
|||||
|
|
| 一种编译优化测试用例自动生成方法的设计与实现 | |
| 引用本文： | 曾伟明,薛云志,赵琛,贺也平.一种编译优化测试用例自动生成方法的设计与实现[J].小型微型计算机系统,2009,30(1). |
| 作者姓名： | 曾伟明 薛云志 赵琛 贺也平 |
| 作者单位： | 1. 中国科学院,软件研究所,基础软件国家工程研究中心,北京,100080;中国科学院,研究生院,北京,100080 2. 中国科学院,软件研究所,互联网软件技术实验室,北京,100080;中国科学院,研究生院,北京,100080 3. 中国科学院,软件研究所,基础软件国家工程研究中心,北京,100080;中国科学院,软件研究所,互联网软件技术实验室,北京,100080 4. 中国科学院,软件研究所,基础软件国家工程研究中心,北京,100080 |
| 摘 要： | 编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度. |
| 关 键 词： | 编译器测试 覆盖率 编译优化 时序逻辑 测试用例 |
Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization |
|
| ZENG Wei-ming,XUE Yun-zhi,ZHAO Chen,HE Ye-ping.Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization[J].Mini-micro Systems,2009,30(1). | |
| Authors: | ZENG Wei-ming XUE Yun-zhi ZHAO Chen HE Ye-ping |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |
