Computer Science 290 Fall 2013

Gregory M. Kapfhammer

Testing the Programs

Page 402

Identify Fault

Correct Fault

Types of Faults

Algorithmic

Precision

Documentation

Performance

Recovery

Hardware

Page 405

HP's Fault Classification

Origin: Where?

Type: What?

Mode: Why?

Stages

Unit

Integration

System

Performance

Acceptance

Types of Testing

Boxes?

Closed Box

Open Box

Test Suite

Test Case

Boundaries

Systematic Testing

Test Adequacy Criteria

Cut-off Points

Subsumption

Class

Method

Branch

Statement

Def-use

Hierarchy?

Mutation Testing

Not exactly ...

Program Modification!

Static Analysis

Dynamic Analysis

Capture-Replay

Test Case Generators

EvoSuite

Key Points?