想想那些描述不需要的功能的需求,比如“在飞行中不能部署反推器”。什么样的测试可以证明某件事永远不会发生?文本需求很容易被误解,而且有些需求本质上非常难以测试。
模拟测试是改进传统代码和基于硬件的验证过程的一种行之有效的方法。与任何类型的测试一样,模拟也有其局限性——通常需要解释需求,并且为了获得对设计正确性的信心,需要手工创建大量的测试。在某些情况下,例如在示例中,可能需要超出测试的额外置信级别的需求。
万博1manbetxSimulink Design Verifier使您能够正式捕获建模环境中的设计属性和功能需求。对设计属性进行建模,并使用形式化方法进行分析,可以帮助您改进设计,并揭示仅通过模拟难以发现的未预料到的功能。
注:在R20万博1manbetx17b中,Simulink验证和验证过渡到Simulink检查、Simulink覆盖和Simulink需求。