600.436
High-Assurance Systems
Fall 01/Introduction
23
Developer Activities
¨Deliver a system (the TOE) that
realizes all of the user requirements
¨Construct evidence that the
implementation of the system realizes all user requirements
¨Include
tests to demonstrate that required functions are realized at the TOE
interface