排序方式： 共有3条查询结果，搜索用时 0 毫秒
1
1.
在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E-LOTOS描述后的部分RIP协议用该软件转化为GE-LOTOS. 相似文献
2.
关于路由协议的一致性测试的一种形式方法 总被引：1，自引：1，他引：0
为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。 相似文献
3.
对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用． 相似文献
1