Abstract
Testing and verification of healthcare information systems is a challenging and important issue since faults in these critical systems may lead to loss of lives, and in the best cases, loss of money and reputations. However, due to the complexity of these systems, and the increasing demand for new products and new technologies in this domain, there are several methods and technologies being used for testing these systems. In this paper, we review the state of the art on testing and verification of healthcare information systems, and then we identify several open issues and challenges in the area. We divide the exiting methods into three categories: simulation based methods, formal methods, and other techniques such as semi-formal methods. Then, we discuss challenging and open issues in the domain.
| Original language | English (US) |
|---|---|
| Title of host publication | 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 68-74 |
| Number of pages | 7 |
| ISBN (Print) | 9781467383257 |
| DOIs | |
| State | Published - Apr 15 2016 |
| Event | 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 - Boston, United States Duration: Oct 13 2015 → Oct 17 2015 |
Other
| Other | 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 |
|---|---|
| Country/Territory | United States |
| City | Boston |
| Period | 10/13/15 → 10/17/15 |
ASJC Scopus subject areas
- Health Policy
- Health Information Management
- Computer Networks and Communications
- Computer Science Applications
- Health Informatics
- Surgery
- Health(social science)