Requirements Toolbox

 

Requirements Toolbox

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

编写和组织需求

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

集成第三方需求工具

从其他来源(例如 IBM® DOORS®、IBM DOORS Next、Microsoft® Word 或 Microsoft Excel®)导入和查看需求。使用需求交换格式 (ReqIF™) 与支持该格式的工具(如 Siemens Polarion® ALM™ 或 Jama Connect™)交换需求。

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

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

对形式化需求建模

在 Simulink 中,通过 Requirements Table 模块使用逻辑表达式指定形式化需求 (3:53)。使用仿真来验证这些形式化需求,并执行正确性、一致性和完整性分析。将形式化需求绑定到设计模型以验证合规性。使用 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 和其他附加产品。