Home > Research > Publications & Outputs > Managing Testing Complexity in Dynamically Adap...

Research

Associated organisational unit

Links

Text available via DOI:

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach. / Welsh, Kristopher; Sawyer, Peter.
ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. Washington, DC, USA: IEEE Computer Society, 2010. p. 290-298.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Welsh, K & Sawyer, P 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. https://doi.org/10.1109/ICSTW.2010.57

APA

Welsh, K., & Sawyer, P. (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 (pp. 290-298). IEEE Computer Society. https://doi.org/10.1109/ICSTW.2010.57

Vancouver

Welsh K, Sawyer P. 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. Washington, DC, USA: IEEE Computer Society. 2010. p. 290-298 doi: 10.1109/ICSTW.2010.57

Author

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

Bibtex

@inproceedings{540660b3ba914b5fa7a35169271a60e6,
title = "Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach",
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.",
author = "Kristopher Welsh and Peter Sawyer",
year = "2010",
doi = "10.1109/ICSTW.2010.57",
language = "English",
isbn = "978-1-4244-6773-0",
pages = "290--298",
booktitle = "ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops",
publisher = "IEEE Computer Society",

}

RIS

TY - GEN

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

AU - Welsh, Kristopher

AU - Sawyer, Peter

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1109/ICSTW.2010.57

DO - 10.1109/ICSTW.2010.57

M3 - Conference contribution/Paper

SN - 978-1-4244-6773-0

SP - 290

EP - 298

BT - ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops

PB - IEEE Computer Society

CY - Washington, DC, USA

ER -