Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems

Component-based software engineering has been continuously improved and successfully applied over the past years. Future systems, like ultra-large scale systems, are a vast array of decentralized, distributed, autonomic, heterogeneous, organically grown and continually evolving subsystems resp. components. Components join or leave these systems during the whole system life-cycle -- even during runtime. Since we depend on these dynamic adaptive systems we have to guarantee their correctness although they evolve during runtime. To guarantee system correctness and to support binding of components during runtime we claim to integrate specific concepts into a component infrastructure. In this paper we will introduce a technique for runtime testing.