Applying model-based testing to healthcare products: Preliminary experiences

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 669-671

  Vieira, Marlon ^a   Song, Xiping ^a   Matos, Gilberto ^a   Storck, Stephan ^a   Tanikella, Rajanikanth ^a   Hasling, Bill ^a  

^a SIEMENS CORPORATE RESEARCH   (United States)

Author keywords

Healthcare software systems; Model based testing

Indexed keywords

COMPUTER SOFTWARE; DECISION SUPPORT SYSTEMS; SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; HEALTH CARE; VERIFICATION;

HEALTHCARE SOFTWARE SYSTEMS; HIGHLY INTEGRATED; INPUT DATUM; MEDICAL DECISIONS; MODEL-BASED TESTING; SAFETY-CRITICAL; SIEMENS; SYSTEM BEHAVIORS; SYSTEM USE; TEST CASE; WORK-FLOWS;

SOFTWARE TESTING; MATHEMATICAL MODELS;

HIGHLY INTEGRATED; INPUT DATA; MEDICAL DECISIONS; MODEL-BASED TESTING; SAFETY-CRITICAL; SIEMENS; SOFTWARE SYSTEMS; SYSTEM BEHAVIORS; SYSTEM USE; TEST CASE; WORK-FLOWS;

EID: 57349132945     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368183     Document Type: Conference Paper

References (4)

1. Goldsmith Jeff. The Healthcare Information Technology Sector. In The business of Healthcare Innovation, edited by Burns L. R. Cambridge University Press, 2005, p323.
2. Ostrand, T., Balcer M. J.. The Category-Partition Method for Specifying and Generating Functional Tests, Comm. ACM vol.31, no.6, pp.676-686 (1988)
3. th international conference on Software engineering, ICSE'06, ACM Press.
4. Vieira, M., Leduc, J., Hasling, B., Subramanian, R., Kazmeier, J., Automation of GUI testing using a model-driven approach: In Proceeding of the 2006 international workshop on Automation of software test, AST'06,.ACM Press.