Statement testing uses a model of the source code which identifies statements as either executable or non-executable. Test cases shall be designed to exercise executable statements.For each test case, the following shall be specified:
- the input(s) to the component;
- identification of statement(s) to be executed by the test case;
- the expected outcome of the test case.