CSpace

浏览/检索结果: 共9条,第1-9条 帮助

已选(0)清除 条数/页:   排序方式:
路由协议的符号化测试生成 期刊论文
计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589
作者:  邢熠;  叶新铭;  谢高岗
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
协议一致性测试  统一语义模型  符号测试生成  符号执行  数据选择  
NEMO协议一致性测试集的设计与实现 期刊论文
计算机工程, 2007, 卷号: 33.0, 期号: 024, 页码: 93
作者:  杜宁;  郑红霞;  谢高岗
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
NEMO协议  MIPv6互联网  协议一致性测试  测试例描述语言  
IPv6中IS-ISv6协议的一致性测试系统设计与实现 期刊论文
微计算机信息, 2007, 卷号: 000, 期号: 021, 页码: 151
作者:  张龙翔;  张丽萍;  翟鹏
收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04
协议一致性测试  IS-ISv6  IPv6  测试方法  
IS-ISv6协议一致性测试系统设计与实现 期刊论文
微计算机应用, 2006, 卷号: 27, 期号: 1, 页码: 19
作者:  罗晓慧;  赵达观;  谢高岗;  谢冬青
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
IS-ISv6协议  协议一致性测试  测试方法  一致性测试系统  
BGP4+协议一致性测试系统设计与实现 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 003, 页码: 131
作者:  夏启志;  綦科;  谢高岗
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
协议一致性测试  BGP4+  测试方法  
OSPFv3协议一致性测试集的设计和实现 期刊论文
计算机工程, 2005, 卷号: 31.0, 期号: 021, 页码: 96
作者:  赵达观;  谢高岗;  张大方
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
OSPFv3协议  协议一致性测试  测试集设计  
IPv6协议一致性测试例的设计 期刊论文
计算机应用, 2003, 卷号: 23.0, 期号: 004, 页码: 62
作者:  郑红霞;  田军;  张玉军;  于东;  李忠诚
收藏  |  浏览/下载:12/0  |  提交时间:2023/12/04
IPv6协议  通信协议  协议一致性测试  测试例设计  计算机网络  
OSPFv3协议一致性测试系统设计与实现 期刊论文
计算机应用, 2003, 卷号: 23.0, 期号: 007, 页码: 18
作者:  杨建华;  王俊峰;  谢高岗
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
协议一致性测试  OSPFv3  测试方法  
用于协议一致性测试序列生成的状态规范化算法 期刊论文
通信学报, 1997, 卷号: 18.0, 期号: 002, 页码: 75
作者:  程时端;  苏彤;  倪群
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
协议一致性测试  测试集  有限状态机  信息论