金宝appSimulink要求
对模型,生成的代码和测试用例的作者,管理和跟踪要求
金宝appSimulink Requirements™允许您在Simulink中编写、分析和管理需求®.您可以创建具有自定义属性的富文本需求,并将它们链接到设计、代码和测试。可以从外部源导入需求,当需求发生变化时,您可以收到自动通知。您可以一起查看需求和设计,通过拖放建立链接,用需求内容注释图,分析需求可追溯性,以及在需求、设计、生成的代码和测试之间导航。
金宝appSimulink要求指示在链接要求,设计或测试中发生更改时。它可以计算您的要求的实现和验证状态,使您能够评估项目完整性。金宝app通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和DO认证套件(用于DO-178).
开始:
获取需求
要求及其律师可以用富文本描述,包括图像,编号列表和子弹。诸如ID,关键字,修订信息和评论之类的附加属性使您能够详细说明您的要求。您可以创建自己的自定义属性,以进一步详细要求您的唯一要求数据类型。
管理整个项目的所有需求
通过需求编辑器,您可以查看、创建和管理项目中的所有需求。它包括:
- 需求浏览器组织需求层次结构
- Links视图用于管理整个项目中的链接
- 属性检查器来查看和编辑需求和链接的细节
- 配置列显示和排序的自定义
- 过滤大量需求的搜索工具
- 生成文档需求的报告
需求,架构和设计的综合图
需求透视图提供了内部的集成视图金宝app,系统的作曲家或者Stateflow®您可以在哪里查看,作者和组织要求,同时也执行您的设计活动。
基于模型的系统工程支持金宝app
在开发建筑模型时系统的作曲家,您可以使用Simulink要求直接捕获,查看和管理系统要求。金宝app系统要求可以链接到不同的架构模型元素,以在需求和架构之间建立数字线程。可以通过需求覆盖分析分析架构的完整性。在分析架构模型的同时,可以派生额外的要求和链接到模型。
来自其他来源的需求,如IBM Rational DOORS、Microsoft Word或Microsoft Excel,可以导入为只读引用或在Simulink中进行进一步修改。金宝app您可以使用需求交换格式(requif)来导入和处理第三方需求管理工具的需求,这些工具支持这种格式,比如Siemens Polarion金宝app®ALM™或Jama Connect™。在导入过程中,您可以控制从外部文档到Simulink Requirements的字段映射。金宝app您可以指定导入映射到自定义属性的字段,以匹配外部文档中的内容。同步操作维护与引用需求的一致性。如果发生需求更改,则会发出通知,让您评估更改的影响。
识别和响应变更
当需求发生变化时,重要的是要在整个团队之间进行沟通,以避免下游的错误。每个需求和链接都维护其被修改时的修订历史。金宝appSimulink Requirements检测与模型关联的需求中的变更,包括那些从外部来源导入的,使您能够评估变更对设计的影响并采取适当的行动。您可以对需求集执行不同的操作,以查看需求中的更改。
通过创建到模型元素、MATLAB代码、数据字典、statflow元素、System Composer架构模型和其他需求的需求链接,来建立一个数字线程。您可以将需求和测试用例、测试工具、测试套件和测试序列联系起来金宝app仿真软件测试™,并访问来自Simulink模型或Test Manage金宝appr的链接。代码生成的嵌入式编码器®,高密度脂蛋白编码器™,或金宝app仿真软件PLC编码器™可以从代码生成报告超链接到需求。这些链接以注释标签的形式出现在代码中。代码生成报告中的超链接提供了从代码到需求的直接导航。
您可以将Simulink模型元素链接到IBM中金宝app的需求并进行跟踪®理性的®门®或IBM®理性的®门®下一代。
与DO认证套件(用于DO-178和DO-254)和IEC认证套件(对于ISO 26262和IEC 61508),您可以生成一个可跟踪矩阵电子表格,显示从需求到模型到代码的双向可跟踪路径和文件信息。
查看实现和验证状态
金宝appSimulink要求提供了要求的实现和验证状态,以识别实施中的实施,缺少要求或错误中的差距。实施和验证指标量化了设计中实施的要求的比例,并与测试用例相关联,以及已通过的测试用例的比例。
需求覆盖率指标在需求浏览器中显示为一列,用颜色表示状态。带有子需求的需求在所有子需求实现或验证后才会完全实现或验证。将鼠标悬停在状态上,将显示需求及其子需求的累积指标。如果在状态中有缺失的环节,它指示需要在哪里完成实现或验证。
理由可以链接到模型中未实施或验证的要求。例如,无功能的要求可以链接到解释以将其从状态过滤。可以在模型中共享和重复使用一组常见的理由。
需求跟踪矩阵
为了管理大量需求、模型和测试之间的联系,可跟踪矩阵在统一的矩阵视图中总结了可跟踪性。每个单元格显示工件之间的链接位置,以识别缝隙。使用筛选器,您可以确定视图的范围,以集中于感兴趣的特定项,以帮助管理大型数据集。您可以突出显示缺少链接的项,并查看带有需求更改的链接,以了解更改的影响。为了解决覆盖率中的差距,您可以在可跟踪矩阵中直接添加项目之间的链接。
生成要求报告
对于审查和文档,您可以创建一个可配置的报告,其中包括链接、更改信息以及实现和验证状态。与金宝app仿真软件报告生成器可以创建自定义报表。