requirements toolbox 产品信息 -凯发k8网页登录

 

编写、链接和验证设计和测试的需求

编写和组织需求

使用富文本、自定义属性和关键字来定义需求。组织需求的层次结构,以指定系统级或较低级别的功能。

集成第三方需求工具

从其他来源(例如 ibm® doors®、ibm doors next、microsoft® word 或 microsoft excel®)导入和查看需求。使用需求交换格式 (reqif™) 与支持该格式的工具(如 siemens polarion® alm™ 或 jama connect™)交换需求。

从需求追溯到设计、代码和测试

创建一个可将需求、模型元素、matlab 代码、数据字典、测试用例和测试框架链接起来的数字线索。追溯到外部需求工具。在 embedded coder™ 的代码生成报告中包括链接。

文档 |

对形式化需求建模

在 simulink 中,。使用仿真来验证这些形式化需求,并执行正确性、一致性和完整性分析。将形式化需求绑定到设计模型以验证合规性。使用 simulink design verifier 生成链接到相应需求的测试。

一起处理需求和设计

使用需求透视图直接在 simulink、system composer 或 stateflow® 编辑器中查看、编写和组织需求。在不修改模型的情况下,通过拖放来创建链接,使用标记来查看模型中哪里有链接,以及用需求对图进行注释。

分析需求覆盖率

确定实现和测试中的空缺、缺失的需求和设计错误。使用审核大量需求、模型和测试之间的链接;然后,通过添加链接来填补空缺。

标识更改的影响

通过查看突出显示的链接元素,了解 simulink test™ 中需求或测试用例更改的影响。创建一个可追溯性图,以可视化和导航到链接的项目。

文档 |

生成需求报告

创建可配置的报告,其中包括链接、更改信息以及实现和验证状态。将报告用于设计审核或文档编写。

文档 |

从需求追溯到 matlab 代码和测试

创建、管理和导航 matlab 代码中的各代码行、外部文档中的需求信息和 matlab test 中的测试用例之间的可追溯性链接。在 matlab 编辑器中突出显示可追溯性,以识别实现或测试中的空缺。

文档 |

“在以前的项目中,我们得手动进行需求覆盖率分析,而且结果也是基于主观评估。simulink、simulink coverage 和 requirements toolbox 使我们能够自动进行这种分析,并提供客观的覆盖率指标,这有助于将认证的需求审核时间缩短高达 30%。”

massimiliano campagnoli,alenia aermacchi

获取免费试用版

30 天探索触手可及。


准备购买?

获取报价并了解相关产品。

您是学生吗?

您的学校可能已拥有 campus-wide license 并允许您直接使用 matlab、simulink 和其他附加产品。

网站地图