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.
Test cases shall be designed to exercise LCSAJs.
For each test case, the following shall be specified:
- the input(s) to the component;
- identification of the LCSAJ(s) to be executed by the test case;