一种提高一致性测试错误检测能力的方法

摘要

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节.文章在"Old"方法的基础上,通过补充协议规范的定义,获得了一种提高一致性测试检测能力的"New"方法.两种方法相结合,可以获得具有几乎完美的错误检测能力的测试序列.