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

Author(s):  
Hussam Al Hamadi ◽  
Amjad Gawanmeh ◽  
Mahmoud Al-Qutayri

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.

2021 ◽  
Vol 12 ◽  
Author(s):  
Emilio Andreozzi ◽  
Gaetano D. Gargiulo ◽  
Daniele Esposito ◽  
Paolo Bifulco

The precordial mechanical vibrations generated by cardiac contractions have a rich frequency spectrum. While the lowest frequencies can be palpated, the higher infrasonic frequencies are usually captured by the seismocardiogram (SCG) signal and the audible ones correspond to heart sounds. Forcecardiography (FCG) is a non-invasive technique that measures these vibrations via force sensing resistors (FSR). This study presents a new piezoelectric sensor able to record all heart vibrations simultaneously, as well as a respiration signal. The new sensor was compared to the FSR-based one to assess its suitability for FCG. An electrocardiogram (ECG) lead and a signal from an electro-resistive respiration band (ERB) were synchronously acquired as references on six healthy volunteers (4 males, 2 females) at rest. The raw signals from the piezoelectric and the FSR-based sensors turned out to be very similar. The raw signals were divided into four components: Forcerespirogram (FRG), Low-Frequency FCG (LF-FCG), High-Frequency FCG (HF-FCG) and heart sounds (HS-FCG). A beat-by-beat comparison of FCG and ECG signals was carried out by means of regression, correlation and Bland–Altman analyses, and similarly for respiration signals (FRG and ERB). The results showed that the infrasonic FCG components are strongly related to the cardiac cycle (R2 > 0.999, null bias and Limits of Agreement (LoA) of ± 4.9 ms for HF-FCG; R2 > 0.99, null bias and LoA of ± 26.9 ms for LF-FCG) and the FRG inter-breath intervals are consistent with ERB ones (R2 > 0.99, non-significant bias and LoA of ± 0.46 s). Furthermore, the piezoelectric sensor was tested against an accelerometer and an electronic stethoscope: synchronous acquisitions were performed to quantify the similarity between the signals. ECG-triggered ensemble averages (synchronized with R-peaks) of HF-FCG and SCG showed a correlation greater than 0.81, while those of HS-FCG and PCG scored a correlation greater than 0.85. The piezoelectric sensor demonstrated superior performances as compared to the FSR, providing more accurate, beat-by-beat measurements. This is the first time that a single piezoelectric sensor demonstrated the ability to simultaneously capture respiration, heart sounds, an SCG-like signal (i.e., HF-FCG) and the LF-FCG signal, which may provide information on ventricular emptying and filling events. According to these preliminary results the novel piezoelectric FCG sensor stands as a promising device for accurate, unobtrusive, long-term monitoring of cardiorespiratory functions and paves the way for a wide range of potential applications, both in the research and clinical fields. However, these results should be confirmed by further analyses on a larger cohort of subjects, possibly including also pathological patients.


Author(s):  
Umar Farooq ◽  
Hannani Aman ◽  
Aida Mustapha ◽  
Zainuri Saringat

<p>The most essential phase in regression testing is Test Case Prioritization (TCP), with its primary objective to increase the fault detection rate at different stages during testing. Prior to achieving the objective, existing evidence of techniques in TCP must be synthesized and analyzed. At present, fault detection for TCP based on object-oriented features only consider statement, module, and class level. The important features of object-oriented (OO) programming like inheritance and polymorphism have not been fully explored for fault detection in TCP. Such OO concepts are important for test case selection and in turn for ranking the test cases (prioritization). This paper reviews various test case prioritization techniques specific to OO systems. This review is hoped to highlight the importance and usage of TCP in relation to object-oriented software development lifecycle.</p>


2011 ◽  
Vol 55 (02) ◽  
pp. 135-147 ◽  
Author(s):  
F. Stern ◽  
K. Agdraup ◽  
S. Y. Kim ◽  
A. C. Hochbaum ◽  
K. P. Rhee ◽  
...  

