| TCP状态非典型变迁的形式化研究 |
| |
| 引用本文： | 李启南.TCP状态非典型变迁的形式化研究[J].甘肃科技,2008,24(1):45-46. |
| |
| 作者姓名： | 李启南 |
| |
| 作者单位： | 兰州交通大学,电子与信息工程学院,甘肃,兰州,730070 |
| |
| 摘 要： | 协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。
|
| 关 键 词： | 形式化方法 状态变迁 TCP 一致性测试 B方法 |
Formally Study TCP Abnormal State Transfer |
| |
| Li Qinan.Formally Study TCP Abnormal State Transfer[J].Gansu Science and Technology,2008,24(1):45-46. |
| |
| Authors: | Li Qinan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
