Model-Based Testing of Environmental Conformance of Components

Abstract

Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a way of checking the correctness of a component by means of executing test cases that are systematically generated from a model of the component. This model should include the behaviour of how the component can be invoked, as well as how the component itself invokes other components. In many situations, however, only a model that specifies how others can use the component, is available. In this paper we present an approach for model-based testing of components where only these available models are used. Test cases for testing whether a component correctly reacts to invocations are generated from this model, whereas the test cases for testing whether a component correctly invokes other components, are generated from the models of these other components. A formal elaboration is given in the realm of labelled transition systems. This includes an implementation relation, called eco, which formally defines when a component is correct with respect to the components it uses, and a sound and exhaustive test generation algorithm for eco.

Combining Partial Specifications using Alternating Interface Automata

“…Therefore σ cannot be s-input-universal for Q 0 s , as otherwise (8) and (10) would contradict. Consequently, we find that (9) implies that σ is not input-universal for Q 0 s . Analogously, we can prove that AIA(s) after σ = (s after σ) implies that σ is input-universal for Q 0 s , proving the lemma.…”

The PLASTIC Framework and Tools for Testing Service-Oriented Applications

“…For the tools to be presented later in this paper two testing relations are specifically important -ioco [36] and eco [14]. Both relations originate from the domain of reactive systems.…”

Model-Based Generation of Testbeds for Web Services

“…We do not describe this mapping here, but present instead directly the STS formalism. We will use a dedicated testing relation called eco [11] which is specifically appropriate for the creation of stubs like the ones we are dealing with in our setting. This section introduces STSs and the eco relation.…”

“…In model-based testing, a testing relation formally defines when a model representing the SUT conforms to a model constituting its specification [24]. A testing relation for the formalism of Labeled Transition Systems (LTS) is eco [11]. Since STSs have an underlying LTS semantics, we can use eco also for STSs.…”