万博1manbetxSimulink要求

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

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

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

开始:

作者和组织要求

使用Rich Text,指定属性和组织要求组创建需求。

捕获要求

需求及其原理可以用包含图像、编号列表和项目符号的富文本来描述。其他属性,如ID、关键字、修订信息和注释,使您能够细化和详细说明您的需求。您可以创建自己的自定义属性,以进一步详细说明您的独特需求数据类型的需求。

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

管理对项目的所有要求

要求编辑器允许您在项目中查看,创建和管理您的所有需求。这包括:

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

一起使用要求和模型

作者,查看,组织和管理要求,同时还执行设计活动。跟踪要求使用拖放和删除和识别建模环境中实现中的空白。

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

要求透视提供综合视图万博1manbetx系统作曲家州流程®在这里,您可以查看、编写和组织需求,同时也可以执行您的设计活动。

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

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

在开发体系结构模型时系统作曲家,您可以使用Simulink requirements直接捕获、查看和管理系统需求。万博1manbetx系统需求可以链接到不同的体系结构模型元素,以在需求和体系结构之间建立数字线程。体系结构的完整性可以通过需求覆盖率分析进行分析。在分析体系结构模型时,可以派生出附加需求并链接到模型。

用拖放建立可追溯性

您可以通过从需求浏览器拖动要求并将其丢弃在系统编写器,Simulink或StateFlow模型对象中来创建需求和设计之间的链接。万博1manbetx模型对象上出现徽章以指示链接并启用导航到链接的要求。您可以选择从徽章的模型图上显示要求及其连接器。

导入和同步外部需求

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

从其他工具查看需求,并使用ReqIF查看其他工具中的更新和链接

识别并响应变化

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

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

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

通过创建需求链接到模型元素,MATLAB代码,数据词典,emoteFlow元素,系统作曲家架构模型以及其他要求来建立数字线程。您可以链接要求和测试用例,测试线束,测试套件和测试序列万博1manbetxSimulink Test™,以及来自Simulink模型或测试管理器的访问链接。万博1manbetx代码生成嵌入式编码器®HDL编码器™, 或者万博1manbetxSimulink PLC编码器™可以从代码生成报告的超链接到要求。这些链接作为代码中的注释标签呈现。代码生成报告中的超链接提供从代码到要求的直接导航。

您可以将Simulink模型元素链接到IBM中万博1manbetx的要求®合理的®®或IBM.®合理的®®下一代。

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

跟踪系统编写器,Simulink,StateFlow,MATLAB代码和用于影响分万博1manbetx析和文档的测试工件。

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

查看实施和验证状态

万博1manbetxSimulink要求提供了要求的实现和验证状态,以识别实施中的实施,缺少要求或错误中的差距。实施和验证指标量化了设计中实施的要求的比例,并与测试用例相关联,以及已通过的测试用例的比例。

要求覆盖度量指标显示为具有颜色指示状态的颜色的需求浏览器中的列。在实施或验证所有子项要求之前,不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接,则指示需要完成的实现或验证。

论证可以链接到模型中没有实现或验证的需求。例如,可以将非功能性需求链接到一个理由,以便从状态中过滤它。一组公共的理由可以在模型中共享和重用。

查看执行状态和验证状态,了解项目状态。

要求可追溯性矩阵

要在大量需求,模型和测试之间管理链接,可跟踪性矩阵总结了统一矩阵视图中的可追溯性。每个单元格显示在伪像之间的链接,以识别间隙。使用过滤器,您可以将视图视图集中在特定的感兴趣项目上,以帮助管理大型数据。您可以突出显示缺少链接的项目,并查看具有要求更改的链接以了解更改的影响。要解决覆盖范围内的空白,您可以在可跟踪性矩阵中直接添加项目之间的链接。

使用可追溯性矩阵管理单个链接和跟踪要求的单个视图中的更改

生成需求报告

有关审阅和文档,您可以创建一个可配置的报告,其中包含链接,更改信息和实现和验证状态。和万博1manbetxSimulink报告生成器可以创建自定义报告。