工业仪表与自动化装置
工業儀錶與自動化裝置
공업의표여자동화장치
INDUSTRIAL INSTRUMENTATION & AUTOMATION
2005年
1期
45-47
,共3页
高翔%戎舟%马秀飞%周亮
高翔%戎舟%馬秀飛%週亮
고상%융주%마수비%주량
形式化方法%网络仪器%协议验证
形式化方法%網絡儀器%協議驗證
형식화방법%망락의기%협의험증
论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期,提高了协议实现的正确性.
論文提齣瞭將形式化方法引入網絡儀器設計中的觀點,使設計者在設計儀器網絡接口時,擁有一套規範的協議設計、驗證、實現、測試的方法,使開髮者儘可能早的穫知協議缺陷,最大限度的檢測和糾正缺陷,進行協議的完善,同時縮短瞭協議開髮週期,提高瞭協議實現的正確性.
논문제출료장형식화방법인입망락의기설계중적관점,사설계자재설계의기망락접구시,옹유일투규범적협의설계、험증、실현、측시적방법,사개발자진가능조적획지협의결함,최대한도적검측화규정결함,진행협의적완선,동시축단료협의개발주기,제고료협의실현적정학성.