skip to main content
10.1145/1368088.1368183acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Applying model-based testing to healthcare products: preliminary experiences

Published: 10 May 2008 Publication History

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.

References

[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]
Song, X., Hwong, B., Matos, G., Rudorfer, A., Nelson, C., Han, M., Girenkov, A., Understanding Requirements for Computer-aided Healthcare Workflows: Experience and Challenges. In Proceeding of 28th international conference on Software engineering, ICSE'06, ACM Press.
[4]
Vieira, M., Leduc, J., Hasling, B., Subramanyan, 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.

Cited By

View all
  • (2022)Application of Model-Based Software Testing in the Health Care DomainElectronics10.3390/electronics1113206211:13(2062)Online publication date: 30-Jun-2022
  • (2019)Pilot Study of Healthcare COTS Software Evaluation and Selection2019 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT)10.1109/JEEIT.2019.8717402(311-314)Online publication date: Apr-2019
  • (2018)Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2018.00053(397-404)Online publication date: Jul-2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '08: Proceedings of the 30th international conference on Software engineering
May 2008
558 pages
ISBN:9781605580791
DOI:10.1145/1368088
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. healthcare software systems
  2. model-based testing

Qualifiers

  • Research-article

Conference

ICSE '08
Sponsor:

Acceptance Rates

ICSE '08 Paper Acceptance Rate 56 of 370 submissions, 15%;
Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 27 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Application of Model-Based Software Testing in the Health Care DomainElectronics10.3390/electronics1113206211:13(2062)Online publication date: 30-Jun-2022
  • (2019)Pilot Study of Healthcare COTS Software Evaluation and Selection2019 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT)10.1109/JEEIT.2019.8717402(311-314)Online publication date: Apr-2019
  • (2018)Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2018.00053(397-404)Online publication date: Jul-2018
  • (2015)Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM2015 17th International Conference on E-health Networking, Application & Services (HealthCom)10.1109/HealthCom.2015.7454482(108-113)Online publication date: Oct-2015
  • (2014)Assessing the Modeling of Aspect State Machines for Testing from the Perspective of ModelersProceedings of the 2014 14th International Conference on Quality Software10.1109/QSIC.2014.17(234-239)Online publication date: 2-Oct-2014
  • (2014)How Does the UML Testing Profile Support Risk-Based TestingProceedings of the 2014 IEEE International Symposium on Software Reliability Engineering Workshops10.1109/ISSREW.2014.13(311-316)Online publication date: 3-Nov-2014
  • (2014)Model-Based Testing of Video Conferencing SystemsProceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation10.1109/ICST.2014.48(353-362)Online publication date: 31-Mar-2014
  • (2014)Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)10.1109/HealthCom.2014.7001811(43-48)Online publication date: Oct-2014
  • (2014)Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case studyInformation and Software Technology10.1016/j.infsof.2014.02.01156:8(890-910)Online publication date: Aug-2014
  • (2013)An axiomatic model for formal specification requirements of ubiquitous healthcare systems2013 IEEE 10th Consumer Communications and Networking Conference (CCNC)10.1109/CCNC.2013.6488581(898-902)Online publication date: Jan-2013
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media