Applying model-based testing to healthcare products: preliminary experiences

Authors:
Marlon Vieira;Xiping Song;Gilberto Matos;Stephan Storck;Rajanikanth Tanikella;Bill Hasling
Affiliations:
Siemens Corporate Research Inc., Princeton, NJ, USA;Siemens Corporate Resear h In ., Princeton, NJ, USA;Siemens Corporate Research Inc., Princeton, NJ, USA;Siemens Corporate Research Inc., Princeton, NJ, USA;Siemens Corporate Research Inc., Princeton, NJ, USA;Siemens Corporate Research Inc., Princeton, NJ, USA
Venue:
Proceedings of the 30th international conference on Software engineering
Year:
2008

Citing 3
Cited 1

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Understanding requirements for computer-aided healthcare workflows: experiences and challenges

Proceedings of the 28th international conference on Software engineering
Automation of GUI testing using a model-driven approach

Proceedings of the 2006 international workshop on Automation of software test

ModelTester: a tool for teaching model-based testing

Journal of Computing Sciences in Colleges

Quantified Score

Hi-index	0.00

Visualization

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.