600.436 High-
Assurance Systems
Fall 01/Security Function Testing
23
Expected Results
¨
Actually An Aspect Of The Test Procedures
That Identifies The Output Predicted By
The Specification From Which The Test Is
Derived
