kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2008

Applying model-based testing to healthcare products: preliminary experiences

Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling

PDFDOI 10.1145/1368088.1368183dblp

Abstract

Healthcare software systems are becoming more and more complex since they will be highly integrated to support a wide variety of healthcare workflows (e.g., financial, administration, diagnosis, and treatment). In addition, healthcare software systems will be more safety-critical as they will provide medical decision support for doctors. All of those require systematic and thorough testing of the systems before they are put into use or upgraded. Model-Based Testing (MBT) is an approach to apply formal, explicit system use-models to generate the test cases for testing the system behaviors under different input data sets. This paper describes our experiences in applying this approach to testing some Siemens healthcare software systems. We will report the benefits and challenges in using MBT for testing healthcare software systems.

BibTeX
@inproceedings{Vieira-al:ICSE08,
  author    = {Marlon Vieira and
               Xiping Song and
               Gilberto Matos and
               Stephan Storck and
               Rajanikanth Tanikella and
               William M. Hasling},
  title     = {Applying model-based testing to healthcare products: preliminary experiences},
  booktitle = {ICSE},
  pages     = {669--672},
  publisher = {{ACM}},
  year      = {2008},
}

Related papers