Executable Interface Specifications for Testing Asynchronous Creol Components

We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and testing components. We use Creol, a high-level, object-oriented language for distributed systems and present an interface specification language to specify components in terms of traces of observable behavior. The language enables a concise description of a component's behavior, it is executable in rewriting logic and we use it to give test specifications for Creol components. In a specification, a clean separation between interaction under control of the component or coming from the environment is central, which leads to an assumption-commitment style description of a component's behavior. The assumptions schedule the inputs, whereas the outputs as commitments are tested for conformance with the specification. The asynchronous nature of communication in Creol is respected by testing only up-to a notio...

• Type: Conference
• Year: 2009
• Where: FSEN
• Authors: Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
• Keywords: Component's Behavior, FSEN 2009, Interface Specification Language, Software Engineering, Specification Language