6.170 Quiz One Test Review Session Topics Outline

February 29, 2000 7pm 34-101

This document is a listing of the topics that will be discussed in the review session, not a complete list of all the topics for the test.

General Test Coverage

• Lectures 1-9
• Problem Sets 1-3

Specification

• Procedural
  • A Contract
  • Specification and Parameterization
  • requires, modifies, effects
  • Goals: Simplicity and Generality
  • Advantages: Locality and Modifiability
  • Strong vs. Weak spec
  • Mathematical Interpretation
• Data Abstraction
  • Extend the data types
  • Design Decisions -- Mutability, Adequacy
  • Creators, Producers, Mutators, Observers
  • Same Advantages

Testing

• Black-box
  • specification based testing
  • boundary testing
  • tradeoffs of black-box testing
• Glass-box
  • black-box vs glass-box
  • challenges for glass-box
• Strategies
  • statement coverage
  • decision coverage
  • loop coverage
  • condition/decision coverage
  • path-complete coverage

Iterators

• Rationale
• Components (generators, iterators)

Exceptions

• Rationale
• Checked vs. unchecked