A Fault-Based Testing Approach in Safety Critical Medical Systems

Xaveria Youh Djam,Yisa Henry Kimbi

doi:10.4236/jsea.2020.136009

Abstract

The advent of technology has opened unprecedented opportunities in health care delivery system as the demand for intelligent and knowledge-based systems has increased as modern medical practices become more knowledge-intensive. As a result of this, there is greater need to investigate the pervasiveness of software faults in Safety critical medical systems for proper diagnosis. The sheer volume of code in these systems creates significant concerns about the quality of the software. The rate of untimely deaths nowadays is alarming partly due to the medical device used to carry out the diagnosis process. A safety-critical medical (SCM) system is a complex system in which the malfunctioning of software could result in death, injury of the patient or damage to the environment. The malfunctioning of the software could be as a result of the inadequacy in software testing due to test suit problem or oracle problem. Testing a SCM system poses great challenges to software testers. One of these challenges is the need to generate a limited number of test cases of a given regression test suite in a manner that does not compromise its defect detection ability. This paper presents a novel five-stage fault-based testing procedure for SCM, a model-based approach to generate test cases for differential diagnosis of Tuberculosis. We used Prime Path Coverage and Edge-Pair Coverage as coverage criteria to ensure maximum coverage to identify feasible paths. We analyzed the proposed testing procedure with the help of three metrics consisting of Fault Detection Density, Fault Detection Effectiveness and Mutation Adequacy Score. We evaluated the effectiveness of our testing procedure by running the suggested test cases on a sample historical data of tuberculosis patients. The experimental results show that our developed testing procedure has some advantages such as creating mutant graphs and Fuzzy Cognitive Map Engine while resolving the problem of eliminating infeasible test cases for effective decision making.

Highlights

To investigate the pervasiveness of software faults in Safety critical medical system, a fault-based testing approach is desired
This paper proposes the use of mutation analysis to design effective test cases for safety critical medical systems for the management of TB
Considering the add node, update node and normalized node as the mutation operators for the safety critical medical system, 76 mutants were created and 14 mutants were killed as shown in Table 6 and Figure 1 shows a sample of the mutant graphs

Summary

Introduction

To investigate the pervasiveness of software faults in Safety critical medical system, a fault-based testing approach is desired. As a result of this, there is a greater need to investigate the pervasiveness of software faults in safety critical medical system for proper diagnosis. A safety-critical medical system is a complex system in which the malfunctioning of software could result in death, injury of the patient or damage to the environment. The rate of untimely deaths nowadays is alarming partly due to medical device used to carry out the diagnosis process. To scope with the limitation of software testing, a five-stage fault-based testing approach has been proposed in this paper that does generates test cases but a Fuzzy Cognitive Map (FCM) Engine for the system under test. Mutation analysis is used as a technique to assess the quality of a test suite

Methods

Results

Conclusion