Reduce the time, effort, and cost to validate your software for safety-critical industries such as avionics, medical devices, automotive, industrial controls, and railway. Traditionally, embedded software testing is a tedious and labor-intensive process. VectorCAST automates the tasks associated with unit, integration, and system testing of C, C++, and Ada applications, resulting in measurable reductions in cost and measurable improvements in quality.
The MathWorks Simulink® is a block diagram environment for multidomain simulation and Model-Based Design. It supports simulation, automatic code generation, and continuous test and verification of embedded systems. Simulink provides a graphical editor, customizable block libraries, and solvers for modeling and simulating dynamic systems. It is integrated with MATLAB®, enabling you to incorporate MATLAB algorithms into models and export simulation results to MATLAB for further analysis.
The VectorCAST integration with Simulink and Polyspace products leverages the natural synergies between dynamic testing and static analysis by combining full test automation with formal methods–based static analysis to empower engineers with advanced verification and validation capabilities.
This datasheet provides information on:
- How to measure industry-specific levels of code coverage from model execution
- Building unit-test environments automatically from Embedded Coder™ generated code
- Creating VectorCAST™ unit tests automatically from Simulink test vectors
- Running Polyspace® static analysis from within the VectorCAST dynamic test environment