想一想描述不需要的功能的需求,比如“反推装置在飞行中不应展开”。什么样的测试可以验证某些事情永远不会发生?文本需求容易被误解,有些需求本质上极难测试。
模拟测试是改进传统的基于代码和硬件的验证过程的一种行之有效的方法。与任何类型的测试一样,模拟也有其局限性——通常需要解释需求,为了获得对设计正确性的信心,需要手动创建大量测试。在某些情况下,如示例中的要求,可能需要超出测试范围的额外置信水平。
金宝appSimulink Design Verifier使您能够在建模环境中正式捕获设计属性和功能需求。使用形式化方法对设计属性进行建模和分析有助于改进设计,并揭示仅通过模拟难以发现的意外功能。
注:Simu金宝applink验证和确认转换为R2017b中的Simulink检查、Simulink覆盖范围和Simulink要求。