Title: A model-based approach to combine conformance and load tests: an eHealth case study

Authors: Moez Krichen; Afef Jmal Maâlej; Mariam Lahami

Addresses: ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia; Faculty of CSIT, Al-Baha University, Saudi Arabia ' ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia ' ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, Tunisia

Abstract: In this paper, we propose a new model-based framework that combines both conformance and load tests in the context of real-time systems. Our new framework is based on the model of extended timed automata with inputs/outputs and shared integer variables. In addition, we define a new extended timed input output conformance relation etioco. This latter allows to compare a given implementation with respect to its specifications considering load conditions. We also discuss some modelling issues and we provide a new technique for deriving analogue-clock tests from the specification of the system under test (SUT). In order to show the relevance of our approach, we report on a critical case study from the healthcare field. An important contribution in this work was to use a rich formalism to model multi-user systems and to combine conformance and load tests in the same model. This point constitutes an important testing area that is usually misunderstood.

Keywords: model-based software testing; conformance/load tests; extended timed automata; test generation; real-time systems.

DOI: 10.1504/IJCCBS.2018.096437

International Journal of Critical Computer-Based Systems, 2018 Vol.8 No.3/4, pp.282 - 310

Received: 11 Sep 2017
Accepted: 21 May 2018

Published online: 30 Nov 2018 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article