600.436 High-Assurance Systems
Fall 01/Development Process Assurance
31
Well-Defined
Development Tools
¨The developer shall identify the development tools being used for the TOE
–All development tools used for implementation shall be well-defined
¨The developer shall document the selected implementation-dependent options of the development tools
–(This documentation) shall
unambiguously define the meaning of
all statements used in the implementation
–(This documentation) shall
unambiguously define the meaning of
all implementation-dependent options