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.