论文部分内容阅读
该文讨论了一种协议测试套的自动生成方法及测试套生成系统的实现。该系统使用E-LOTOS作为协议的形式化描述规范，然后基于UIO序列和Dijkstra算法等技术自动生成基于TTCN-3描述的测试套。将该系统应用于对BGP-4协议的一致性测试中，自动生成了BGP-4协议状态机的测试套，提高了效率并且扩大了覆盖面。