Looks like no one added any tags here yet for you.
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.