600.436: High-Assurance Systems

600.436 High-Assurance Systems

Fall 01/Security Function Testing

Evidence Of Coverage

¨“The developer shall provide evidence of the test coverage.” ¨“The evidence of the test coverage shall show the correspondence between the tests identified in the test documentation and the TSF as described in the functional specification.”