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

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

帮助

限定条件	专题：中国科学院计算技术研究所期刊论文    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	PN4TS：一种基于CPN模型的IOCO测试选择方法 期刊论文 计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451 作者:  刘靖;  李茹;  叶新铭;  李军 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 测试选择  测试目的  IOCO一致性  着色Petri网  同步模拟执行
	基于TCL的6LoWPAN协议一致性测试 期刊论文 计算机工程, 2012, 卷号: 38.0, 期号: 004, 页码: 263 作者:  杨德兴;  刘钦明;  魏磊;  史红周 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 6LoWPAN协议  802.15.4标准  IPv6协议  TCL脚本语言  一致性测试  uIPv6协议栈
	路由协议的符号化测试生成 期刊论文 计算机学报, 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）
	服务在线迁移系统研究与实现 期刊论文 计算机科学, 2007, 卷号: 34.0, 期号: 012, 页码: 111 作者:  张仲敏;  宋凭;  许鲁 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 服务容灾  服务迁移  数据一致性
	NEMO协议一致性测试集的设计与实现 期刊论文 计算机工程, 2007, 卷号: 33.0, 期号: 024, 页码: 93 作者:  杜宁;  郑红霞;  谢高岗 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 NEMO协议  MIPv6互联网  协议一致性测试  测试例描述语言
	IPv6中IS-ISv6协议的一致性测试系统设计与实现 期刊论文 微计算机信息, 2007, 卷号: 000, 期号: 021, 页码: 151 作者:  张龙翔;  张丽萍;  翟鹏 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 协议一致性测试  IS-ISv6  IPv6  测试方法
	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＋  测试方法