Title :
A software analysis technique for quantifying reliability in high-risk medical devices
Author :
Voas, Jeffrey ; Miller, Keith ; Payne, Jeffery
Author_Institution :
Reliable Software Tech. Corp., Arlington, VA, USA
Abstract :
The authors present a software engineering technique called sensitivity analysis that aims at producing software that is less likely to hide faults. When sensitivity analysis indicates that faults are not likely to hide from testing, they can more comfortably rely on the results of testing. Sensitivity analysis has been automated, and preliminary results from the automated analysis suggest that the technique will have significant advantages for the development, validation, and regulation of medical devices
Keywords :
medical computing; program verification; software reliability; systems analysis; automated analysis; medical devices; regulation; sensitivity analysis; software analysis technique; software engineering technique; testing; validation; Application software; Biomedical equipment; Computer science; Medical control systems; Medical services; Sensitivity analysis; Software engineering; Software quality; Software safety; Software testing;
Conference_Titel :
Computer-Based Medical Systems, 1993. Proceedings of Sixth Annual IEEE Symposium on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
0-8186-3752-8
DOI :
10.1109/CBMS.1993.262989