网络仪器与通信协议一致性测试技术

• 作者: 周亮 戎舟 马秀飞 高翔
• 来源期刊: 工业仪表与自动化装置
• 关键词: 形式化方法 网络仪器 协议验证
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 经验交流
• 页码范围: 45-47
• 页数: 3页
• 分类号: TP393.05
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0682.2005.01.015

摘要

论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期,提高了协议实现的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高翔	东南大学仪器科学与工程系	28	490	8.0	22.0
3	周亮		19	50	4.0	6.0
4	戎舟		35	203	8.0	13.0
7	马秀飞		3	14	2.0	3.0