Component-Based Software Testing with UML

The book describes a method for developing the testing of components in parallel with their functionality based on models. UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method provides a process and guidelines for modeling and developing these artifacts. The book also discusses the implications of built-in contract testing with other component-based development technologies such as product-line engineering, middleware platforms, reuse principles etc. Still further, it describes a new method for specifying and checking real-time properties of object-oriented, component-based real-time systems that are based on dynamic execution time analysis with optimization algorithms.

Includes supplementary material: sn.pub/extras

Autorentext

Hans-Gerhard Groß received his PhD in Software Engineering from the University of Glamorgan, UK, where he worked on timing aspects of real-time systems development and their dynamic verification.

Currently, he is employed as project manager, and responsible for building up software testing competence at the Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany. His current research focus is on model-driven and component-based software development approaches, particularly in the embedded and real-time domain, and on verification and validation techniques for such systems.

Inhalt
Component-Based and Model-Driven Development with UML.- Model-Based Testing with UML.- Built-in Contract Testing.- Built-in Contract Testing and Implementation Technologies.- Reuse and Related Technologies.- Assessing Quality-of-Service Contracts.