DocumentCode
2243836
Title
Connecting test coverage to software dependability
Author
Hamlet, Dick
Author_Institution
Center for Software Quality Res., Portland State Univ., OR, USA
fYear
1994
fDate
6-9 Nov 1994
Firstpage
158
Lastpage
165
Abstract
It is widely felt that software quality in the form of reliability or “trustworthiness”, can be demonstrated by the successful completion of testing that “covers” the software. However, this intuition has little experimental or theoretical support. The paper considers why the intuition is so powerful and yet misleading. Formal definitions of software “dependability” are suggested, along with new approaches for measuring this analogy of trustworthiness
Keywords
formal specification; program testing; software quality; software reliability; formal definitions; software dependability; software quality; test coverage; trustworthiness; Best practices; Clocks; Fault detection; Genetic mutations; Joining processes; Programming; Software measurement; Software quality; Software testing; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on
Conference_Location
Monterey, CA
Print_ISBN
0-8186-6665-X
Type
conf
DOI
10.1109/ISSRE.1994.341368
Filename
341368
Link To Document