Simulink Requirements

 

Simulink Requirements

编写需求、管理需求并将需求追溯到模型、生成的代码和测试用例

开始:

编写和组织需求

使用富文本格式创建需求、指定属性并通过需求集进行组织。

捕获需求

使用包含图像、编号列表和项目符号的富文本描述需求及其理由。使用其他属性(如 ID、关键字、修订信息和注释)完善和细化您的需求。您可以创建自定义属性,使用您特有的需求数据类型对需求进一步细化。

用于创建、编辑和组织需求的需求编辑器。

跨项目管理所有需求

利用需求编辑器,您可以跨项目查看、创建和管理所有需求。它包括:

  • 需求浏览器,用于组织需求的层次结构
  • 链接视图,用于管理整个工程内的链接
  • 属性检查器,用于查看和编辑需求和链接详细信息
  • 自定义项,用于配置列的显示和排序
  • 搜索工具,用于筛选大型需求集
  • 报告生成,用于需求的文档记录

同时处理需求和模型

在编写、查看、组织和管理需求的同时执行设计活动。  通过拖放操作轻松从需求追溯到设计,并在建模环境中识别实现中的缺口。

需求、架构和设计的集成视图

需求透视图在 SimulinkSystem Composer 或 Stateflow® 内提供了一个集成的视图,您可以在其中查看、编写和组织需求,同时还执行设计活动。

需求透视图,用于在 Simulink 开发环境中管理需求。

基于模型的系统工程支持

System Composer 中开发架构模型时,您可以使用 Simulink Requirements 直接捕获、查看和管理系统需求。可以将系统需求链接到不同的架构模型元素,在需求和架构之间建立数字线索。通过进行需求覆盖率分析,可以分析架构的完整性。分析架构模型时,可以派生出附加需求并与模型链接起来。

通过拖放操作建立可追溯性

您可以在需求和设计之间建立链接,只需从需求浏览器中直接将需求拖放到 System Composer、Simulink 或 Stateflow 模型对象上即可。模型对象上将显示一个标记,表示存在链接,并支持导航到所链接的需求。您可以通过标记选择在模型图上显示需求及其连接器。

导入和同步外部需求

您可以将来自外部源(如 IBM Rational DOORS、Microsoft Word 或 Microsoft Excel)的需求作为只读参考导入,也可在 Simulink 中对其作进一步修改。您可以使用需求交换格式 (ReqIF),从支持该格式的第三方需求管理工具(如 Siemens Polarion® ALM™ 或 Jama Connect™)中导入需求并进行处理。在导入期间,您可以控制从外部文档到 Simulink Requirements 的字段映射。您可以指定将导入字段映射到自定义属性,以匹配外部文档中的内容。同步操作可确保与参考需求的一致性。如果发生需求变更,您将收到通知,并可评估变更带来的影响。

查看来自其他工具的需求,并使用 ReqIF 查看其他工具中的更新和链接

对变更进行识别和响应

当需求发生变更时,一定要传达到整个团队,以避免出现下游错误。当需求发生变更时,每个需求和链接都会保留修订历史记录。Simulink Requirements 检测链接到模型的需求(包括从外部源导入的需求)发生的变更,从而帮助您评估变更对设计的影响并采取适当的措施。您可以基于需求集执行差异比较,以查看需求变更。

从外部文档导入的需求发生变更时,变更检测功能将向您发出提醒。

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

将需求链接到模型元素、MATLAB 代码、数据字典、Stateflow 元素、System Composer 架构模型和其他需求,建立数字线索。您可以在 Simulink Test™ 中将需求链接到测试用例、测试框架、测试套件和测试序列,然后在 Simulink 模型或测试管理器中访问这些链接。对于从 Embedded Coder®HDL Coder™Simulink PLC Coder™ 生成的代码,则由代码生成报告超链接至需求。这些链接在代码中以注释标签的形式呈现。代码生成报告中的超链接提供了从代码到需求的直接导航。

您可以在 IBM® Rational® DOORS® 或 IBM® Rational® DOORS® Next Generation 中将 Simulink 模型元素链接到需求,并通过链接进行追溯。

利用 DO Qualification Kit (for DO-178 and DO-254)IEC Certification Kit (for ISO 26262 and IEC 61508),您可以生成追溯矩阵电子表格,显示需求-模型-代码之间的双向可追溯性路径和文件信息。

使用 System Composer、Simulink、Stateflow、MATLAB 代码和测试工件跟踪需求,以进行影响分析和文档记录。

追溯基于模型的设计活动的状态

查看实现和验证状态

您可以通过 Simulink Requirements 查看需求的实现和验证状态,以识别实现中的缺口、缺失的需求或设计中的错误。实现和验证指标能够量化反映已在设计中实现的、与测试用例相关的需求的比例,以及已经通过的测试用例的比例。

需求覆盖率指标在需求浏览器中显示为一列,并通过颜色指示状态。对于包含子需求的需求,只有在所有子需求都已实现或验证之后,才能完全实现或验证。将鼠标悬停在状态上可显示需求及其子需求的累积指标。如果状态中有缺失链接,则表示该处需要完成实现或验证。

理由可以链接到模型中尚未实现或验证的需求。例如,您可以将某一非功能性需求链接到某一理由,以将其从状态中筛去。一组通用的理由可在模型内共享和重用。

查看实现和验证的状态,以了解工程状态。

需求追溯矩阵

追溯矩阵利用一个整合的矩阵视图对可追溯性进行了汇总,以便管理大量需求、模型和测试之间的链接。  每个单元格显示工件之间存在链接的位置,以识别缺口。利用筛选器,可以将视图范围集中到您感兴趣的特定项目上,帮助您管理大量数据。您可以突出显示缺失链接的项目,并查看需求发生变更的链接,以理解变更所造成的影响。要解决覆盖率缺口,您可以通过追溯矩阵直接在项目之间添加链接。

使用追溯矩阵,在一个视图中管理多个链接并跟踪需求变更

生成需求报告

为了便于审核和文档记录,您可以创建一个可配置的报告,在其中包含链接、变更信息以及实现和验证状态。使用 Simulink Report Generator,可以创建自定义报告。