考虑描述不需要的功能的要求,例如“推力反向器在飞行中不得部署”。什么样的测试可以验证一些永远不会发生的东西吗?文本要求易于误解,并且一些要求是自然极难测试。
在仿真中的测试是一种改进传统代码和基于硬件的验证过程的经过验证的方法。与任何类型的测试一样,模拟具有其限制 - 要求通常需要解释,并在设计方面的正确性方面获得置信度,需要用手创建大量的测试。在某些情况下,如在示例要求中,可能需要超出测试的额外置信度。
万博1manbetxSimulink设计验证程序使您可以在建模环境中正式捕获设计属性和功能要求。使用正式方法将设计属性与分析一起帮助您提高您的设计,并揭示难以单独拆除模拟的意外功能。
注意:Sim万博1manbetxulink验证和验证转换为R2017B中的Simulink Check,Simulink Coverage和Simulink要求。