论文部分内容阅读
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在程序中引入缺陷来度量测试用例集。但要使变体测试技术广泛且有效的服务于工业应用,还有很多研究工作需要进行,如:如何降低变体测试的开销;如何更有效的判断等价变体;如何加强变体测试的有效性;如何使变体测试技术更好的应用于新的程序语言(面向对象语言)等。 文章主要针对如何加强变体测试的有效性和如何使变体测试技术更好的应用于面向对象程序语言来展开研究。并利用一种有效的程序分析技术:程序分片,对变体测试进行了研究与分析。论文的主要工作包括: (1)基于程序片的变体测试指标提出。通过研究,在传统变体测试指标的基础上提出了一种更加严格的测试指标:基于程序片的变体测试指标。该指标涵盖了传统测变体测试指标。 (2)结合分片的变体测试方法提出。给出了基于程序片变体测试指标的一般性测试方法和相关的证明。该方法能更有效地指导变体测试的进行,同时能提高变体测试的准确性及效率。 (3)基于ISDG的面向对象程序分片算法提出。在原来系统依赖图的基础上提出了一种新的面向对象程序依赖关系的表示法:ISDG(Improved-SDG),解决了面向对象程序分片中对象参数表示不够精确的问题,使得到的分片更加准确。 (4)结合分片的变体测试方法在面向对象程序上的应用。把以上的研究成果应用于面向对象程序。使其更好的服务于面向对象程序。