用于协议一致性测试序列生成的状态规范化算法

摘要

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性的ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序我的可执行性，观察性，控制性问题。同时兼顾了数据流和控制流的全面测试。