Software Defects - II Defect Repair Rates - (1-2) : Lecture # 3
Software Defects - II Defect Repair Rates - (1-2) : Lecture # 3
Defect Seeding
Willful insertion of errors into a software deliverable prior to a review, inspection, or testing activity
It is the quickest way of determining defect removal efficiency
Considered unpleasant by many
Defect Tracking
It is important to use an accurate and automated defect tracking system
Defect tracking tools
Tracking defects by severity level and by origin Routing defects to appropriate repair facility
Keeping records of duplicate defects Invalid defects
Repair information against defects
Defect Prevention
We do not want defects or faults to enter our work products, requirements, design, code, or other
documents
We try to eliminate the error sources in defect prevention
Defect prevention is very difficult to understand, study, and quantify
Formal Methods
Formal methods provide a way to eliminate certain error sources and to verify the absence of related
faults
Formal methods include Formal specification Formal verification
Formal Specification
Formal specification is concerned with producing an unambiguous set of product specifications so that
customer requirements, as well as environmental constraints and design intentions, are correctly
reflected, thus reducing the chances of accidental fault injections
Formal Verifications
Formal verification checks the conformance of software design or code against these formal
specifications, thus ensuring that the software is fault free with respect to its formal specifications
Summary
In today’s lecture, we talked about defect prevention and defect prevention techniques
We discussed the approaches to eliminating these defects
References
Software Quality: Analysis and Guidelines for Success by Capers Jones
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement by Jeff Tian