Model-Based Testing of Distributed Functions

Model-Based Testing of Distributed Functions

Thomas Bauer (Fraunhofer IESE, Germany) and Robert Eschbach (Fraunhofer IESE, Germany)
DOI: 10.4018/978-1-4666-0089-8.ch008
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

The standard-compliant development of component-based embedded systems calls for systematic coverage of product requirements and for testing component interactions at the system integration stage. System functionality is represented by a set of complex distributed functions, i.e., functions that are spread across several system components. This chapter presents a novel automated model-based testing approach for distributed functions that uses informal system requirements and component behavior models. The test modeling notation makes it possible to model component interactions and composite functions with defined pre- and post-conditions. Test cases are automatically generated as scenarios of distributed functions represented by sequences of component interactions.
Chapter Preview
Top

Integration Testing In Practice

Industrial development processes are often driven by the involvement of suppliers and third-party components. The integration of third-party components requires particular efforts regarding systematic quality assurance on the part of the manufacturer, since neither the component implementation nor supplier-internal documentation is accessible. The manufacturer usually provides detailed component specifications, which may include textual requirements, executable component models, or acceptance test cases. The supplier develops the components and conducts supplier-specific unit testing. The manufacturer is the integrator of the externally developed components. He/she has to assure that the component fulfills the system requirements. A systematic integration test approach is needed to detect requirement violations and unspecified component interactions.

Figure 1 shows a simplified development process for embedded systems that takes into consideration the use of third-party components and the relationship between system manufacturers and suppliers. The process is divided into construction and quality assurance activities. Integration testing is usually performed together with the integration stage where system components are systematically assembled. In the example process, the components have been externally developed by the supplier and approved during the component acceptance testing stage.

Complete Chapter List

Search this Book:
Reset