Object-Oriented Technology Verification Phase 3 Report - Structural Coverage at the Source-Code and Object-Code Levels:Final rept

摘要

The Federal Aviation Administration (FAA) sponsored this 3-year, three-phase research to provide information for developing FAA policy and guidance for the use of Object-Oriented Technology in Aviation (OOTiA) systems and to support harmonization with international certification authorities on the use and verification of OOTiA. This Report, (Phase 3), documents the results of an investigation into issues and acceptance criteria for the use of structural coverage analysis (SCA) at the source-code (SC) versus object-code (OC) or executable object-code (EOC) levels within object-oriented technology (OOT) in commercial aviation to satisfy objectives 5-8 of table A-7 in RTCA DO-178B/EUROCAE ED-12B. The intent of SCA is to provide an objective assessment (measure) of the completeness of the requirements-based tests and supports the demonstration of the absence of unintended function. An analysis of several OOT features and the satisfaction of DO-178B/EUROCAE ED-12B Table A-7 Objective 5 for modified condition decision coverage indicates that either a mix of SC coverage and OC/EOC coverage, or coverage of the OC/EOC with SC to OC/EOC traceability, may be required for software Levels A-C. This differs from the current practice where the coverage analysis is conducted against either the SC or OC/EOC, and SC to OC/EOC traceability is only needed for Level A software.