Software Error Analysis
by W. W. Feng and D. R. Wallace (Feng & Wallace)
ISBN 0-929306-18-X
1994
90 pages, Paperback
$29.95 (US Dollars)

 Summary    Contents 

Table of Contents:

• Overview
  • Definitions
• Introduction to Software Error Analysis
  • Cost Benefits of Early Error Detection
  • Approach to Selecting Error Analysis Techniques
• Techniques for Detecting Errors
  • Classes of Error Detection Techniques
  • Techniques Used During the Lifecycle
  • Benefits of Classes of Error Detection Techniques
• Removal of Errors
  • Identification
  • Investigation
  • Resolution
  • Use of Individual Error Data
• Techniques for the Collection and Analysis of Error Data
  • Error History Profile / Database
  • Data Collection Process
  • Metrics
  • Statistical Process Control Techniques
  • Software Reliability Estimation Models
• Summary
• References
• Appendix A: Error Detection Techniques
  • Algorithm Analysis
  • Back-to-Back Testing
  • Boundary Value Analysis
  • Control Flow Analysis / Diagrams
  • Database Analysis
  • Dataflow Analysis
  • Decision Tables (Truth Tables)
  • Desk Checking (Code Reading)
  • Error Seeding
  • Finite State Machines
  • Formal Methods (Formal Verification, Proof of Correctness, Formal Proof of Programs)
  • Information Flow Analysis (Fagan) Inspections
  • Interface Analysis
  • Interface Testing
  • Mutation Analysis
  • Performance Testing
  • Prototyping / Animation
  • Regression Analysis and Testing
  • Requirements Parsing
  • Reviews
  • Sensitivity Analysis
  • Simulation
  • Sizing and Timing Analysis
  • Slicing
  • Software Sneak Circuit Analysis
  • Stress Testing
  • Symbolic Execution
  • Test Certification
  • Traceability Analysis (Tracing)
  • Walkthroughs
• Appendix B: Error Analysis Techniques Cited in Software Standards