IDEAS home Printed from https://ideas.repec.org/a/igg/jehmc0/v8y2017i4p1-20.html
   My bibliography  Save this article

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

Author

Listed:
  • Hussam Al Hamadi

    (Khalifa University, Abu Dhabi, United Arab Emirates)

  • Amjad Gawanmeh

    (Khalifa University, Abu Dhabi, United Arab Emirates)

  • Mahmoud Al-Qutayri

    (Khalifa University, Abu Dhabi, United Arab Emirates)

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.

Suggested Citation

  • Hussam Al Hamadi & Amjad Gawanmeh & Mahmoud Al-Qutayri, 2017. "Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification," International Journal of E-Health and Medical Communications (IJEHMC), IGI Global, vol. 8(4), pages 1-20, October.
    • Handle: RePEc:igg:jehmc0:v:8:y:2017:i:4:p:1-20
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJEHMC.2017100101
    Download Restriction: no
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jehmc0:v:8:y:2017:i:4:p:1-20. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.