基于局部错误诊断的动态协议一致性测试方法 (2007年)

为提高测试结果的可靠性和错误覆盖率，在动态协议一致性测试过程中引入局部错误诊断机制，提出了一种新的动态测试方法，并在确定有限状态机模型下分析其原理及正确性。新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选，有效避免了对局部错误位置的错误判断。同时，提出了一种基于错误子列的局部错误诊断方式，突破了单一错误假设的局限，更具实用价值。实验结果表明，该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低，具有更好的错误覆盖率。