VectorCAST/Coupling Data and Control Coupling Verification

PublishTime：2022-09-19

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.
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.

Brand of Product：	Vector
Part#：
Product Category：	More
Application：	More
Data Type：	Technical Documentation More
Safety & Environment Standards：	More
Operating Temperature：	Please see the document for details
Qualification Grade：	More
Qualification Approval：	More
Package：
Language：	English Chinese Chinese and English Japanese
Date of Creation：	2020-9
Version Number：	V2.4
Data Encoding：
Data Size：	951 KB

Data section preview(2pages)

- The full preview is over,the data is 2 pages -

Download

+1 Like
Add to Favorites

Recommend

Selection Guide

More>

Technical Resources

More>

All reproduced articles on this site are for the purpose of conveying more information and clearly indicate the source. If media or individuals who do not want to be reproduced can contact us, which will be deleted.

Integrated Circuits