计算机科学与探索 ›› 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. 1. 东南大学 计算机科学与工程学院,南京 210096
    2. 江苏省软件质量研究所,南京 210096
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-03-15 发布日期:2009-03-15
  • 通讯作者: 董国伟

Survey of Metamorphic Testing

DONG Guowei1,2, XU Baowen1,2+, CHEN Lin1,2, NIE Changhai1,2, WANG Lulu1,2   

  1. 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: 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