Abstract

Abstract-Some properties guide program testing. of a program data flow can be used to The presented approach aims to exercise usedefinition chains that appear in the program. Two such data oriented testing strategies are proposed; the first involves checking liveness of every definition of a variable at the point(s) of its possible use; the second deals with liveness of vectors of variables treated as arguments to an instruction or program block. Reliability of these strategies is discussed with respect to a program containing an error. Index Terms-Control flow, data context, data environment, data flow, data oriented testing, program testing, liveness,.variable definition. I.

Citations