| 基于程序路径分析的有效蜕变测试 |
| |
| 引用本文： | 董国伟,聂长海,徐宝文.基于程序路径分析的有效蜕变测试[J].计算机学报,2009,32(5). |
| |
| 作者姓名： | 董国伟 聂长海 徐宝文 |
| |
| 作者单位： | 1. 东南大学计算机科学与工程学院,南京,210096
2. 江苏省软件质量研究所,南京,210096;南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家杰出青年科学基金，国家自然科学基金重大项目，国家自然科学基金重点项目，国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMsT)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.
|
| 关 键 词： | 软件测试 蜕变测试 oracle问题 蜕变关系 路径覆盖准则 |
Effectively Metamorphic Testing Based on Program Path Analysis |
| |
| DONG Guo-Wei,NIE Chang-Hai,XU Bao-Wen.Effectively Metamorphic Testing Based on Program Path Analysis[J].Chinese Journal of Computers,2009,32(5). |
| |
| Authors: | DONG Guo-Wei NIE Chang-Hai XU Bao-Wen |
| |
| Affiliation: | School of Computer Science and Engineering;Southeast University;Nanjing 210096;Jiangsu Institute of Software Quality;Nanjing 210096;State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093 |
| |
| Abstract: | Metamorphic testing is very practical and effective for programs with oracle problems.Much research has been done in this field.Based upon existed methods of metamorphic testing and program path-analysis,the authors first present a set of metamorphic testing criteria for the test with binary metamorphic relations.These criteria define the adequacy of metamorphic test suites at several different levels.Then,three new testing algorithms are given to generate test suites that could satisfy the criteria above.F... |
| |
| Keywords: | software testing metamorphic testing oracle problem metamorphic relation path-coverage criterion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
