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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
