Robustness Testing of Safety-critical Systems: A Portable Insulin Pump Application

As a consequence of software becoming an indispensable component of any safety-critical system, verification of such systems will not be sufficient without showing that the software will not create or contribute to a hazardous situation that might cause a serious injury, or even loss of human or animal life. In this paper we show an application of testing framework designed for testing safety-critical systems to a Portable Insulin Pump System, and investigate the framework applicability and its contribution to the certification process in the medical domain. The testing framework design is motivated by providing sufficient evidence for an efficient safety certification process; thus it integrates modeling, safety analysis, and combinatorial testing techniques to provide broadened testing activity outputs that generate diverse types of evidence.