Affiliation:
1. Shandong Agricultural University
Abstract
Finding the minimum complete test cases to cover all the behaviors of the protocol by formalized model is the good method to solve protocol testing. A protocol test cases generation method is presented. The method can produce minimum complete test cases. It covers protocol behaviors as much as possible by test cases as little as possible. The basic idea of this method is: express protocol basic test case by Petri net basic process section, combine the test cases by operations such as connection, union and closure, then get the minimum complete test cases. With an example, give the method of producing minimum complete test cases based on LAPD protocol. This method makes the protocol test more accurate and intuitive.
Publisher
Trans Tech Publications, Ltd.
Reference10 articles.
1. ISO/IEC 9646-1: IT-OSI-Conformance testing methodology and framework: Part 1: General concepts. (1996).
2. ISO/IEC 9646-2: IT-OSI-Conformance testing methodology and framework: Part 2: Abstract test suite specification. (1996).
3. Fides Aarts, Harco Kuppens, Jan Tretmans, Frits Vaandrager, Sicco Verwer, Improving active Mealy machine learning for protocol conformance testing, Machine Learning, Springer, October (2013).
4. D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomnyashchiy, Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets, Automatic Control and Computer Sciences, Springer, December 2012, Volume 46, Issue 7, pp.387-393.
5. Permpoontanalarp Y, Changkhanak A. Security analysis of the TMN protocol by using Coloured Petri Nets: On-the-Fly trace generation method and homomorphic property[C]. Computer Science and Software Engineering (JCSSE), 2011 Eighth International Joint Conference. 2011: 63-68.