一种网络协议一致性测试生成方法的改进

摘要

该文对一种协议一致性测试生成方法——叠加回路方法进行了分析，证明了由该方法产生的测试序列并没有对给定的有限状态机（ＦＳＭＭ）中所有的转换进行测试，因而作了修改和补充，修改后的方法大大降低了叠加转换序列的计算复杂性。