Demo Abstract: Model-Based Testing of Implantable Cardiac Devices

Sarode, Shilpa; Radhakrishnan, Sriram; Sampath, Varun; Jiang, Zhihao; Pajić, Miroslav; Mangharam, Rahul

doi:10.1109/iccps.2012.42

Cited by 3 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These applications vary from sophisticated software engineering environments to databases and large industrial software systems. MBST has also been used in projects involving embedded systems, such as medical devices and automotive modules . Bohr proposed an extension to MBST that deals with the notion of time and concurrency while maintaining all the advantages of MBST.…”

Section: Literature Review On Model‐based Testingmentioning

confidence: 99%

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

Awédikian

Yannou

2012

Software Testing Verif & Rel

View full text Add to dashboard Cite

SUMMARYWith the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model‐based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user‐oriented, or fault‐oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model‐based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Section: Literature Review On Model‐based Testingmentioning

confidence: 99%

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

Awédikian

Yannou

2012

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

Analysis of white box test of cyber-physical system

Li¹,

Zhang²

2017

AIP Conference Proceedings

View full text Add to dashboard Cite

An Analysis of Various Electrical Activity in Heart Cavities for Ischemia-Related Issue

Kumar,

Nagaraja,

Vahvale

et al. 2024

Wseas Transactions on Biology and Biomedicine

View full text Add to dashboard Cite

The heart is the hub of the circulatory system, a system of blood veins that distributes blood throughout the body. When arterial blood flow to a tissue, organ, or extremity is interrupted, it is known as ischemia. If left untreated, ischemia can cause tissue death. Since the heart's structure may be represented and simulated for cardiac contraction and relaxation, it is significant in COMSOL Multiphysics. The Fitzhugh-Nagumo (FN) and Ginzburg-Landau (GL) equations are used to implement the electrical activity in presumably different cardiac cavities with the ultimate goal of addressing ischemia-related problems. The heart model is divided into four distinct models to illustrate blood flow. Both the observed plots and the dependent variables' waves have a spiral shape.

show abstract

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices

Cited by 3 publications

References 3 publications

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

Analysis of white box test of cyber-physical system

An Analysis of Various Electrical Activity in Heart Cavities for Ischemia-Related Issue

Contact Info

Product

Resources

About