Home // VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle // View article


A Model-Based Testing Methodology for the Systematic Validation of Highly Configurable Cyber-Physical Systems

Authors:
Aitor Arrieta
Goiuria Sagardui
Leire Etxeberria

Keywords: Model Based Testing; Test Methodology; Variability Modelling; Cyber-Physical Systems

Abstract:
Nowadays, the society is dependent on Cyber-Physical Systems (CPSs), which are complex systems that combine digital technologies and physical processes. The need for dealing with constant changes in products is leading these systems to handle variability in several aspects, which entails to a considerable increase in the complexity of the systems. Many of the research efforts are focused on the efficient development of these systems. Nevertheless, the infeasibility of testing all the possible configurations, the unclear notion of the achieved test coverage and the high amount of time required make testing processes non-systematic and challenging. This paper introduces the main problems for testing highly configurable CPSs and proposes a novel approach for testing systematically and efficiently while achieving high test coverage.

Pages: 66 to 72

Copyright: Copyright (c) IARIA, 2014

Publication date: October 12, 2014

Published in: conference

ISSN: 2308-4316

ISBN: 978-1-61208-370-4

Location: Nice, France

Dates: from October 12, 2014 to October 16, 2014