Gábor Vincze
Automated test suite generation from formal protocol specification
In this paper, we present a method for automatic test generation from the formal SDL specification of a protocol. Protocol testing is an important step in the development process, but the creation of test suites is a time consuming task. Automating this phase reduces the time necessary for implementation, and cuts an important error source. We show how Mutation Analysis can be used to match test criteria and test cases obtained with a graph exploration algorithm applied on the SDL description of the system. We then use evolutionary algorithms to select an optimal subset from this initial set of test cases. Using these methods, we build a complete process for the automated generation of a test suite from the formal specification of a protocol.