Object-Oriented Technology Verification Phase 2 Report - Data Coupling and Control Coupling:Final rept

摘要

This Report documents the results of an investigation into issues and acceptance criteria for the verification (i.e., confirmation in DO-178B) of data coupling and control coupling (DCCC) within object-oriented technology (OOT) in commercial aviation. OOT has been used extensively throughout the non-safety-critical software and computer-based systems industry. OOT has also been used in safety-critical medical and automotive systems and has been introduced in the commercial airborne software and systems domain. However, as with any new technology, there are concerns and issues relating to its adoption within safety-critical systems. The intent of the structural coverage analyses (confirmation) of DCCC is to provide an objective assessment (measurement) of the completeness of the requirements-based tests of the integrated components. A review of the published literature concerning integration verification found that coverage of intercomponent dependencies as an acceptable adequacy criterion of integration testing in both non-OOT and OOT software was well motivated. This approach is known as coupling-based integration testing. This Report, therefore, recommends the coverage of intercomponent dependencies as a measurable adequacy criterion to satisfy RTCA DO-178B/EUROCAE ED-12B Table A-7 Objective 8.