The SIMMAN 2008 workshop was held in Copenhagen, Denmark in April 2008. The purpose of the workshop was to benchmark the prediction capabilities of different ship maneuvering simulation methods including systems- and CFD-based methods through systematic quantitative comparisons and validation against EFD data for tanker (KVLCC), container ship (KCS), and surface combatant (5415) hull form test cases. For the KVLCC test case, two stern shape variants named KVLCC1 and KVLCC2 giving different instability loops were included. Free model test data was compared with systems-based methods and CFD for specified free maneuvers. Some of the systems-based methods used provided PMM and CMT data, and two used CFD instead. CFD-based methods were used to simulate forced motions and were compared with PMM/CMT model test data. The submissions were blind in the sense that the benchmark model test data was not provided prior to the workshop, unless data was required as input to the simulation method. A total of 64 submissions were received for the free maneuver simulations, which included a wide range of the state-of-the-art methods in use today, such as PMM- and CMT-based methods, CFD based methods, system identification, neural network tools and various empirical methods. For the forced motion simulations a total of 16 submissions were received, comprising different CFD-based methods such as RANS, URANS, and DES. This paper gives an overview of hulls, model tests, test cases, submissions, comparison results as well as the most important observations and conclusions.


2022 ◽  
pp. 1043-1058
Author(s):  
Rashmi Rekha Sahoo ◽  
Mitrabinda Ray

The primary objective of software testing is to locate bugs as many as possible in software by using an optimum set of test cases. Optimum set of test cases are obtained by selection procedure which can be viewed as an optimization problem. So metaheuristic optimizing (searching) techniques have been immensely used to automate software testing task. The application of metaheuristic searching techniques in software testing is termed as Search Based Testing. Non-redundant, reliable and optimized test cases can be generated by the search based testing with less effort and time. This article presents a systematic review on several meta heuristic techniques like Genetic Algorithms, Particle Swarm optimization, Ant Colony Optimization, Bee Colony optimization, Cuckoo Searches, Tabu Searches and some modified version of these algorithms used for test case generation. The authors also provide one framework, showing the advantages, limitations and future scope or gap of these research works which will help in further research on these works.


2018 ◽  
Vol 11 (1) ◽  
pp. 158-171 ◽  
Author(s):  
Rashmi Rekha Sahoo ◽  
Mitrabinda Ray

The primary objective of software testing is to locate bugs as many as possible in software by using an optimum set of test cases. Optimum set of test cases are obtained by selection procedure which can be viewed as an optimization problem. So metaheuristic optimizing (searching) techniques have been immensely used to automate software testing task. The application of metaheuristic searching techniques in software testing is termed as Search Based Testing. Non-redundant, reliable and optimized test cases can be generated by the search based testing with less effort and time. This article presents a systematic review on several meta heuristic techniques like Genetic Algorithms, Particle Swarm optimization, Ant Colony Optimization, Bee Colony optimization, Cuckoo Searches, Tabu Searches and some modified version of these algorithms used for test case generation. The authors also provide one framework, showing the advantages, limitations and future scope or gap of these research works which will help in further research on these works.


Sensors ◽  
2021 ◽  
Vol 21 (16) ◽  
pp. 5375
Author(s):  
Ovidiu Baniaș ◽  
Diana Florea ◽  
Robert Gyalai ◽  
Daniel-Ioan Curiac

Nowadays, REpresentational State Transfer Application Programming Interfaces (REST APIs) are widely used in web applications, hence a plethora of test cases are developed to validate the APIs calls. We propose a solution that automates the generation of test cases for REST APIs based on their specifications. In our approach, apart from the automatic generation of test cases, we provide an option for the user to influence the test case generation process. By adding user interaction, we aim to augment the automatic generation of APIs test cases with human testing expertise and specific context. We use the latest version of OpenAPI 3.x and a wide range of coverage metrics to analyze the functionality and performance of the generated test cases, and non-functional metrics to analyze the performance of the APIs. The experiments proved the effectiveness and practicability of our method.


2020 ◽  
Vol 14 ◽  
Author(s):  
M. Sivaram ◽  
V. Porkodi ◽  
Amin Salih Mohammed ◽  
S. Anbu Karuppusamy

Background: With the advent of IoT, the deployment of batteries with a limited lifetime in remote areas is a major concern. In certain conditions, the network lifetime gets restricted due to limited battery constraints. Subsequently, the collaborative approaches for key facilities help to reduce the constraint demands of the current security protocols. Aim: This work covers and combines a wide range of concepts linked by IoT based on security and energy efficiency. Specifically, this study examines the WSN energy efficiency problem in IoT and security for the management of threats in IoT through collaborative approaches and finally outlines the future. The concept of energy-efficient key protocols which clearly cover heterogeneous IoT communications among peers with different resources has been developed. Because of the low capacity of sensor nodes, energy efficiency in WSNs has been an important concern. Methods: Hence, in this paper, we present an algorithm for Artificial Bee Colony (ABC) which reviews security and energy consumption to discuss their constraints in the IoT scenarios. Results: The results of a detailed experimental assessment are analyzed in terms of communication cost, energy consumption and security, which prove the relevance of a proposed ABC approach and a key establishment. Conclusion: The validation of DTLS-ABC consists of designing an inter-node cooperation trust model for the creation of a trusted community of elements that are mutually supportive. Initial attempts to design the key methods for management are appropriate individual IoT devices. This gives the system designers, an option that considers the question of scalability.


2017 ◽  
Vol 2017 ◽  
pp. 1-20 ◽  
Author(s):  
Jun Ma ◽  
Shinji Nakata ◽  
Akihito Yoshida ◽  
Yukio Tamura

Full-scale tests on a one-story steel frame structure with a typical precast cladding system using ambient and free vibration methods are described in detail. The cladding system is primarily composed of ALC (Autoclaved Lightweight Concrete) external wall cladding panels, gypsum plasterboard interior linings, and window glazing systems. Ten test cases including the bare steel frame and the steel frame with addition of different parts of the precast cladding system are prepared for detailed investigations. The amplitude-dependent dynamic characteristics of the test cases including natural frequencies and damping ratios determined from the tests are presented. The effects of the ALC external wall cladding panels, the gypsum plasterboard interior linings, and the window glazing systems on the stiffness and structural damping of the steel frame are discussed in detail. The effect of the precast cladding systems on the amplitude dependency of the dynamic characteristics and the tendencies of the dynamic parameters with respect to the structural response amplitude are investigated over a wide range. Furthermore, results estimated from the ambient vibration method are compared with those from the free vibration tests to evaluate the feasibility of the ambient vibration method.


2021 ◽  
Vol 4 (1) ◽  
Author(s):  
Elisa Mejía-Mejía ◽  
James M. May ◽  
Mohamed Elgendi ◽  
Panayiotis A. Kyriacou

AbstractHeart rate variability (HRV) utilizes the electrocardiogram (ECG) and has been widely studied as a non-invasive indicator of cardiac autonomic activity. Pulse rate variability (PRV) utilizes photoplethysmography (PPG) and recently has been used as a surrogate for HRV. Several studies have found that PRV is not entirely valid as an estimation of HRV and that several physiological factors, including the pulse transit time (PTT) and blood pressure (BP) changes, may affect PRV differently than HRV. This study aimed to assess the relationship between PRV and HRV under different BP states: hypotension, normotension, and hypertension. Using the MIMIC III database, 5 min segments of PPG and ECG signals were used to extract PRV and HRV, respectively. Several time-domain, frequency-domain, and nonlinear indices were obtained from these signals. Bland–Altman analysis, correlation analysis, and Friedman rank sum tests were used to compare HRV and PRV in each state, and PRV and HRV indices were compared among BP states using Kruskal–Wallis tests. The findings indicated that there were differences between PRV and HRV, especially in short-term and nonlinear indices, and although PRV and HRV were altered in a similar manner when there was a change in BP, PRV seemed to be more sensitive to these changes.


2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Man Zhang ◽  
Bogdan Marculescu ◽  
Andrea Arcuri

AbstractNowadays, RESTful web services are widely used for building enterprise applications. REST is not a protocol, but rather it defines a set of guidelines on how to design APIs to access and manipulate resources using HTTP over a network. In this paper, we propose an enhanced search-based method for automated system test generation for RESTful web services, by exploiting domain knowledge on the handling of HTTP resources. The proposed techniques use domain knowledge specific to RESTful web services and a set of effective templates to structure test actions (i.e., ordered sequences of HTTP calls) within an individual in the evolutionary search. The action templates are developed based on the semantics of HTTP methods and are used to manipulate the web services’ resources. In addition, we propose five novel sampling strategies with four sampling methods (i.e., resource-based sampling) for the test cases that can use one or more of these templates. The strategies are further supported with a set of new, specialized mutation operators (i.e., resource-based mutation) in the evolutionary search that take into account the use of these resources in the generated test cases. Moreover, we propose a novel dependency handling to detect possible dependencies among the resources in the tested applications. The resource-based sampling and mutations are then enhanced by exploiting the information of these detected dependencies. To evaluate our approach, we implemented it as an extension to the EvoMaster tool, and conducted an empirical study with two selected baselines on 7 open-source and 12 synthetic RESTful web services. Results show that our novel resource-based approach with dependency handling obtains a significant improvement in performance over the baselines, e.g., up to + 130.7% relative improvement (growing from + 27.9% to + 64.3%) on line coverage.


Sign in / Sign up

Export Citation Format

Share Document