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
600.436 High-
Assurance Systems
Fall 01/Security Function Testing
5