Institutional Repository
| 一种编译优化测试用例自动生成方法的设计与实现 | |
| Alternative Title | design and implementation of an automatic test case generation method for compiler optimization |
| 曾伟明; 薛云志; 赵琛; 贺也平 | |
| 2009 | |
| Source | 小型微型计算机系统
 |
| ISSN | 1000-1220 |
| Volume | 30Issue:1Pages:13-18 |
| English Abstract | 编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度. |
| Indexed Type | wanfang,cnki,cscd |
| Keyword | 编译器测试 覆盖率 编译优化 时序逻辑 测试用例 Compiler Test Coverage Test Compiler Optimization Temporal Logic Test Case |
| Department | 基础软件国家工程研究中心 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3790 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 曾伟明,薛云志,赵琛,等. 一种编译优化测试用例自动生成方法的设计与实现[J]. 小型微型计算机系统,2009,30(1):13-18. |
| APA | 曾伟明,薛云志,赵琛,&贺也平.(2009).一种编译优化测试用例自动生成方法的设计与实现.小型微型计算机系统,30(1),13-18. |
| MLA | 曾伟明,et al."一种编译优化测试用例自动生成方法的设计与实现".小型微型计算机系统 30.1(2009):13-18. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 42.pdf（495KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment