Guided test case generation for enhanced ECG bio-sensors functional verification

Hussam Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri

Research output: Contribution to journalArticlepeer-review

15 Scopus citations


Testing and verifying the operation of bio-sensor nodes is essential due to the sensitivity and safetycritical 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.

Original languageBritish English
Pages (from-to)1-20
Number of pages20
JournalInternational Journal of E-Health and Medical Communications
Issue number4
StatePublished - 1 Oct 2017


  • ECG Sensor
  • Guided Test Cases
  • Simulation Coverage
  • Test Case Generator


Dive into the research topics of 'Guided test case generation for enhanced ECG bio-sensors functional verification'. Together they form a unique fingerprint.

Cite this