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
600.436 High-
Assurance Systems
Fall 01/Introduction
23