| 嵌入式C编译器测试用例生成工具的设计 |
| |
| 引用本文： | 陈国梁,郭东辉.嵌入式C编译器测试用例生成工具的设计[J].微计算机应用,2010,31(6). |
| |
| 作者姓名： | 陈国梁 郭东辉 |
| |
| 作者单位： | 1. 厦门大学物理系,厦门,361005
2. 厦门大学物理系,厦门,361005;厦门大学电子工程系,厦门,361005 |
| |
| 基金项目： | 福建省自然科学基金，厦门市科技计划项目 |
| |
| 摘 要： | 首先提出了一种嵌入式编译器测试验证方法,即基于串口传输的变量值验证法,在此基础上设计了一款针对嵌入式C编译器测试的测试用例生成工具ECPAG.该工具根据嵌入式C语法,采用随机算法产生符合规则的任意语法组合,采用概率算法限定各语法要素的生成概率,成功地将基于深度优先搜索的有向图拓扑排序方法应用于函数随机调用中的递归问题的解决.工程应用表明:该自动化工具生成的测试用例集合能够较好地覆盖嵌入式C语法,达到75%以上的块测试覆盖率.
|
| 关 键 词： | 嵌入式C编译器 测试用例生成 递归调用 |
Design of an Automatic Test Case Generator for Embedded C Compilers |
| |
| CHEN Guoliang,GUO Donghui.Design of an Automatic Test Case Generator for Embedded C Compilers[J].Microcomputer Applications,2010,31(6). |
| |
| Authors: | CHEN Guoliang GUO Donghui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
