requirements toolbox™(前身为 simulink requirements™) 让您使用 matlab® 或 simulink® 编写、链接和验证需求。您可以使用具有自定义属性的富文本来创建需求,或从需求管理工具中导入需求。
您可以将需求链接到 matlab 代码,system composer™ 或 simulink 模型,以及测试。该工具箱分析可追溯性以确定实现或测试中的空缺。设计突出显示功能和追溯矩阵会概要显示多个工件之间哪里存在链接,并指导您填补空缺。当需求更改时,与其链接的工件会突出显示,您可以使用可追溯性图来确定受影响的上游和下游工件。从 simulink 设计生成的代码包括代码注释,这些注释记录实现需求的位置以帮助进行审核。
您可以使用需求表来形式化需求并对其一致性、完整性和正确性进行分析。通过需求透视图,您可以与设计一起查看和管理需求。当与 simulink 结合使用时,您可以通过简单的拖放操作创建到模块的链接。
通过 iec certification kit (for iso 26262 and iec 61508) 和 do qualification kit (for do-178),还可实现对行业标准的支持。
从需求追溯到设计、代码和测试
创建一个可将需求、模型元素、matlab 代码、数据字典、测试用例和测试框架链接起来的数字线索。追溯到外部需求工具。在 embedded coder™ 的代码生成报告中包括链接。
文档 |
对形式化需求建模
在 simulink 中,。使用仿真来验证这些形式化需求,并执行正确性、一致性和完整性分析。将形式化需求绑定到设计模型以验证合规性。使用 simulink design verifier 生成链接到相应需求的测试。
分析需求覆盖率
确定实现和测试中的空缺、缺失的需求和设计错误。使用审核大量需求、模型和测试之间的链接;然后,通过添加链接来填补空缺。
从需求追溯到 matlab 代码和测试
创建、管理和导航 matlab 代码中的各代码行、外部文档中的需求信息和 matlab test 中的测试用例之间的可追溯性链接。在 matlab 编辑器中突出显示可追溯性,以识别实现或测试中的空缺。
文档 |
产品资源:
“在以前的项目中,我们得手动进行需求覆盖率分析,而且结果也是基于主观评估。simulink、simulink coverage 和 requirements toolbox 使我们能够自动进行这种分析,并提供客观的覆盖率指标,这有助于将认证的需求审核时间缩短高达 30%。”
massimiliano campagnoli,alenia aermacchi