Hans-Dieter Ide

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

In this paper we present a new coarse grain approach to automated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test graphs by combination of test case components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose environment for application-specific test development and execution, and library-based consistency checking, allowing continuous verification of application- and aspect-specific properties by means of model checking. These features and their impact for the test process and the test engineers are illustrated along an industrial application: an automated integrated testing environment for CTI-Systems.

Automated regression testing of CTI-systems

In this paper we present an integrated testing environment for the automated regression test of Computer Telephony Integrated applications.Its novelty consists of a coordinative test management layer that instantiates a general-purpose environment for the specification and verification of workflows in the testing domain.This results in a test environment that controls not only the individual test tools,but also the whole life-cycle of functional system- level tests, comprising test design, test generation, test execution, test evaluation and test reporting.Special attention is devoted to the simplification of the test case design and the checking f admissibility criteria, of interdependencies between the actions of test cases, and of assumptions about the state of the systems resources.We discuss the key features of our testing environment along a concrete industrial application, which illustrates in particular the coarse grain, workflow-like test case representation and the validation and formal verification capabilities. Field results document an efficiency improvement of factors during the test execution phase.

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems

In this demonstration we illustrate how a posteriori modeling of complex, heterogeneous, and distributed systems is practically performed within an automated integrated testing environment (ITE) to give improved support to the testing process of steadily evolving systems. The conceptual background of the modeling technique, called moderated regular extrapolation is described in a companion paper [3].