逆向判定性相关论文
协议的一致性测试是用来检验协议实现是否符合协议规范,其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机E......
在一个以扩展的有限状态机（ＥＦＳＭ）为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。同时，还要考虑到测试序列的优化问题。......
