600.436 High-Assurance
Systems
Fall 01/Security Function Testing
26
Functional Testing
¨The developer shall test the TSF and document the
results.
¨The developer shall provide test documentation.
¨The test documentation shall consist of test plans,
test procedure descriptions, expected test results and actual test results.
¨The test plans shall identify the security functions
to be tested and describe the goal of the tests to be performed.
¨The test procedure descriptions shall identify the
tests to be performed
and describe the scenarios for testing each security function. These scenarios shall
include any ordering dependencies on the results of other
tests.
¨The expected test results shall
show the anticipated outputs from a successful execution of the
tests.
¨The test results from the
developer execution of the tests shall demonstrate that each tested
security function behaved as specified.