The use of specialized software to determine the degree to which the source code of a specified target program has been tested