蜕变测试和断言检查的比较与实验研究

摘要：

在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.

关键词：蜕变测试、断言检查、测试预言、控制实验、实验研究

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：the grants of the Research Grants Council of Hong Kong under Grant Nos.111107, 717308;the Australian Research Council under Grant No.DP0984760 澳大利亚研究理事会 A preliminary version of this paper was presented at the 3rd Int'l Workshop on Software Quality Assurance SOQUA 2006 in Conjunction with the 14th ACM SIGSOFT Symp. on Foundations of Software Engineering SIGSOFT 2006/FSE1

在线出版日期：2009-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：2637-2654