万博1manbetxSimulink的要求

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

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

万博1manbetxSimulink的需求发生更改时链接的需求,设计或测试指示。它可以计算你的要求实施和验证状态,使您能够评估项目的完整性。万博1manbetx对行业标准的支持可通过IEC认证工具包(用于ISO 26262和IEC 61508)DO资格认证套件(DO-178)

入门:

笔者并在Simulink组织需求万博1manbetx

使用富文本在Simulink中创建需求,并在需求集中进万博1manbetx行组织。

在Simulink中捕获的需求万博1manbetx

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

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

跨多个模型管理所有需求

要求编辑器,可以查看,创建和管理跨多个模型您的所有需求。这包括:

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

要求和模型一起工作

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

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

Requirements透视图提供内的集成视图万博1manbetx,系统的作曲家要么Stateflow®在这里你可以看到,作者和组织的要求,同时还执行你的设计活动。

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

基于模型的系统工程支持万博1manbetx

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

拖放建立溯源

您可以通过从需求浏览器中拖动需求并将其放到Simulink或Stateflow模型对象上,从而在需求和您的设计之间创建链接。万博1manbetx在模型对象上出现一个标记来指示一个链接,并允许导航到被链接的需求。您可以选择在面板的模型图上显示需求及其连接器。

导入和同步外部需求

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

识别和应对变化

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

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

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

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

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

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

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

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

查看实现和验证状态

万博1manbetxSimulink需求在Simulink中提供需求的实现和验证状态,以识别实现中的缺陷、缺少的需求或设计中的错误。实现和验证量度量化了已经在设计中实现的与测试用例相关的需求的比例,以及已经通过的测试用例的比例。

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

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

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

生成需求报告

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

最新功能

交换链接的第三方工具

通过ReqIF由第三方工具分享链接

可追溯性DOORS 9个基线

从导航模式,在IBM的Rational DOORS基准要求9

Web View中的需求透视图

查看和导航导出到Web View的需求和链接

链接源和目标的API

使用编程接口执行链接源和目标的修改

外部源文件更新通知

收到通知,从外部文档更新变化

需求可追溯性在覆盖率报告中

在Simulink覆盖报告中审查链接的需求和测试万博1manbetx

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