金宝app仿真软件的需求

编写、管理和跟踪模型、生成的代码和测试用例的需求

金宝app仿真软件的需求允许您在Simulink中编写、分析和管理需求金宝app®.您可以创建具有自定义属性的富文本需求,并将它们链接到设计、代码和测试。可以从外部源导入需求,当需求发生变化时,您可以收到自动通知。您可以一起查看需求和设计,通过拖放建立链接,用需求内容注释图,分析需求可追溯性,以及在需求、设计、生成的代码和测试之间导航。

金宝appSimulink需求指示链接的需求、设计或测试何时发生更改。它计算需求的实现和验证状态,使您能够评估项目的完整性。可通过以下途径获得对行业标准的支持:金宝appIEC认证套件(适用于ISO 26262和IEC 61508)DO认证套件(用于DO-178)

开始:

在Simulink中编写和组织需求金宝app

在Simulink中使用富文本创建需求,并组织需求集。金宝app

在Simulink中捕获需求金宝app

需求及其基本原理可以用富文本描述,包括图像、编号列表和项目符号。其他属性,如ID、关键字、修订信息和注释,使您能够细化和详细描述您的需求。自定义属性允许您使用惟一的需求数据类型扩展需求。

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

跨多个模型管理您的所有需求

通过需求编辑器,您可以跨多个模型查看、创建和管理所有需求。它包括:

  • 需求浏览器组织需求层次结构
  • Links视图用于管理整个项目中的链接
  • 属性检查器来查看和编辑需求和链接的细节
  • 配置列显示和排序的自定义
  • 过滤大量需求的搜索工具
  • 生成文档需求的报告

一起使用需求和模型

编写、查看、组织和管理需求,同时执行设计活动。使用拖放跟踪设计需求,并确定建模环境中的实现差距。

需求、体系结构和设计的集成视图

需求透视图提供了内部的集成视图金宝app系统的作曲家Stateflow®您可以在其中查看、编写和组织需求,同时执行设计活动。

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

基于模型的系统工程支持金宝app

中关联体系结构模型元素系统的作曲家通过需求,评估体系结构的完整性并得出额外的需求

通过拖放建立可追溯性

您可以通过从需求浏览器中拖拽需求并将其放到Simulink或statflow模型对象中来创建需求和设计之间的链接。金宝app模型对象上出现一个徽章,以指示链接,并启用到链接需求的导航。您可以选择在模型图中显示需求及其连接器。

导入和同步外部需求

来自其他来源的需求,如IBM Rational DOORS、Microsoft Word或Microsoft Excel,可以导入为只读引用或在Simulink中进行进一步修改。金宝app您可以使用需求交换格式(requif)来导入和处理来自支持该格式的第三方工具的需求。金宝app在导入过程中,您可以控制从外部文档到Simulink Requirements的字段映射。金宝app您可以指定导入映射到自定义属性的字段,以匹配外部文档中的内容。同步操作维护与引用需求的一致性。如果发生需求更改,则会发出通知,让您评估更改的影响。

识别和响应变更

当需求发生变化时,重要的是要在整个团队之间进行沟通,以避免下游的错误。每个需求和链接都维护着它被修改时的修订历史。金宝appSimulink Requirements检测与模型关联的需求中的变更,包括那些从外部来源导入的,使您能够评估变更对设计的影响并采取适当的行动。您可以对需求集执行不同的操作,以查看需求中的更改。

当从外部文档导入的需求发生更改时,更改检测将向您发出警报。

跟踪需求到设计、编码和测试

在开发生命周期中提供了与其他工具的需求可跟踪性,包括用于从需求、设计、实现和测试进行双向导航的代码生成和测试工具。您可以将需求与测试用例、测试套件和测试序列链接在金宝app仿真软件测试,并访问来自Simulink模型或Test Manage金宝appr的链接。代码生成的嵌入式编码器®高密度脂蛋白编码器,或金宝app仿真软件PLC编码器可以从代码生成报告超链接到需求。这些链接以注释标签的形式出现在代码中。代码生成报告中的超链接提供了从代码到需求的直接导航。

您可以将Simulink模型元素链接到IBM中金宝app的需求并进行跟踪®理性的®®或IBM®理性的®®下一代。

DO认证套件(用于DO-178)IEC认证套件(适用于ISO 26262和IEC 61508),您可以生成一个可跟踪矩阵电子表格,显示从需求到模型到代码的双向可跟踪路径和文件信息。

需求、Simulink和statflow对象之间的可跟踪性,以及跨开发金宝app生命周期的测试工件之间的影响分析和文档。

跟踪基于模型的设计活动的状态

查看实现和验证状态

金宝appSimulink Requirements提供了Simulink中需求的实现和验证状态,以识别实现中的差距、缺失的需求或设计中的错误。实现和验证度量量化了在设计中已经实现并与测试用例相关联的需求的比例,以及通过的测试用例的比例。

这些可追溯性和验证度量量化了基于模型的设计中开发活动的完整性。状态度量在需求浏览器中显示为一列,颜色表示状态。具有子需求的需求只有在其所有子需求都得到实现或验证后才能完全实现或验证。将鼠标悬停在状态上会显示需求及其子需求的累积度量。如果状态中缺少链接,则表示需要在何处完成实施或验证。

理由可以与未实现或未在模型中验证的需求联系起来。例如,可以将非功能性需求链接到一个理由,以从状态中筛选它。一组公共的理由可以在模型中共享和重用。

查看实施状态和验证状态,以了解项目状态。

生成需求报告

当需求发生变化时,重要的是要在整个团队之间进行沟通,以避免下游的错误。每个需求和链接都维护着它被修改时的修订历史。金宝appSimulink Requirements检测与模型关联的需求中的变更,包括那些从外部来源导入的,使您能够评估变更对设计的影响并采取适当的行动。您可以对需求集执行不同的操作,以查看需求中的更改。

最新的特性

追溯矩阵

以矩阵形式回顾和分析需求、设计或测试之间的联系

外部验证结果

在验证状态中包括来自外部来源的结果

IBM Rational DOORS下一代集成

查看和同步DOORS下一代的需求

系统作曲家集成

金宝app支持与端口连接

多个要求和链接选择

使用编辑器多选择批量删除和链接创建

编程界面的改进

使用新方法来创建、查找和导航链接

看到发行说明有关这些特性和相应功能的详细信息。