基于有限状态机的协议测试方法

下载PDF

导出

摘要该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型,之后将有限状态机模型引入通信系统中,并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。

作者黄恩博黄耿生

机构地区广州大学华软软件学院软件工程系

出处《电脑知识与技术》 2013年第3X期2161-2165,共5页 Computer Knowledge and Technology

关键词有限状态机协议测试通信系统

参考文献7

1Hoare C A R.Communicating Sequential Processes[].Communications of the ACM.1978
2Miikka Poikselka,Georg Mayer,Hisham Khartabil.The IMS IP Multimedia Concepts and Services in the Mobile Domain[]..2004
3Hopcroft J E,Motwani R,Ullman J D.Introduction to Automata Theory, Languages, and Computation, 2nd ed[]..2001
4Kwang Ting Cheng,Krishnakumar A S.Automatic functional test generation using the extended finite state machine model[].DAC’’ Proceedings of the th international Design Automation Conference.1993
5.Methods for Testing and Specification (MTS);The Testing and Test Control Notation version 3;Part1:TTCN-3Core Language[].ETSI ES - v.2003
6Newkirk J W,Vorontsov A A.Test-Driven,Developmentment in Microsoft.NET[]..2004
7Astels D.Test-Driven Developmentment:A practical Guide[]..2003

电脑知识与技术

2013年第3X期

内容加载中请稍等...