10.3969/j.issn.1000-0682.2005.01.015
网络仪器与通信协议一致性测试技术
论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期,提高了协议实现的正确性.
形式化方法、网络仪器、协议验证
TP393.05(计算技术、计算机技术)
2005-03-17(万方平台首次上网日期,不代表论文的发表时间)
共3页
45-47