Unit Testing and Analysis
Abstract
Program testing and analysis are the most practiced means of verifying that a program possesses the features required by its specification. Testing is a dynamic approach to verification in which code is executed with test data to assess the presence (or absence) of required features. Analysis is a static approach to verification in which required features are detected by analyzing, but not executing, the code. Many analysis techniques have become established technologies with their own substantial literature. So that they may be given adequate treatment elsewhere, these techniques have been placed outside the scope of this module. Included among these techniques are proof of correctness, safety analysis, and the more open-ended analysis procedures represented by code inspections and reviews. This module focuses on unit-level verification; integration and systems verification are to be covered elsewhere.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1989
- Accession Number
- ADA236119
Entities
People
- Larry J. Morell
Organizations
- Carnegie Mellon University