基于模型设计中的验证，确认及测试

将验证和确认技术贯穿于项目开发过程中，可以帮助用户尽早发现设计错误，避免这些错误使得整个项目失控。在这个主题中，您将看到：

亮点：

  • 使用形式化验证方法检查模型的设计错误
  • 使用自动化框架进行系统化的设计仿真测试
  • 使用模型裁剪特性分析和调试模型中有问题的行为
  • 自动生成可复用的测试以满足模型和代码覆盖度

录制日期: 2017 年 6 月 20 日

了解更多

查看幻灯片
相关信息
申请试用版

反馈

下一个:

At the MathWorks Automotive Conference 2010, DAF Trucks and MonkeyProof Solutions presented the challenge DAF Trucks was facing with the increasing importance and complexity of software in vehicle development, the chosen strategy (migration to Model-

Verification and Validation of Embedded Software Systems

相关视频:

Best practices for DO-178 include key considerations, methods, and fundamental capabilities of Model-Based Design that span the software development process from modeling

Best Practices for DO-178 Compliant Software using...

Measure test coverage in models and generated code using Simulink Coverage.

What Is Simulink Coverage?

In part 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews.

Model-Based Design for DO-178C Software Development with...

In part 5 of this webinar series, we discuss the idea of using formal methods to further verify the model and assess robustness.

Model-Based Design for DO-178C Software Development with...

查看更多相关视频