Publication | Closed Access
A model-based approach to combine conformance and load tests: an eHealth case study
24
Citations
0
References
2018
Year
Point-of-care TestingEngineeringReal-time System DesignVerificationModel-based ApproachLoad TestsFormal VerificationModel-based TestingHospital MedicineConformance TestingSystems EngineeringModeling And SimulationPublic HealthTimed SystemHealth Services ResearchEhealth Case StudyComputer EngineeringComputer ScienceRich FormalismReal-time ComputingNursingSoftware TestingPatient SafetyFormal MethodsNear Patient TestingReal-time SystemsSystem SoftwareHealth InformaticsSystem Specification
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.