Safe runtime validation of behavioral adaptations in autonomic software

Tariq M. King, Andrew A. Allen, Rodolfo Cruz, Peter J. Clarke

Research output: Contribution to book or proceedingConference articlepeer-review

17 Scopus citations

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.

Original languageEnglish
Title of host publicationAutonomic and Trusted Computing - 8th International Conference, ATC 2011, Proceedings
Pages31-46
Number of pages16
DOIs
StatePublished - 2011
Event8th International Conference on Autonomic and Trusted Computing, ATC 2011 - Banff, AB, Canada
Duration: Sep 2 2011Sep 4 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6906 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on Autonomic and Trusted Computing, ATC 2011
Country/TerritoryCanada
CityBanff, AB
Period09/2/1109/4/11

Scopus Subject Areas

  • Theoretical Computer Science
  • General Computer Science

Keywords

  • Adaptation
  • Autonomic Software
  • Self-Testing
  • Validation

Fingerprint

Dive into the research topics of 'Safe runtime validation of behavioral adaptations in autonomic software'. Together they form a unique fingerprint.

Cite this