Required to perform analysis of source code to produce requirements needed by certification process to generate test cases.
Requirements needed to be comprehensive in order to gain code, path and data coverage (see Karnaugh Maps). The inputs and outputs need to be determined (see Presentations). Call trees need to be considered in order to document impact any given function has on the system (see Variable Modification). Certification artifacts must be produced and tracked (see Certification Database, Code Coverage).
Local variables must not be identified directly in requirements since operations on them can't be verified, directly by automated test. Must identify them indirectly by how they are derived from inputs e.g. parameters, global and static global variables.