programming Testing where information about programming

style, error-prone language constructs, and other programming

knowledge is applied to select test data capable of detecting

faults, either a specified class of faults or all possible

faults.