微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2008年
3期
268-269,299
,共3页
B方法%形式化方法%协议%TCP%一致性测试
B方法%形式化方法%協議%TCP%一緻性測試
B방법%형식화방법%협의%TCP%일치성측시
协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法可产生简明、精确、无歧义且可证明的规格说明.适合对协议进行形式化描述和一致性测试.本文详细地介绍了使用B方法对TCP协议进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性.
協議的規格說明主要是以自然語言描述的,對其進行形式化的目的是精確描述協議,減少開髮人員對協議規格說明理解的偏差.B方法可產生簡明、精確、無歧義且可證明的規格說明.適閤對協議進行形式化描述和一緻性測試.本文詳細地介紹瞭使用B方法對TCP協議進行形式化,併據此生成瞭測試用例,提高瞭TCP協議一緻性測試的質量和可靠性.
협의적규격설명주요시이자연어언묘술적,대기진행형식화적목적시정학묘술협의,감소개발인원대협의규격설명리해적편차.B방법가산생간명、정학、무기의차가증명적규격설명.괄합대협의진행형식화묘술화일치성측시.본문상세지개소료사용B방법대TCP협의진행형식화,병거차생성료측시용례,제고료TCP협의일치성측시적질량화가고성.
