Connecting test coverage to software dependability

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.<
>