蜕变测试技术综述

doi:10.3778/j.issn.1673-9418.2009.02.002

计算机科学与探索 ›› 2009, Vol. 3 ›› Issue (2): 130-143.DOI: 10.3778/j.issn.1673-9418.2009.02.002

蜕变测试技术综述

董国伟^1,2,徐宝文^1,2+,陈林^1,2,聂长海^1,2,王璐璐^1,2

1. 东南大学计算机科学与工程学院，南京 210096
2. 江苏省软件质量研究所，南京 210096

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-03-15 发布日期:2009-03-15
通讯作者: 董国伟

Survey of Metamorphic Testing

DONG Guowei^1,2, XU Baowen^1,2+, CHEN Lin^1,2, NIE Changhai^1,2, WANG Lulu^1,2

1. School of Computer Science and Engineering， Southeast University， Nanjing 210096， China
2. Jiangsu Institute of Software Quality， Nanjing 210096， China

Received:1900-01-01 Revised:1900-01-01 Online:2009-03-15 Published:2009-03-15
Contact: DONG Guowei

摘要/Abstract

摘要： 软件测试是一种重要的、不可缺少的软件质量保证技术，用于发现和纠正软件中存在的缺陷和错误，但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序，可以有效地解决上述问题。经过近十年的研究，蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展，并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述，针对已有方法的不足之处，对未来的研究方向进行了展望，包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。

关键词: 软件测试, 蜕变测试, 蜕变关系

Abstract: Metamorphic testing （MT） is a technique that tests software by checking relationships among several executions， so it is very practical and effective for program with oracle problem. This technique has been used in various fields， and great developments have been made in MT process optimization and combination with other testing methods since 1998. The current investigation of MT is surveyed， and some research directions for it are presented， which are the research of MT sufficiency， the effective metamorphic relation constructing technology， the effective original testing case selecting technology， the research of MT for new type software and the development of MT tools， etc.

Key words: software testing, metamorphic testing, metamorphic relation

董国伟1,2 ,徐宝文1,2+ ,陈林1,2 ,聂长海1,2 ,王璐璐1,2 . 蜕变测试技术综述[J]. 计算机科学与探索, 2009, 3(2): 130-143.

DONG Guowei^1,2, XU Baowen^1,2+, CHEN Lin^1,2, NIE Changhai^1,2, WANG Lulu^1,2. Survey of Metamorphic Testing[J]. Journal of Frontiers of Computer Science and Technology, 2009, 3(2): 130-143.

[1]	韩鑫鑫，贲可荣，张献. 军用软件测试领域的命名实体识别技术研究[J]. 计算机科学与探索, 2020, 14(5): 740-748.
[2]	张毅伟，贲可荣. 基于状态图测试的迁移路径生成方法[J]. 计算机科学与探索, 2019, 13(6): 961-972.
[3]	余恒，贲可荣. 针对模型转换程序的蜕变测试方法研究[J]. 计算机科学与探索, 2016, 10(7): 915-923.
[4]	何炎祥，陈勇，吴伟，李清安，江南，徐超. 绿色编译优化策略：研究综述[J]. 计算机科学与探索, 2013, 7(8): 673-690.
[5]	潘森, 谭曦, 彭鑫, 赵文耘. 综合包级和类级度量的软件缺陷预测方法[J]. 计算机科学与探索, 2012, 6(2): 109-117.
[6]	胡从兴1,2 , 陈林1,3 , 丁晖1 , 曾奕2 . 结合语句执行补集的程序错误定位[J]. 计算机科学与探索, 2011, 5(6): 522-533.
[7]	王子元1,2+ ,徐宝文1,2 ,聂长海1,2 . 组合测试用例生成技术[J]. 计算机科学与探索, 2008, 2(6): 571-588.
[8]	谢晓园1 ,许蕾1 ,徐宝文1,2+ ,聂长海1 ,史亮3 . 演化测试技术的研究[J]. 计算机科学与探索, 2008, 2(5): 449-466.
[9]	章晓芳1,2 ,陈林1,2 ,徐宝文1,2+ ，聂长海1,2 . 测试用例集约简问题研究及其进展[J]. 计算机科学与探索, 2008, 2(3): 235-247.

蜕变测试技术综述

Survey of Metamorphic Testing

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 9

编辑推荐

Metrics