Lancaster EPrints

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

Welsh, Kristopher and Sawyer, Peter (2010) Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach. In: ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, Washington, DC, USA, pp. 290-298. ISBN 978-1-4244-6773-0

Full text not available from this repository.

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.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57605
Deposited By: ep_importer_pure
Deposited On: 17 Aug 2012 13:43
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:27
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57605

Actions (login required)

View Item