金宝appSimulink要求

对模型,生成的代码和测试用例的作者,管理和跟踪要求

金宝appSimulink要求允许您在Simulink中创作,分析和管理要求金宝app®.您可以使用自定义属性创建丰富的文本要求,并将其链接到设计,代码和测试。要求可以从外部源导入,并且在要求更改时,您可以接收自动通知。您可以将要求和设计一起查看,建立带有拖放的链接,用需求内容的注释图,分析要求可追溯性,并在要求,设计,生成的代码和测试之间导航。

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

开始:

在Simulink中作者和组织要求金宝app

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

在Simulink中捕获要求金宝app

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

要求编辑器,用于创建,编辑和组织您的要求。

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

要求编辑器允许您在多个模型中查看,创建和管理您的所有要求。这包括:

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

一起使用要求和模型

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

需求,架构和设计的综合图

要求透视提供综合视图金宝app系统的作曲家要么Stateflow®您可以在哪里查看,作者和组织要求,同时也执行您的设计活动。

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

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

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

用拖放建立可追溯性

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

导入和同步外部要求

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

识别和响应变更

当需求发生变化时,重要的是,它在团队中传达以避免下游错误。每个要求和链接都维护修改后的修订历史记录。金宝appSimulink要求检测与模型相关的要求的变化,包括从外部源导入的模型,使您可以评估更改对您的设计并采取适当行动的影响。您可以对设置设置以查看要求的更改来执行差异操作。

更改检测以提醒您当从外部文档导入的要求更改时。

追踪设计,代码和测试的要求

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

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

DO认证套件(用于DO-178)IEC认证套件(对于ISO 26262和IEC 61508),您可以生成可追溯矩阵电子表格,显示到代码型双向跟踪性路径和文件信息。

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

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

查看实现和验证状态

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

这些可追溯性和验证指标量化了基于模型的设计中的开发活动的完整性。状态指标显示为具有颜色指示状态的颜色的要求浏览器中的列。在实施或验证所有子项要求之前,不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接,则指示需要完成的实现或验证。

理由可以链接到模型中未实施或验证的要求。例如,无功能的要求可以链接到解释以将其从状态过滤。可以在模型中共享和重复使用一组常见的理由。

查看实现和验证状态的状态,以获得对项目状态的洞察力。

生成要求报告

当需求发生变化时,重要的是,它在团队中传达以避免下游错误。每个要求和链接都维护修改后的修订历史记录。金宝appSimulink要求检测与模型相关的要求的变化,包括从外部源导入的模型,使您可以评估更改对您的设计并采取适当行动的影响。您可以对设置设置以查看要求的更改来执行差异操作。

最新特色

可追溯性矩阵

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

外部验证结果

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

IBM Rational Doors下一代集成

从DOORS下一代查看和同步要求

系统作曲家集成

金宝app支持与端口连接

多种要求和链接选择

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

Programmatic接口增强

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

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