| 一种编译优化测试用例自动生成方法的设计与实现 |
| 其他题名 | design and implementation of an automatic test case generation method for compiler optimization
|
| 曾伟明; 薛云志; 赵琛; 贺也平
|
| 2009
|
| 发表期刊 | 小型微型计算机系统
 |
| ISSN | 1000-1220
|
| 卷号 | 30期号:1页码:13-18 |
| 摘要 | 编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度. |
| 收录类别 | wanfang,cnki,cscd
|
| 关键词 | 编译器测试
覆盖率
编译优化
时序逻辑
测试用例 Compiler Test
Coverage Test
Compiler Optimization
Temporal Logic
Test Case
|
| 部门归属 | 基础软件国家工程研究中心
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3790
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
曾伟明,薛云志,赵琛,等. 一种编译优化测试用例自动生成方法的设计与实现[J]. 小型微型计算机系统,2009,30(1):13-18.
|
| APA |
曾伟明,薛云志,赵琛,&贺也平.(2009).一种编译优化测试用例自动生成方法的设计与实现.小型微型计算机系统,30(1),13-18.
|
| MLA |
曾伟明,et al."一种编译优化测试用例自动生成方法的设计与实现".小型微型计算机系统 30.1(2009):13-18.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论