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

Formally Study TCP Protocol Based On B Method

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

Specifications of protocols are mainly described in natural languages.The aim of their formalization is to describe them accurately so that studies can reduce the occurrence of mistakes.B method can generate concise,accurate and conformable specifications.B method is suited for formally described protocol and tested conformance of protocol.This paper introduces a method of TCP protocol formalization used B method in detail,generates test cases,improves quality and reliability of the TCP protocol conformance...