Version 3.3, part of Release 2017a, includes the following enhancements:

  • Qualification Artifacts: Qualify R2017a versions of supported products
  • Design Error Detection Qualification: Qualify Simulink Design Verifier for design error detection
  • Polyspace Report Qualification: Qualify Polyspace Bug Finder and Polyspace Code Prover verification reports
  • Model Coverage Qualification: Qualify Simulink Verification and Validation for execution coverage

See the Release Notes for details.

Version 3.2, part of Release 2016b, includes the following enhancements:

  • Qualification Artifacts: Use artifacts to qualify R2016b versions of supported products
  • Code Coverage Qualification: Qualify Simulink Verification and Validation for generated code coverage during SIL execution
  • Model Coverage Qualification: Qualify Simulink Verification and Validation for legacy code coverage in S-functions during model simulation
  • Simulink Test Function Qualification: Qualify verify functions in Test Sequence blocks

See the Release Notes for details.

Version 3.1, part of Release 2016a, includes bug fixes.

  • Qualification Artifacts: Qualify R2016a versions of supported products by using artifacts

See the Release Notes for details.

Version 3.0, part of Release 2015b, includes the following enhancements:

  • Qualification artifacts for Simulink Test
  • Qualification artifacts for XML comparison in Simulink Report Generator

See the Release Notes for details.

Version 2.5, part of Release 2015a, includes the following enhancements:

  • Qualification artifacts for R2015a
  • Enhanced tool qualification tests for Simulink Verification and Validation model coverage
  • Qualification of Polyspace Bug Finder and Polyspace Code Prover MISRA C:2012 coding rules

See the Release Notes for details.