Title :
Connecting test coverage to software dependability
Author_Institution :
Center for Software Quality Res., Portland State Univ., OR, USA
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;
Conference_Titel :
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-6665-X
DOI :
10.1109/ISSRE.1994.341368
