600.436 High-Assurance
Systems
Fall 01/Security Function Testing
5
Definition
¨Coverage
Is A Measure Of The Extent To Which The Test Cases Demonstrate That The Specified
TSF Are Present And Operate As Specified
–i.e., a measure of how many of the TSF interfaces
specified in the Functional Specification are actually exercised by tests