Research on Interface Automata Testing

Testing from formal specifications offers a simple, structured, and more rigorous approach to the development of functional tests than standard testing techniques. Therefore, model-based testing (Specification-based testing) has been employed widely in software development. Interface automata is a light-weight formalism that captures the temporal aspects of software component interfaces, which has been widely used to model component behaviors. In this study, the definition of distinguishable state and controllable operation segment in interface automata are introduced, the testing process and algorithm for producing test sequences are presented, and the proposed approach is illustrated, after which the conformance testing of implementation to specification is carried out with the complete test sequences.