中国科学院计算技术研究所机构知识库

浏览/检索结果: 共11条，第1-10条

帮助

限定条件	作者：谢高岗    第一作者

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	路由协议的符号化测试生成 期刊论文 计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589 作者:  邢熠;  叶新铭;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 协议一致性测试  统一语义模型  符号测试生成  符号执行  数据选择
	基于可用性的一致性测试套选择 期刊论文 计算机科学, 2009, 卷号: 36.0, 期号: 012, 页码: 132 作者:  邢熠;  叶新铭;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 一致性测试  测试选择  接受域  采样  可用性
	网络协议测试的符号化一致性关系研究 期刊论文 计算机工程与应用, 2008, 卷号: 44.0, 期号: 029, 页码: 11 作者:  邢熠;  叶新铭;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 符号化一致性关系  一致性  则试  输入输出符号变迁系统（IOTS）
	NEMO协议一致性测试集的设计与实现 期刊论文 计算机工程, 2007, 卷号: 33.0, 期号: 024, 页码: 93 作者:  杜宁;  郑红霞;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 NEMO协议  MIPv6互联网  协议一致性测试  测试例描述语言
	IS-ISv6协议一致性测试系统设计与实现 期刊论文 微计算机应用, 2006, 卷号: 27, 期号: 1, 页码: 19 作者:  罗晓慧;  赵达观;  谢高岗;  谢冬青 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 IS-ISv6协议  协议一致性测试  测试方法  一致性测试系统
	BGP4＋协议一致性测试系统设计与实现 期刊论文 计算机工程, 2006, 卷号: 32.0, 期号: 003, 页码: 131 作者:  夏启志;  綦科;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 协议一致性测试  BGP4＋  测试方法
	BGP4＋测试系统中微型TCP／IPV6的设计与实现 期刊论文 计算机应用研究, 2005, 卷号: 22.0, 期号: 009, 页码: 250 作者:  夏启志;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 微型TCP  测试系统  BGP4
	OSPFv3协议一致性测试集的设计和实现 期刊论文 计算机工程, 2005, 卷号: 31.0, 期号: 021, 页码: 96 作者:  赵达观;  谢高岗;  张大方 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 OSPFv3协议  协议一致性测试  测试集设计
	基于SoT的BGP4＋协议一致性测试系统设计 期刊论文 计算机工程与应用, 2005, 卷号: 41.0, 期号: 021, 页码: 139 作者:  颜勇;  谢高岗;  张大方 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 一致性测试  BGP4＋  测试集形式化描述语言
	Mobile IPv6 Home Agent协议一致性测试集的设计与实现 期刊论文 计算机工程, 2005, 卷号: 31.0, 期号: 016, 页码: 43 作者:  赵达观;  谢高岗;  张大方 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Mobile  IPv6协议  一致性测试  Home  agent  测试集