A Fault-Based Testing Approach in Safety Critical Medical Systems
- 1 Department of Computer Science, University of Yaounde I, Yaounde, Cameroon
- 2 Urgences, CHE, CNPS, Yaounde, Cameroon
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.
- Djam, X.Y. and Kimbi, Y.H. (2011) A Decision Support System for Tuberculosis Diagnosis. Pacific Journal of Science and Technology, 12, 410-425.
- Greenhalgh, J., Flynn. R., Long, A.F. and Tyson, S. (2008) Tacit and Encoded Knowledge in the Use of Standardized Outcome Measures in Multidisciplinary Team Decision Making: A Case Study of In-Patient Neurorehabilitation. Social Science & Medicine, 67, 183-194. https://doi.org/10.1016/j.socscimed.2008.03.006
- Papageorgiou, E.I., Stylios, C.D. and Groumpos, P. (2003) An Integrated Two-Level Hierarchical Decision Making System Based on Fuzzy Cognitive Maps (Fcms). IEEE Transactions on Biomedical Engineering, 50, 1326-1339. https://doi.org/10.1109/TBME.2003.819845
- Papageorgiou, E.I., Spyridonos, P., Ravazoula, P., Groumpos, P.P. and Nikiforidis, G. (2006) A Soft Computing Method for Tumour Grading Cognitive Maps. Journal of Artificial Intelligence in Medicine, 36, 58-70.
- DeMillo, R.A., Lipton, R.J. and Sayward, F.G. (1978) Hints on Test Data Selection: Help for the Practicing Programmer. Computer, 11, 34-41. https://doi.org/10.1109/C-M.1978.218136
- Deng, L., Mirzaei, N., Ammann, P. and Offutt, J. (2015) Towards Mutation Analysis of Android Apps. 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Graz, 13-17 April 2015, 1-10. https://doi.org/10.1109/ICSTW.2015.7107450
- Jhamb, M., Singhal, A. and Bansal, A. (2013) A Survey on Different Approaches for Efficient Mutation Testing. International Journal of Scientific and Research Publications, 3, 1-5.
- Offutt, A.J. (1994) A Practical System for Mutation Testing: Help for the Common Programmer. Proceedings of the International Test Conference, Washington, DC, 2-6 October 1994, 824-830. https://doi.org/10.1109/TEST.1994.528535
- Ammann, P. and Offutt, J. (2017) Introduction to Software Testing. Cambridge University Press, Cambridge. https://doi.org/10.1017/9781316771273
- Kosko, B. (1986) Fuzzy Cognitive Maps. International Journal of Man-Machine Studies, 24, 65-75. https://doi.org/10.1016/S0020-7373(86)80040-2
- Zadeh, L.A. (1965) Fuzzy Sets. Information and Control, 8, 338-353. https://doi.org/10.1016/S0019-9958(65)90241-X
- Zadeh, L.A. (1965) Fuzzy Sets and Systems. In: Fox, J., Ed., Proceedings Symposium on System Theory, Polytechnic Institute of Brooklyn, New York, 29-37.