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

作     者：高翔 戎舟 马秀飞 周亮 

作者机构：东南大学仪器科学与工程系江苏南京210096 南京邮电学院江苏南京210003 

出 版 物：《工业仪表与自动化装置》 (Industrial Instrumentation & Automation)

年 卷 期：2005年第1期

页      码：45-47页

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

主 题 词：形式化方法 网络仪器 协议验证 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-0682.2005.01.015

馆 藏 号：203155958...