Lecture 2
Lecture 2
• A single error may cause many faults, such as in the case that
a wrong algorithm is applied in multiple modules and causes
multiple faults, and a single fault may cause many failures in
repeated executions.
• Conversely, the same failure may be caused by several faults,
such as an interface or interaction failure involving multiple
modules, and the same fault may be there due to different
errors.
Correctness properties a/c to quality view and attributes
Quality: Historical Perspective
• Software v/s other products/systems:
➢ pre-software/IT: manufacturing process
→ physical-object attributes (defects)
➢ service: manage expectations: 0 defect → 0 deflection
➢ IT and software: different as compared to other manufacture
system
• The new meaning of Quality in the information age (Prahalad
and Krishnan, 1999):
➢ high-quality software can be defined by three basic elements:
conformance, adaptability, and innovation.