金宝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中需求的实现和验证状态,以识别实现中的差距、缺失的需求或设计中的错误。实现和验证度量量化了在设计中已经实现并与测试用例相关联的需求的比例,以及已经通过的测试用例的比例。

这些追溯和核实的指标量化基于模型的设计开发活动的完整性。状态度量被显示为在浏览器的要求与指示状态颜色的列。与孩子的需求要求未完全实现或验证,直到其所有子需求实现或验证。将鼠标悬停在状态显示需求及其子需求累计度量。如果在状态缺失环节,它指示其中要完成的执行或验证的需求。

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

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

生成需求报告

对于检查和文档,您可以创建一个可配置的报告,其中包括链接、更改信息以及实现和验证状态。与金宝app仿真软件报告生成器可以创建定制的报告。

最新功能

跟踪矩阵

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

外部验证结果

包括在验证状态的外部信号源得到

IBM的Rational DOORS下一代集成

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

系统构成集成

金宝app支持连接端口

多重要求和选择相关链接

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

编程接口增强

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

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