Contents

• List of Figures
  • Disclaimer
  • SBIR Rights Notice
  • Abstract
  • Keywords
• Executive Project Summary
• Introduction
• Run-time Software Assertions
  • Strategic Assertion Placement
  • Generalized Observations Concerning Assertions
    • Reachability
    • Changing Test Suites
    • Testers vs. Developers
• Our Phase II Prototype Tools
  • Components
  • Styles of Assertions
  • Types of Assertions
    • The ASSERT statement
    • The PRE_CONDITION and POST_CONDITION Statements
    • The INVARIANT Statement
  • The Firing of Assertions
  • Assertion Behaviors
  • The Assertion Language
• Using Testability to Guide Assertion Placement
• Summary
• References
• About this document ...