...exists.

Testability scores are in the range [0, 1], with 1 being the highest and 0 being the lowest. This is because they are probabilities.

...conditions

Faults and defects may be used interchangeably as they are synonymous terms.

...[#eiffel##1#].

Anna (Annotated Ada) uses comments to embed assertions; Eiffel uses object invariants that are inserted as pre- and post-conditions to all operations on the object.

...deactivated.

The removal of assertions is motivated by the desire for more efficient execution during production runs.

...exercised.

There are software test case generation tools (Godzilla [10], WhiteBox (TM) TGen) that are intelligent enough to sometimes find test cases that will exercise previously unreached statements in the code, but this is an unsolvable problem in general.

....

Homogeneous propagation is said to occur for some input i if any type of corruption of the state created at location l by input i results in corrupted output.

Roger Gima
Tue Jan 20 16:43:17 EST 1998