Guaranteeing correctness of component bindings in dynamic adaptive systems based on runtime testing

Authors:
Dirk Niebuhr;Andreas Rausch
Affiliations:
Clausthal University of Technology, Clausthal-Zellerfeld, Germany;Clausthal University of Technology, Clausthal-Zellerfeld, Germany
Venue:
Proceedings of the 4th international workshop on Services integration in pervasive environments
Year:
2009

Citing 7
Cited 1

The Ariane 5 software failure

ACM SIGSOFT Software Engineering Notes
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Applying "Design by Contract"

Computer
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Component-Based Development Process and Component Lifecycle

ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Towards a Component Model supporting Proactive Configuration of Service-Oriented Systems

ICEBE '07 Proceedings of the IEEE International Conference on e-Business Engineering
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Runtime testing framework for improving quality in dynamic service-based systems

Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Component-based software engineering has been successfully applied over the past years. Future system generations, like pervasive systems, are a vast array of decentralized, distributed, autonomic, heterogeneous, organically grown and continually evolving subsystems respectively components. Components may join or leave these systems during the whole system life-cycle -- even during runtime. We depend more and more on these dynamic adaptive systems. Hence we have to guarantee their correctness although the systems are evolving during runtime. In this paper we will show that existing approaches cannot guarantee the correctness of component bindings in dynamic adaptive systems. To guarantee system correctness and to support binding of components during runtime we integrate runtime testing into our component infrastructure DAiSI.