主页>产品介绍>SCADE Suite>完整的测试流程>什么是完整的测试流程

What is the SCADE Combined Testing Process?

The Predictable Testing Approach for Safety-Critical Projects

SCADE Combined Testing Process

Requirements-Level Verification

The software requirements are written with the SCADE Editor, which checks syntax and semantics of the design, as well as its consistency and completeness.

The model can be executed immediately with the SCADE Simulator, allowing the early functional validation of the design.

Traceability between system and software requirements can be managed with a tool such as DOORS™ thanks to the SCADE DOORS Link.

The SCADE Model Test Coverage (MTC) module measures the coverage of the design reached by a high-level requirements-based test suite. MTC thus verifies if every element of the SCADE model (i.e., every software design feature) has been dynamically activated, and makes it possible to detect unintended functions.

C Source Code-Level Verification

As soon as the design phase is complete, the SCADE-qualified code generator (KCG) can produce a C source code that does not need to be verified. SCADE KCG has DO-178B qualification and IEC 61508 certification.

Object Code-Level Verification

Esterel Technologies’ Compiler Verification Kit (CVK) enables users to check that the compiler/linker introduces no discrepancy between the Source and the object code. This verification follows DO-178B and certification authorities guidelines (CAST-12, CAST-25). Once this verification of the compiler is complete, no further low-level testing is needed on the SCADE-generated object code.

Hand Code Verification

The classical verifications- i.e., source code review, all level testing, and structural coverage analysis- must be performed for the functions that are not designed with SCADE tool-chain.