19:50视频长度19:50。
嵌入式系统的需求建模与设计验证
想想那些描述不需要的功能的需求,比如“反推力器在飞行中不能展开”。什么样的测试可以证实某事永远不会发生?文本需求容易被误解,而且有些需求本质上是极其难以测试的。
仿真测试是改进传统代码和基于硬件的验证过程的有效方法。与任何类型的测试一样,模拟也有其局限性——通常需要解释需求,并且需要手工创建大量测试以获得对设计正确性的信心。在某些情况下,就像上面的示例需求一样,可能需要超出测试范围的额外置信级别。
万博1manbetxSimulink Design Verifier使您能够在建模环境中正式地捕获设计属性和功能需求。将设计属性建模与使用形式化方法的分析结合起来,可以帮助您改进设计,并揭示仅通过模拟难以发现的未预期功能。
仿真测试是改进传统代码和基于硬件的验证过程的有效方法。与任何类型的测试一样,模拟也有其局限性——通常需要解释需求,并且需要手工创建大量测试以获得对设计正确性的信心。在某些情况下,就像上面的示例需求一样,可能需要超出测试范围的额外置信级别。
万博1manbetxSimulink Design Verifier使您能够在建模环境中正式地捕获设计属性和功能需求。将设计属性建模与使用形式化方法的分析结合起来,可以帮助您改进设计,并揭示仅通过模拟难以发现的未预期功能。
注意:在R2万博1manbetx017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录日期:2009年10月1日
相关产品s manbetx 845
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。