Safe Runtime Validation of Behavioral Adaptations in Autonomic Software
Document Type
Contribution to Book
Publication Date
9-2-2011
Publication Title
Proceedings of the International Conference on Autonomic and Trusted Computing
DOI
10.1007/978-3-642-23496-5_3
ISBN
978-3-642-23496-5
ISSN
1611-3349
Abstract
Although runtime validation and verification are critical for ensuring reliability in autonomic software, research in these areas continues to lag behind other aspects of system development. Few researchers have tackled the problem of testing autonomic software at runtime, and the current state-of-the-art only addresses localized validation of self-adaptive changes. Such approaches fall short because they cannot reveal faults which may occur at different levels of the system. In this paper, we describe an approach that enables system-wide runtime testing of behavioral adaptations in autonomic software. Our approach applies a dependency-based test order strategy at runtime to facilitate integration and system-level regression testing in autonomic software. Since validation occurs on-line during system operations, we perform testing as part of a safe approach to adaptation. To investigate the feasibility of our approach, we apply it to an autonomic communication virtual machine.
Recommended Citation
King, Tariq M., Andrew A. Allen, Rodolfo Cruz, Peter J. Clarke.
2011.
"Safe Runtime Validation of Behavioral Adaptations in Autonomic Software."
Proceedings of the International Conference on Autonomic and Trusted Computing, Jose M. Alcaraz Calero, Laurence T. Yang, Felix Gomex Marmol, Luis Javier Garcia Villalba, Andy Xiaolin Li, and Yan Wang (Ed.), 6906: 31-46 Banff, Canada: Springer, Berlin, Heidelberg.
doi: 10.1007/978-3-642-23496-5_3 isbn: 978-3-642-23496-5
https://digitalcommons.georgiasouthern.edu/compsci-facpubs/77