基于程路径分析的有效蜕变测试.docVIP

基于程序路径分析的有效蜕变测试* 董国伟 聂长海 徐宝文 (东南大学计算机科学与工程学院　南京　210096) (江苏省软件质量研究所　南京　210096) 摘 要 蜕变测试对于预期输出难以构造的程序是实用和高效的. 作者在系统研究已有蜕变测试方法和路径分析技术的基础上，首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则，以在多个不同的层次上定义蜕变测试用例集的充分性；然后给出了三种能够生成相应测试用例集的算法；最后通过变异分析的方法证实这些算法的有效性. 实验结果表明蜕变关系和测试准则的选取直接影响到测试的效果，另外，使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误，而生成的测试用例的数量却比传统技术要少. 关键词 软件测试; 蜕变测试; oracle问题; 蜕变关系; 路径覆盖准则 Effective Metamorphic Testing Based on Program Path Analysis* DONG Guo-Wei NIE Chang-Hai XU Bao-Wen ( School of Computer Science and Engineering , Southeast University , Nanjing 210096 ) ( Jiangsu Institute of Software Quality , Nanjing 210096 ) 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. Finally, these algorithms’ performances are fully proved with the technique of mutation analysis. The experiment results show that testing effects are greatly decided by the selection of metamorphic relations and testing criteria, and the algorithm APCEMST could detect faults quickly and exactly with fewer test cases than traditional method. Keywords software testing; metamorphic testing; oracle problem; metamorphic relation; path-coverage criterion 引言 软件测试是一种重要的、不可缺少的软件质量保证技术，用于发现和纠正软件中存在的缺陷和错误。但在很多情况下，测试时存在着oracle问题 ADDIN EN.CITE EndNoteCiteAuthorWeyuker/AuthorYear1982/YearRecNum2/RecNumrecordrec-number2/rec-numberref-type name=Journal Article17/ref-typecontributorsauthorsauthorWeyuker, E. J./author/authors/contributorstitlestitleOn testing non-testable programs/titlesecondary-titleThe Computer Journal/secondary-title/titlesperiodicalf