金宝appSimulink的要求

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

金宝appSimulink的要求让你创作,分析和管理中的Simulink要求金宝app®。您可以创建自定义属性的富文本的要求,并将其链接到设计,编码和测试。需求可以从外部来源进口,而当需求改变时,您可以收到自动通知。您可以查看要求设计在一起,建立与拖放,符合要求的内容注释图表链接,分析需求跟踪,和需求,设计,生成的代码,和测试之间的导航。

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

入门:

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

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

在Simulink中捕获的需求金宝app

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

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

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

需求编辑器允许您跨多个模型查看、创建和管理所有的需求。它包括:

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

要求和模型一起工作

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

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

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

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

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

关联架构模型元素系统的作曲家对于需求,评估体系结构的完整性并派生出额外的需求

拖放建立溯源

您可以在需求和您的设计之间创建链接,方法是从需求浏览器中拖出一个需求,并将其放到Simulink或Stateflow模型对象上。金宝app一个标记出现在模型对象上,以指示一个链接,并允许导航到被链接的需求。您可以选择在面板的模型图上显示需求及其连接器。

导入和同步外部需求

从其他来源,比如IBM Rational DOORS,Microsoft Word或Microsoft Excel中的要求,可以导入为只读引用或内Simulink的进一步的修改。金宝app您可以使用需求交换格式(ReqIF由),以进口和工作与第三方工具支持该格式要求。金宝app在导入过程中,你可以控制从外部文档到Simulink需求领域的映射。金宝app您可以指定映射到自定义属性在外部文档中的内容相匹配进口领域。同步操作维护与引用的要求的一致性。如果发生需求变更,通知是考虑到让你评估变化的影响。

识别并响应更改

当需求变化,重要的是,它在整个团队中传达给下游避免错误。每个需求和链路维护,当它被修改的修订历史记录。金宝appSimulink中要求检测需求的变化挂钩的模型,其中包括来自外部来源进口,从而使您评估您的设计变化的影响,并采取适当的行动。您可以在一个需求上一套执行差分操作来查看需求的变化。

当从外部文件导入的需求发生变化的变化检测提醒您。

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

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

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

高级文书主任(DO-178)IEC认证套件(适用于ISO 26262和IEC 61508),可以生成表示要求对模型到代码双向追溯路径和文件信息的追溯矩阵电子表格。

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

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

查看实现和验证状态

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

这些可跟踪性和验证指标量化了基于模型的设计中开发活动的完整性。状态指标在requirements浏览器中显示为一列,用颜色表示状态。在所有子需求被实现或验证之前,带有子需求的需求不会被完全实现或验证。将鼠标悬停在状态上可以显示需求及其子需求的累积指标。如果状态中有缺失的链接,它指出需要在哪里完成实现或验证。

理由可以链接到未执行或在模型验证的要求。例如,一个非功能性需求可以链接到的理由,以从状态过滤。理的一个共同组可以共享和在模型中重新使用。

查看的实施和验证状态的状态来深入了解项目状态。

生成需求报告

当需求变化,重要的是,它在整个团队中传达给下游避免错误。每个需求和链路维护,当它被修改的修订历史记录。金宝appSimulink中要求检测需求的变化挂钩的模型,其中包括来自外部来源进口,从而使您评估您的设计变化的影响,并采取适当的行动。您可以在一个需求上一套执行差分操作来查看需求的变化。

最新功能

跟踪矩阵

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

外部验证结果

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

IBM的Rational DOORS下一代集成

从DOORS下一代搜索和同步的要求

系统构成集成

金宝app支持与端口连接

多重要求和选择相关链接

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

编程接口增强

用于创建,查找和导航链接的新方法

看到发布说明了解这些特性和相应功能的详细信息。