Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach

Kristopher Welsh, Peter Sawyer

Research output: Chapter in Book/Report/Conference proceedingConference publication

Abstract

Autonomous systems are increasingly conceived as a means to allow operation in changeable or poorly understood environments. However, granting a system autonomy over its operation removes the ability of the developer to be completely sure of the system's behaviour under all operating contexts. This combination of environmental and behavioural uncertainty makes the achievement of assurance through testing very problematic. This paper focuses on a class of system, called an m-DAS, that uses run-time models to drive run-time adaptations in changing environmental conditions. We propose a testing approach which is itself model-driven, using model analysis to significantly reduce the set of test cases needed to test for emergent behaviour. Limited testing resources may therefore be prioritised for the most likely scenarios in which emergent behaviour may be observed.
Original languageEnglish
Title of host publicationICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
PublisherIEEE
Pages290-298
Number of pages9
ISBN (Print)978-1-4244-6773-0
DOIs
Publication statusPublished - 2010
Event2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Paris, France
Duration: 6 Apr 201010 Apr 2010

Conference

Conference2010 Third International Conference on Software Testing, Verification, and Validation Workshops
CountryFrance
CityParis
Period6/04/1010/04/10

Fingerprint Dive into the research topics of 'Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach'. Together they form a unique fingerprint.

Cite this