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