万博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

拖放建立溯源

您可以创建要求和设计从需求拖动浏览器的要求,并放弃它Simulink的或Stateflow的模型对象之间的链接。万博1manbetx甲徽章模型对象上显示以指示链路并且能够导航到链接的需求。您可以选择显示来自徽章的模型图上的要求,它的连接器。

导入和同步外部需求

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

识别和应对变化

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

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

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

需求追溯,在开发周期的其他工具提供,包括代码生成和测试工具从需求双向导航,设计,实施和测试。您可以将需求和测试用例,测试套件和测试序列万博1manbetxSimulink的测试从Simulink模型或测试管理,和访问链接。万博1manbetx从生成的代码嵌入式编码®HDL编码器, 要么万博1manbetxSimulink的PLC编码器可以从的要求代码生成报告中的超链接。这些链接显示为代码注释标签。在代码生成报告的链接提供了直接的导航从代码的要求。

您可以链接和微量元素Simulink模型的元素万博1manbetx在IBM的要求®合理的®®或IBM®合理的®®下一代。

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

要求,Simulink和Stateflow的对象,测试工件在整个开发生万博1manbetx命周期的影响分析和文档之间的可追溯性。

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

查看执行和核查情况

万博1manbetxSimulink中要求提供的内Simulink的要求,实施和验证状态,以确定在设计执行方面的差距,遗漏的需求,或错误。实现和验证指标量化已在设计中实现,并与测试用例相关要求的比例,以及测试用例已经通过比例。

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

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

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

生成需求报告

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

最新功能

跟踪矩阵

以矩阵形式之间的要求,设计或测试评价和分析链接

外部验证结果

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

IBM的Rational DOORS下一代集成

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

系统构成集成

万博1manbetx支持与端口的连接

多重要求和选择相关链接

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

编程接口增强

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

看到发行说明对任何这些特征和对应的功能的详细说明。