Requirements Toolbox

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

您可以将需求链接到 MATLAB 代码，System Composer™ 或 Simulink 模型，以及测试。该工具箱分析可追溯性以确定实现或测试中的空缺。设计突出显示功能和追溯矩阵会概要显示多个工件之间哪里存在链接，并指导您填补空缺。当需求更改时，与其链接的工件会突出显示，您可以使用可追溯性图来确定受影响的上游和下游工件。从 Simulink 设计生成的代码包括代码注释，这些注释记录实现需求的位置以帮助进行审核。

您可以使用需求表来形式化需求并对其一致性、完整性和正确性进行分析。通过需求透视图，您可以与设计一起查看和管理需求。当与 Simulink 结合使用时，您可以通过简单的拖放操作创建到模块的链接。

通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178)，还可实现对行业标准的支持。

编写和组织需求

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

集成第三方需求工具 

从其他来源（例如 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 编辑器中突出显示可追溯性，以识别实现或测试中的空缺。

MATLAB Test

开发、管理、分析和测试 MATLAB 应用程序

MATLAB 测试管理器使您能够分组、保存和运行大规模自定义测试套件，从而帮助您组织和管理工程中的测试和结果。您可以使用行业标准的代码覆盖率度量来标识未经测试的代码路径。这些度量包括条件、决策和修正条件/决策覆盖率 (MC/DC) 等。持久测试结果使您能够只重新运行需要的测试来验证代码编辑，从而优化工作效率。您可以通过利用基于依存关系的测试选择、并行运行测试或在持续集成系统中运行测试来减少大型测试套件的测试执行时间。

您可以使用功能等效性测试方法来验证用 MATLAB Coder™ 和 MATLAB Compiler SDK™ 创建的交付物的预期行为。MATLAB Test 支持您通过追溯需求（使用 Requirements Toolbox™）来满足受监管应用的规范。IEC Certification Kit 提供对行业标准的支持（适用于 ISO® 26262、IEC 61508 和 IEC 62304）。

在 MATLAB 中度量代码覆盖率

度量测试对您的 MATLAB 应用程序或算法的覆盖率。从 MATLAB 中收集决策、条件和 MC/DC 覆盖率度量，以及语句和函数覆盖率度量。使用这些指标来评估测试的有效性和完整性，或证明行业法规合规性。

可视化 MATLAB 代码质量 

使用 MATLAB Test 质量控制板可视化和度量您的 MATLAB 代码的质量。该仪表板提供了静态代码分析和测试结果的聚合摘要视图，以及覆盖率和需求度量。

代码完整性的等效性测试

创建并运行背靠背等效性测试。根据 IEC® 62304 和 ISO 26262 建议比较 MATLAB 代码生成的结果与使用 MATLAB Coder 或 MATLAB Compiler SDK 生成的代码产生的结果。

管理大型测试套件

通过创建和运行自定义测试套件组织和管理工程的测试和测试结果。应用基于依存关系的测试方法，将测试工作重点放在代码的关键部分。使用持久测试结果来仅重新运行选定的部分测试，以验证代码编辑。

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

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

行业标准合规性

使用 IEC Certification Kit 中的工具鉴定交付物、证书和测试套件鉴定 MATLAB Test 及其他 MathWorks 代码生成和验证工具是否符合 ISO 26262、IEC 61508、EN 50128、ISO 25119 以及 IEC 62304 和 EN 50657 等相关功能安全标准。MATLAB Test 套件中包含 TÜV 南德提供的证书和评估报告。