1 |
张巨萍;;TTworkbench在DNS协议测试中的应用研究[J];内蒙古科技与经济;2008年13期 |
2 |
王红霞,叶新铭;基于Petri网模型的OSPF路由算法的测试序列生成[J];内蒙古大学学报(自然科学版);2001年03期 |
3 |
杨明,蔡小隽,张世永,钱松荣;MIME的一致性测试研究[J];计算机工程;1996年S1期 |
4 |
鱼晓丽,吴建平;用户数据报协议的一致性测试研究[J];计算机工程与应用;2002年12期 |
5 |
兰海涛,马玉祥;INAP协议一致性测试生成的形式化方法[J];微电子学与计算机;2003年01期 |
6 |
马发俊,缪淮扣,刘玲;TCP协议的Z语言描述[J];上海大学学报(自然科学版);2003年06期 |
7 |
李希合;胡总;;基于CFSM的一致性测试序列生成方法[J];电脑知识与技术;2008年25期 |
8 |
廖健,钱松荣,张根度;IPng协议及其一致性测试研究[J];计算机工程与应用;1998年02期 |
9 |
刘宏照;赵保华;屈玉贵;;基于Tcl的策略路由协议一致性测试[J];计算机工程与应用;2006年10期 |
10 |
王平;汪春华;易明华;张艳芳;;EPA协议抽象测试集的设计[J];计算机应用;2006年10期 |
11 |
毛迪林,高传善,贾百昌;TCP/IP环境下OSI TP4协议的实现以及一致性测试[J];计算机工程;1997年S1期 |
12 |
张琳琳;梁冰;曲昭伟;;SIP协议一致性测试研究[J];现代测量与实验室管理;2007年02期 |
13 |
王莉,李小文;基于UIO的协议一致性测试序列生成方法改进[J];信息技术;2005年11期 |
14 |
费立志;缪淮扣;;基于扩展UML statecharts的协议测试[J];计算机应用与软件;2007年12期 |
15 |
王建国,吴建平,陈修环,冯晓东;基于协议集成测试系统的IPv4协议一致性测试[J];软件学报;2000年02期 |
16 |
孙朝静,赵保华;边界网关协议BGP-4的一致性测试[J];计算机应用;2002年07期 |
17 |
郐吉丰;魏蓉;蒋凡;;基于策略分段的防火墙一致性测试[J];计算机系统应用;2007年03期 |
18 |
田军,张玉军,于东,付晓宇,郑红霞,李忠诚;邻居发现协议的形式化测试[J];计算机研究与发展;2001年12期 |
19 |
施新刚;尹霞;;移动IPv6协议一致性测试研究与实践[J];计算机工程;2007年11期 |
20 |
李建东;陈晓梅;;协议一致性测试集自动生成技术综述[J];科技信息(学术研究);2007年34期 |