View article

The paper presents an approach for deriving test plans for the conformance testing of a system implementation with respect to the formal description of its Ëoft w are Architecture (ËA). The ËA describes a system in terms of its components and connections, therefore the derived test plans address the integration testing phase. We base our approach on a Labelled Transition Ëystem (LTË) modeling the ËA dynamics, and on suitable abstractions of it, the Abstract Labelled T ransitionËystems (ALTËs). ALTËs offer specific views of the ËA dynamics by concentrating on relevan t features and abstracting aw ay from uninteresting ones.

ALTË is a tool we provide to the softw are arc hitect that lets him/her focus on relevan t behavioral patterns and more easily identify those that are meaningful for validation purposes. In tuitively, deriving an adequate set of functional test classes means deriving a set of paths appropriately …