DocumentCode
774285
Title
Software testability: the new verification
Author
Voas, Jeffrey M. ; Miller, Keith W.
Author_Institution
Reliable Software Technol., Sterling, VA, USA
Volume
12
Issue
3
fYear
1995
fDate
5/1/1995 12:00:00 AM
Firstpage
17
Lastpage
28
Abstract
Most verification is concerned with finding incorrect code. Instead, this view looks at the probability that the code will fail if it is faulty. The authors present the benefits of their approach, describe how to design for it, and show how to measure testability through sensitivity analysis
Keywords
probability; program testing; program verification; sensitivity analysis; software reliability; faulty code failure probability; incorrect code; sensitivity analysis; software testability; software verification; Formal verification; Humans; Law; Programming; Sensitivity analysis; Software quality; Software standards; Software testing; Standards development; System testing;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.382180
Filename
382180
Link To Document