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.
International Journal of Critical Computer-Based Systems, 2018 Vol.8 No.3/4, pp.282 - 310
Available online: 22 Nov 2018 *Full-text access for editors Access for subscribers Purchase this article Comment on this article