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.