认为需求描述不需要的功能,如“反推装置不得部署在飞行。“什么样的测试可以验证的东西永远不会发生的?原文需求容易误解,有些需求是天生很难测试。
测试仿真证明方法是改进传统的代码和基于硬件的验证流程。与任何类型的测试,模拟有其局限性,需求往往需要解释,并获得信心的设计大量的正确性测试需要手工创建。在某些情况下,比如在上面的例子要求可能需要额外的信心水平,超越测试。
万博1manbetx仿真软件设计验证器允许您捕获设计属性和功能需求建模环境。建模设计属性一起分析使用正式的方法可以帮助你提高你的设计以及揭示意外的功能,很难发现单靠模拟。
注意:仿真软万博1manbetx件验证和确认转换到仿真软件检查,仿真软件的覆盖率和需求在R2017b工具箱。
