Compositional Testing for FSM-Based Models

The contribution of this paper is threefold: first, it defines a framework for modeling component-based systems, as well as a formalization of integration rules to combine their behavior. This is based on Finite State Machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification. Third, it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components.

Provided by: Academy & Industry Research Collaboration Center Topic: Software Date Added: May 2014 Format: PDF

Find By Topic