Satisfy DO-178C mandatory requirement for data coupling and control coupling analysis
VectorCAST/Coupling provides automated analysis and instrumentation for data coupling and control coupling verification for C and C++ source files and is used in conjunction with an existing VectorCAST/QA project or VectorCAST Cover environment. Coupling verification is mandatory for safety-critical avionics software development according to both RTCA DO-178B and DO-178C. The tools support the Coupling requirements of DO-178B/C by using a combination of static analysis to identify the couples in a code base and run-time verification of the couples during application execution. Both the static analysis and run-time verification operate on software “components”. A component is a user-defined collection of one or more source files.
Advantages
- Automated coupling verification for C and C++ Source Files
- Uses existing VectorCAST Cover environments
- Verify DO-178C Requirements
- Report generation
- Saves significant time, effort and accuracy over manual analysis
How it Works
The intent of Coupling Analysis is to prove that the control and data flow between architectural components in the implementation match what was intended by the design, and to prove that these flows have been tested. DO-178B requires applicants to identify couples in the design, and to verify that those couples, and only those couples, exist in the implementation. DO-178C additionally requires applicants to verify that the couples have been exercised during functional requirements testing. VectorCAST’s Component Report and Coupling Coverage Report provide this proof.
DO-178C defines two types of couples, Control Couples and Data Couples. The specification defines them as:
Control Coupling – The manner or degree by which one software component influences the execution of another software component (DO-178C ANNEX B, Glossary).
Data Coupling – The dependence of a software component on data not exclusively under the control of that software component (DO-178C ANNEX B, Glossary).
DO-178B only required you to confirm the data and control coupling. DO-178C changed that to confirm that the requirements-based testing has exercised the data and control coupling. If you have to comply with DO-178C (A, B or C), then objective 8 applies. For DO-178B, you may have confirmed the data and control coupling manually or with static analysis. Now you must:
- Confirm the data and control coupling meets the requirements and intended design
- Show the coverage analysis for the data and control coupling after running the requirements-based tests
- Static Analysis alone is insufficient - you must also show the dynamic coverage analysis Using VectorCAST/Coupling will save you time.
Manual analysis is hard and labor intensive. Static Analysis alone is insufficient because you must also show the dynamic coverage analysis. Using VectorCAST/Coupling is easier and saves time.
Coupling Coverage Reports
VectorCAST’s set of Coupling Reports provide proof that the control and data flow between architectural components in the implementation match what was intended by the design and prove that these flows have been tested. VectorCAST/Coupling provides the following reports, which are discussed in detail below:
-
Component Report - lists the global data objects and functions for each component.
-
Coupling Coverage Report - shows the static analysis and runtime analysis. This report is a high-level overview of the Coupling coverage in the application.
- Coupling Access Order Full Report - shows the access order by test result for all couples. This verifies that the architecture was correctly followed for all of the tests.
- Coupling Access Order Error Report - shows the access order by test result only for couples with errors. This report helps the user to efficiently track down any access errors without having to parse through all of the test results.
Downloads
-
2021-05-10VectorCAST General FactSheet
-
2021-04-30VectorCAST/C++ FactSheet
-
2018-09-10Fact Sheet VectorCAST/RSP
-
2021-05-05How to Evaluate Embedded Software Test Tools
-
2021-05-05How VectorCAST Allows Testing Like Google
-
2021-04-02Using VectorCAST for DO-178C Software Verification
-
2021-02-26Following the ISO 26262-6:2018 Guidelines with VectorCAST
-
2021-02-19Driving Product Quality by Ensuring Testing Completeness
-
2021-01-21Using VectorCAST to Satisfy FDA Software Testing Requirements
-
2021-01-15Using VectorCAST for Software Verification and Validation of Railway Applications
-
2021-01-15Quantifying the Cost of Fixing versus Presenting Bugs
-
2020-12-17Estimating the Impact of Instrumentation
-
2020-12-17Is it Necessary to do Object Level Coverage to Satisfy DO-178B Level A
- 2021-07-08 VectorCAST: Which Techniques are Suitable for Testing Legacy...
- 2021-07-08 VectorCAST: quali tecniche sono le più adatte per testare il...
- 2021-07-06 VectorCAST: Softwarequalität durch statische Analyse und...
- 2021-06-23 VectorCAST: Wie ein KI-System für die Funktionale Sicherheit...
- 2021-06-08 VectorCAST: Can You Trust Your Compiler?
- 2020-12-08 Coffee with Vector: Improving Testing Efficiency by using...
- 2020-11-26 VectorCAST: The Use of Requirements and Unit Testing in...
- 2020-11-26 VectorCAST: L'utilizzo dei Requisiti e lo Unit Test nei progetti...
- 2020-11-19 VectorCAST: How to Unit Test AUTOSAR Software Components
- 2020-11-11 Coffee with Vector: Software Integration Testing with VectorCAST
News & Events
Services
VectorCAST Services
The VectorCAST Services group helps your organization implement industry focused, best practice-based methodologies to improve software quality and productivity. What sets the VectorCAST Services group apart from other professional services groups is the expertise in complex testing environments and the focus on mentoring clients for self-sufficiency while helping them establish repeatable software development and testing processes.
Training
VectorCAST Workshops
Our workshops offer you many opportunities to expand or deepen your knowledge about VectorCAST.
Gain a basic understanding of Unit Testing and Code Coverage concepts and how the VectorCAST test automation platform can be used to implement those concepts.
