变异测试是一种面向故障的软件测试方法,该技术向被测程序注入一组人工设计的故障,又称变异体,来评估已有测试用例的故障检测水平以及设计满足高故障检测率的测试集。变异测试存在的一个主要问题是,它生成了大量冗余且无用的变异体,这些变异体无法显著提升测试用例的检测水平,但却极大地提高了测试分析的成本。近年来,国内外研究者提出了通过蕴含关系识别一组最小无冗余的变异体子集作为变异测试的输入,从而最大程度地减少测试成本,同时提高测试用例杀死每一个故障所取得的故障检测水平。然而,变异体的蕴含关系识别是一个不可解问题。本文采用了一种基于动态测试的算法近似识别变异蕴含关系以及最小蕴含变异集。相较于现有的算法,该算法能够在尽可能减少测试次数和计算成本的条件下完成蕴含集的识别。本文的贡献包括:1)提出了一种动态快速算法,计算和识别变异体的动态蕴含图;该算法主要通过三个步骤完成蕴含关系的识别,分别是:聚类、排序和剪枝;2)将上述算法集成到CTS测试系统中,为识别77种C语言算子的变异体中的最小蕴含集提供功能支持;3)将文本提出的快速算法应用于12组程序的近6万个变异体上,包括五个较大的西门子测试套件程序,从中识别出相应的最小蕴含变异体集。通过实验分析,本文发现,上述快速算法在现有算法的基础上减少了 25.6%的蕴含关系计算次数;同时通过实验结果分析发现,总共约2.15%的变异体是蕴含变异集,说明变异测试中大部分故障是冗余的,通过本文提出的算法,可以快速识别出变异测试中的蕴含集,从而为提高变异测试的分析效率和有效性提供工具支持。