W2_2_TestingBackground 415

Software Fault

A static defect in the software.

Software Failure

External, incorrect behavior with respect to the requirements or other description of the expected behavior.

Software Error

An incorrect internal state that is the manifestation of some fault.

Reachability

The condition where the location(s) in the program that contain the fault must be reached.

Infection

The condition where the state of the program must be incorrect.

Propagation

The condition where the infected state must cause some output or final state of the program to be incorrect.

Reveal

The condition where the tester must observe part of the incorrect portion of the program state.

Validation

The process of evaluating software at the end of development to ensure compliance with intended usage.

Verification

The process of determining whether the products of a given phase fulfill the requirements established during the previous phase.

Testing

Evaluating software by observing its execution.

Debugging

The process of finding a fault given a failure.

Infeasibility problem

Test requirements that cannot be satisfied; no test case values exist that meet the requirements.

Test Design

The process of creating test values to satisfy coverage criteria or other engineering goals.

Test Automation

Embedding test values into executable scripts.

Test Execution

The process of running tests on the software and recording the results.

Test Evaluation

Evaluating results of testing and reporting to developers.

Test Management

Sets policy, organizes teams, interfaces with development, and chooses testing criteria.

Model-Driven Test Design

A process that uses a software artifact model/structure to refine requirements and create test specifications.