600.436 High-Assurance
Systems
Fall 01/Security Function Testing
10
Analysis of Coverage
¨The developer shall provide an analysis of the test coverage.
¨The analysis of the test coverage
shall demonstrate the correspondence between the tests identified in the test documentation and the TSF as described in the functional specification.
¨The analysis of the test coverage shall demonstrate that the correspondence between the TSF as described in the functional specification and the tests identified in the test documentation is complete.