金宝app仿真软件的需求

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

金宝appSimulink Requirements™允许您在Simulink中编写、分析和管理需求®.您可以创建具有自定义属性的富文本需求,并将它们链接到设计、代码和测试。可以从外部源导入需求,当需求发生变化时,您可以收到自动通知。您可以一起查看需求和设计,通过拖放建立链接,用需求内容注释图,分析需求可追溯性,以及在需求、设计、生成的代码和测试之间导航。

金宝appSimulink要求指示在链接要求,设计或测试中发生更改时。它可以计算您的要求的实现和验证状态,使您能够评估项目完整性。金宝app通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)做资格套件(DO-178)

开始:

在Simulink中作者和组织要求金宝app

使用Rich Text创建Simulink内的要求,并金宝app在要求集中组织。

在Simulink中捕获需求金宝app

要求及其律师可以用富文本描述,包括图像,编号列表和子弹。诸如ID,关键字,修订信息和评论之类的附加属性使您能够详细说明您的要求。自定义属性允许您使用唯一要求数据类型扩展要求。

用于创建、编辑和组织需求的需求编辑器。

管理多种模型的所有要求

要求编辑器允许您在多个模型中查看,创建和管理您的所有要求。它包括:

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

一起使用需求和模型

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

需求,架构和设计的综合图

需求透视图提供了内部的集成视图金宝app系统作曲家或者州流程®您可以在哪里查看,作者和组织要求,同时也执行您的设计活动。

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

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

关联架构模型元素系统作曲家具有要求,评估架构的完整性并获得额外要求

通过拖放建立可追溯性

您可以通过从需求浏览器拖动要求并在Simulink或StateFlow模型对象中删除它来创建需求和设计之间的链接。金宝app模型对象上出现徽章以指示链接并启用导航到链接的要求。您可以选择从徽章的模型图上显示要求及其连接器。

导入和同步外部要求

来自其他来源的需求,如IBM Rational DOORS、Microsoft Word或Microsoft Excel,可以导入为只读引用或在Simulink中进行进一步修改。金宝app您可以使用需求交换格式(requif)来导入和处理来自支持该格式的第三方工具的需求。金宝app在导入过程中,您可以控制从外部文档到Simulink Requirements的字段映射。金宝app您可以指定导入映射到自定义属性的字段,以匹配外部文档中的内容。同步操作维护与引用需求的一致性。如果发生需求更改,则会发出通知,让您评估更改的影响。

识别和响应变更

当需求发生变化时,重要的是要在整个团队之间进行沟通,以避免下游的错误。每个需求和链接都维护着它被修改时的修订历史。金宝appSimulink Requirements检测与模型关联的需求中的变更,包括那些从外部来源导入的,使您能够评估变更对设计的影响并采取适当的行动。您可以对需求集执行不同的操作,以查看需求中的更改。

当从外部文档导入的需求发生更改时,更改检测将向您发出警报。

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

提供了具有开发生命周期中其他工具的需求可追溯性,包括从需求,设计,实现和测试的双向导航的代码生成和测试工具。您可以链接要求和测试案例,测试套件和测试序列金宝app仿真软件测试™,以及来自Simulink模型或测试管理器的访问链接。金宝app代码生成嵌入式编码器®HDL编码器™或者金宝app仿真软件PLC编码器™可以从代码生成报告的超链接到要求。这些链接作为代码中的注释标签呈现。代码生成报告中的超链接提供从代码到要求的直接导航。

您可以将Simulink模型元素链接到IBM中金宝app的要求®理性®®或IBM®理性®®下一代。

做资格套件(对于DO-178和DO-254)IEC认证套件(对于ISO 26262和IEC 61508),您可以生成一个可跟踪矩阵电子表格,显示从需求到模型到代码的双向可跟踪路径和文件信息。

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

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

查看实现和验证状态

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

这些可追溯性和验证指标量化了基于模型的设计中的开发活动的完整性。状态指标显示为具有颜色指示状态的颜色的要求浏览器中的列。在实施或验证所有子项要求之前,不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接,则指示需要完成的实现或验证。

理由可以链接到模型中未实施或验证的要求。例如,无功能的要求可以链接到解释以将其从状态过滤。可以在模型中共享和重复使用一组常见的理由。

查看实现和验证状态的状态,以获得对项目状态的洞察力。

生成要求报告

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

最新的特性

可追溯性矩阵

单个视图管理多个链接和跟踪要求更改

使用MATLAB单元测试框架验证状态

在需求编辑器中查看基于matlab的Simulink测试的结金宝app果

链接的自定义属性

以编程方式或在需求编辑器中使用自定义属性的链接集和链接

变更问题管理

在需求编辑器或可追溯矩阵中一次性清除多个需求变更问题

系统作曲家集成

从任何视图链接到架构模型的组件和端口的要求

IBM Rational DOORS下一代集成

查看和同步DOORS下一代的需求

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