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

关键词: 一致性测试, 测试序列, 测试子序列, 检错能力

Abstract: Conformance test has been an active field on protocol engineering, b ut the generation of test sequence is the pivotal tache. Based on "Old" method , this research provides a new method ,named "New" method, to improve fault dete ction capability by defining extra transition of specification. A test sequence with near perfect fault detection capability can be generated by combining the " Old" and "New"methods.

中图分类号: 

• TP393.02