中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
路由协议的符号化测试生成 期刊论文
计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589
作者:  邢熠;  叶新铭;  谢高岗
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
协议一致性测试  统一语义模型  符号测试生成  符号执行  数据选择  
OSPFv3协议一致性测试集的设计和实现 期刊论文
计算机工程, 2005, 卷号: 31.0, 期号: 021, 页码: 96
作者:  赵达观;  谢高岗;  张大方
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
OSPFv3协议  协议一致性测试  测试集设计  
OSPFv3协议一致性测试系统设计与实现 期刊论文
计算机应用, 2003, 卷号: 23.0, 期号: 007, 页码: 18
作者:  杨建华;  王俊峰;  谢高岗
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
协议一致性测试  OSPFv3  测试方法