600.436 High-Assurance
Systems
Fall 01/Security Function Testing
11
Rigorous Analysis of Coverage
¨The analysis of the test coverage shall rigorously demonstrate that all external interfaces of the TSF identified in the functional specification have been completely tested.