About Software Tool Validation

Some safety standards recommend the validation of software tools, using application-independent test cases to:

• Demonstrate that a software tool complies with its specified requirements.

• Examine the reaction of the software tool to anomalous operating conditions.

The IEC Certification Kit product provides exemplary test cases and test procedures that you can use to automate tool validation tests for the following products:

• Embedded Coder

• Simulink Verification and Validation (Model Coverage Analysis, Model Compliance Checking)

• Polyspace Client/Server for C/C++

The exemplary test cases provided with the IEC Certification Kit product are templates that you can modify and extend to create test suites that cover the requirements that are relevant for your application, your specific tool configuration, operating environment, and so on.

Note   MathWorks acknowledges the Automotive Code Validation Suite (AVS) as the initial test suite used with Embedded Coder, as described in the following article: http://www.mathworks.com/company/pressroom/article31185.html

Validate Software Tools

Run Test Cases and Procedures for Embedded Coder

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS