基于B方法的TCP协议形式化研究

• 作者: 李启南
• 来源期刊: 科技与创新
• 关键词: B方法 形式化方法 协议 TCP 一致性测试
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 软件时空
• 页码范围: 268-269,299
• 页数: 3页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.03.108

摘要

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法可产生简明、精确、无歧义且可证明的规格说明.适合对协议进行形式化描述和一致性测试.本文详细地介绍了使用B方法对TCP协议进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李启南	兰州交通大学电子与信息工程学院	15	21	4.0	4.0