LCSAJ testing requires a model of the source
code which identifies control flow jumps (where control flow does not pass to a
sequential statement).
An LCSAJ (Linear Code Sequence and Jump) is defined by a
triple, conventionally identified by line numbers in a source code listing: the
start of the linear code sequence, the end of the linear code sequence, and the
target line to which control flow is transferred.
