TCP状态非典型变迁的形式化研究

下载PDF

导出

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

作者李启南

机构地区兰州交通大学电子与信息工程学院

出处《甘肃科技》 2008年第1期45-46,100,共3页 Gansu Science and Technology

关键词形式化方法状态变迁 TCP 一致性测试 B方法

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献4

1魏怀鉴,鲍皖苏.形式化方法和测试技术及其在安全中的应用[J].微计算机信息,2006,22(11X):55-57. 被引量：17
2张大兴.TCP/IP协议异常状态转换及其安全性分析[J].计算机工程与设计,2005,26(6):1441-1443. 被引量：4
3肖美华,薛锦云.形式化方法B及其程序规约机理[J].计算机工程,2004,30(16):16-18. 被引量：16
4龚正虎编著..计算机网络协议工程[M].长沙:国防科技大学出版社,1993:167.

二级参考文献32

1王滨,张少武,马智.基于密码协议认证目标的协议分析方法的研究[J].微计算机信息,2005,21(11X):35-37. 被引量：11
2Abrial J R,Lee M K O,Neilson D S.The B-Method. 4th International Symposium of VDM Europe Proceedings, Volume 2, Springer-Verlag, 1991 被引量：1
3Abrial J R.The B-Book, Assigning Programs to Meanings. Cambridge University, 1996 被引量：1
4Morgan C.Programming from Specifications. Prentice Hall, 1994 被引量：1
5Xue Jinyun. Unified Approach for Developing Efficient Algorithmic Programs. Comput. Sci. & Technology, 1997,12(4) 被引量：1
6Richard Stevens W.TCP/IP详解卷1:协议[M].北京:机械工业出版社,2000. 被引量：2
7Gary R Wright,Richard Stevens W.TCP/IP详解卷2:实现[M].北京:机械工业出版社,2000. 被引量：1
8Richard Stevens W.TCP/IP详解卷3:TCP事务协议、HTTP、NNTP和UNIX域协议[M].北京:机械工业出版社,2000. 被引量：1
9Microsoft公司.Networking protocals andinterfaces[M]北京大学出版社,2000. 被引量：1
10Microsoft公司.Windows Sockets and Qos[M].北京:北京大学出版社,2000. 被引量：1

共引文献33

1施寅生,邓世伟,谷天阳.软件安全性测试方法研究[J].微计算机信息,2008,24(3):56-58. 被引量：13
2崔霞,苗长芬.硬件设计中的形式化方法[J].新乡教育学院学报,2005(2):79-81.
3鹿蕾.形式化方法B的证明技术[J].现代电子技术,2005,28(23):126-128. 被引量：4
4孙作聪,王立松,顾宝根.基于OSPF的温和重启的触发机制的研究与实现[J].计算机工程与设计,2006,27(14):2653-2656. 被引量：4
5李卫忠.站在管理的角度看IT[J].微型机与应用,2006,25(11):70-70.
6陈新,郭理豪,唐震洲.基于TCP/IP协议栈的网络家电家庭网关的设计[J].计算机工程与设计,2007,28(5):1236-1238. 被引量：1
7黄毅杰.形式化方法及其在软构件中的应用[J].中国科技信息,2007(9):117-118.
8李信本.基于Web的网络旅游服务系统的形式化B开发[J].计算机工程,2007,33(7):282-284. 被引量：1
9吴帅,杨庆红,樊艳芬.B方法规格说明的构造及应用[J].计算机与现代化,2007(5):29-32. 被引量：1
10高丽萍,褚伟.基于B方法的组件开发[J].计算机技术与发展,2007,17(7):28-30. 被引量：1

1孔玉,杨波,孙涛,陈贞翔.基于FPGA的TCP状态检测系统设计[J].山东大学学报（理学版）,2010,45(11):21-26. 被引量：1
2吴建胜,战学刚.基于TCP状态有限自动机的入侵检测研究[J].鞍山科技大学学报,2005,28(5):368-371. 被引量：3
3李蕊,李永亮,李仁发,张焱.基于扩展有限状态机模型的故障检测[J].计算机应用研究,2009,26(7):2583-2585. 被引量：2
4黄诚学.TCP包状态检测系统的硬件设计与实现[J].舰船电子工程,2012,32(4):133-136. 被引量：1
5马子玥,童音.采用基本标识图的Petri网控制策略[J].西安电子科技大学学报,2016,43(6):68-73. 被引量：4
6李勇,王文奇,史豪斌.针对入侵检测分析的Petri网建模技术研究[J].计算机应用与软件,2015,32(11):301-304. 被引量：2
7林雷蕾,代飞,李彤,莫启,朱锐.Petri网层次结构中的状态一致性研究[J].小型微型计算机系统,2015,36(7):1481-1486. 被引量：1
8陈正华,毛志华,陈建裕.利用4期卫星资料监测1986～2009年浙江省大陆海岸线变迁[J].遥感技术与应用,2011,26(1):68-73. 被引量：30
9陈兆柱,夏传良.关于Petri网精细化操作及其应用研究[J].计算机科学,2007,34(1):236-241.
10赵振龙,李书明,陈军.基于移动Agent的水电站分布式故障诊断专家系统[J].水电厂自动化,2006,27(B10):136-141.

甘肃科技

2008年第1期

浏览历史

内容加载中请稍等...

TCP状态非典型变迁的形式化研究

参考文献4

二级参考文献32

共引文献33

相关作者

相关机构

相关主题

浏览历史