CS 501: Software Engineering Fall 1999

10/22/99


Click here to start


Table of Contents

CS 501: Software Engineering Fall 1999

Administration

Reading

Validation and Verification

Static and Dynamic Verification

Static Validation & Verification

Cleanroom Software Development

Static Verification: Program Inspections

Inspection Checklist: Common Errors

Static Analysis Tools

Static Analysis Tools (continued)

Testing and Debugging

Acceptance Testing

The Testing Process

Testing Strategies

Test Design

Test Cases

Test Case Selection: Coverage of Inputs

Test Case Selection: Program

Program Flow Graph

Fixing Bugs

Moving the Bugs Around

Author: payette