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