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