|
|
|
| R2011b Documentation → DO Qualification Kit | |
Learn more about DO Qualification Kit |
|
| Contents | Index |
This table summarizes what's new in V1.1 (R2009b+):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems |
|---|---|---|
| Yes Details below | No | Bug
Reports Includes fixes |
New features and changes introduced in this version are:
The DO Qualification Kit product includes documents, templates, test cases, and test procedures. You can use these artifacts when you use the following MathWorks products and capabilities in projects involving the DO-178B and related standards:
Simulink Verification and Validation Version 2.6 (R2009b): DO-178B checks and model coverage
SystemTest Version 2.4 (R2009b): Limit Check element
Polyspace Client for C/C++, Polyspace Server for C/C++ Version 7.1 (R2009b)
For details, see DO Qualification Kit Components in the DO Qualification Kit documentation.
The DO Qualification Kit software includes documents, templates, test cases, and test procedures. You can use these artifacts and tests when you use Simulink Verification and Validation model coverage in projects involving the DO-178B and related standards.
By qualifying the model coverage capability of the Simulink Verification and Validation product, you can claim credit for demonstrating completeness and correctness of the test cases that Simulink® Design Verifier™ generates. Use the model coverage capability instead of reviewing the Simulink Design Verifier report. You can demonstrate completeness and correctness by running the generated test cases against the model, measuring the model coverage, and reviewing the model coverage report. You can run the test cases on the executable object code and compare the actual results to the simulation results. The model coverage capability does not assess the correctness of the simulation results, only the test case coverage of the model. Therefore, you must verify that the results from the model are correct.
For details, see DO Qualification Kit Components in the DO Qualification Kit documentation.
 | Version 1.1.1 (R2009bSP1) DO Qualification Kit Software | Version 1.0 (R2009a+) DO Qualification Kit Software |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |
