Protocol Interoperability Test Generation Based on MSC Test Purposes

Zhiliang Wang
2006-01-01
Abstract:An interoperability test generation method based on MSC(message sequence charts) test purposes was presented.In the method,communicating multi-port finite state machines was used to model system under testing,and MSC was used to model interoperability test purpose.Test sequences containing the MSC test purpose were generated from system specifications by using global state tracking and backward searching.This method alleviates state explosion problems to some extent for traversing only a part of global state space.Applications in mobile IPv6(Internet protocol version 6) protocol systems verifies the feasibility of this method.
What problem does this paper attempt to address?