600.436 High-Assurance
Systems
Fall 01/Security Function Testing
7
Correspondence
¨Provide An Analysis that Shows or Demonstrates
Which TSF Interface(s) Each Test Is Exercising
¨“Show”
Only Requires An Assertion That A Test Exercises An Interface
¨“Demonstrate”
Requires An Explanation Of How The Test Exercises The Interface(s)