Esterel Technologies>Products>SCADE Suite>Combined Testing Process
SCADE Combined Testing Process
The Predictable Testing Approach for Safety-Critical Projects
Why a new testing approach?
Testing in a safety-critical development environment traditionally combines the search for design, coding, and compilation errors as code is executed on target processors. That means errors are detected late, which makes the testing process both time and budget-consuming. And this testing approach is becoming more and more costly as target microprocessors enable the deployment of greater amounts of software.
To alleviate this situation, Esterel Technologies created the SCADE Combined Testing Process, which enables developers to verify their designs early in the development cycle, when they can be fixed more effectively and efficiently.
Benefits of Using the SCADE Combined Testing Process
A Powerful “Divide and Conquer” Approach
The SCADE Combined Testing Process assures a level of confidence on the software safety that is equivalent to or higher than that achieved with extensive testing on C code with MC/DC coverage, while significantly reducing costs and time to market.
The SCADE™ Combined Testing Process optimizes the testing effort thanks to SCADE built-in qualities.
- Compliance of the SCADE model with respect to the highlevel requirements is, to a large extent, verified at the model level with MTC. MTC is qualified as a verification tool, per FAA 8110.49.
- Compliance of the C source code with the SCADE low-level requirements is ensured by the KCG development tool qualification, per FAA 8110.49.
- The formal and structured characteristics of KCG-generated code enable the efficient verification of source-to-object-code transformation with the CVK.
The SCADE Combined Testing Process makes the certification process safe and efficient, from software requirements to target object code.
- The SCADE Editor Quick Check function ensures syntactic and semantic correctness of the SCADE model.
- The requirements-based simulation of SCADE models, coupled with the use of the DOORS Link and the Model Test Coverage (MTC) tool, make it possible to check the exact and complete implementation of requirements.
- The SCADE Qualified Code Generator (KCG) produces a C code that needs neither low-level testing nor code reviews. KCG strict compliance with the DO-178B level A and the FAA 8110.49 development tool qualification procedures enables this efficiency.
- The Compiler Verification Kit (CVK) checks the proper compiling of all SCADE code constructs when using the selected crossdevelopment tool-chain and microprocessor.
- Performing the traditional tests on the target system, based on high-level requirements (HLRs), guarantees that the system requirements allocated to software execute correctly on the deployed platform.
RSS