Independent Verification, Validation, and Accreditation Process as Applied to Extended Air Defense Testbed

摘要

This paper discusses the Independent Verification, Validation and Accreditation Process as applied to Extended Air Defense Testbed (EADTB). The process covers logical verification and code verification techniques and both structural validation and output validation techniques. Specific examples from EADTB are included to demonstrate application of the techniques.