Welcome to the InfoSci Platform
Reference Hub8
Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification

Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification

Hussam Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Copyright: © 2017 |Volume: 8 |Issue: 4 |Pages: 20
ISSN: 1947-315X|EISSN: 1947-3168|EISBN13: 9781522513841|DOI: 10.4018/IJEHMC.2017100101
Cite Article Cite Article

MLA

Al Hamadi, Hussam, et al. "Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification." IJEHMC vol.8, no.4 2017: pp.1-20. http://doi.org/10.4018/IJEHMC.2017100101

APA

Al Hamadi, H., Gawanmeh, A., & Al-Qutayri, M. (2017). Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification. International Journal of E-Health and Medical Communications (IJEHMC), 8(4), 1-20. http://doi.org/10.4018/IJEHMC.2017100101

Chicago

Al Hamadi, Hussam, Amjad Gawanmeh, and Mahmoud Al-Qutayri. "Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification," International Journal of E-Health and Medical Communications (IJEHMC) 8, no.4: 1-20. http://doi.org/10.4018/IJEHMC.2017100101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Testing and verifying the operation of bio-sensor nodes is essential due to the sensitivity and safety-critical aspects of their applications. Simulation technique is frequently used for this task; however, a proper set of test cases is required in order to carry out the simulation process. This paper focuses on enhancing the verification operations of an ElectroCardioGram (ECG) biomedical sensor node through simulation. It presents a new methodology for guided Test Cases Generation (TCG) of ECG signals from formal design specifications. Event-B invariants are used to specify ECG requirements, and then a new algorithm is used to translate these specifications into proper ECG signal parameters. These parameters are subsequently used to control the required shape of the ECG in order to have a wide range of scenarios. The primary objective of this work is to provide ECG test cases to detect design errors in biomedical algorithms. In addition, it can complement the usage of the limited ECG databases currently available to verify the correct operation of ECG bio-sensors.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.