万博1manbetx模拟链路要求
编写、管理和跟踪模型、生成的代码和测试用例的需求
万博1manbetxSimulink Requiremential™可让您在Simulink内创作,分析和管理要求®.您可以使用自定义属性创建丰富的文本要求,并将其链接到设计,代码和测试。要求可以从外部源导入,并且在要求更改时,您可以接收自动通知。您可以将要求和设计一起查看,建立带有拖放的链接,用需求内容的注释图,分析要求可追溯性,并在要求,设计,生成的代码和测试之间导航。
万博1manbetxSimulink需求指示链接的需求、设计或测试何时发生更改。它计算需求的实施和验证状态,使您能够评估项目的完整性。可通过万博1manbetxIEC认证套件(适用于ISO 26262和IEC 61508)和DO鉴定套件(适用于DO-178).
开始:
捕获要求
需求及其基本原理可以用富文本(包括图像、编号列表和项目符号)进行描述。ID、关键字、修订信息和注释等附加属性使您能够细化和详细说明需求。您可以创建自己的自定义属性,以用独特的需求数据进一步详细说明需求类型。
管理对项目的所有要求
通过需求编辑器,您可以查看、创建和管理整个项目中的所有需求。它包括:
- 用于组织需求层次结构的需求浏览器
- 链接视图来管理整个项目的链接
- 属性检查器,用于查看和编辑需求和链接的详细信息
- 用于配置列显示和排序的自定义设置
- 用于筛选大量需求的搜索工具
- 根据文档需求生成报告
需求、架构和设计的集成视图
要求透视提供综合视图万博1manbetx,系统编写器或状态流®您可以在其中查看、编写和组织需求,同时执行设计活动。
基于模型的系统工程支持万博1manbetx
在中开发架构模型时系统编写器,您可以使用Simulink需求直接捕获、查看和管理系统需求。系统需求可以链接到不同的架构(architecture)模型元素,以在需求和架构万博1manbetx(architecture)之间建立一个数字线程。可以使用需求覆盖率分析来分析架构的完整性。在分析架构模型,可以导出附加需求并将其链接到模型。
来自其他来源的需求,如IBM Rational DOORS、Microsoft Word或Microsoft Excel,可以作为只读引用导入,或在Simulink中进行进一步修改。您可以使用需求交换格式(ReqIF)从支持该格式的第三方需求管理工具(如西门子Polarion)导入需求,并使用该格式处理需求万博1manbetx万博1manbetx®施舍™ 或者Jama Connect™. 导入期间,您可以控制外部文档中字段到Simulink需求的映射。您可以指定导入映射到自定义属性的字段,以匹配外部文档中的内容。同步操作保持与引用需求的一致性。如果发生需求变万博1manbetx更,将发出通知,让您评估变更的影响。
识别并响应变化
当需求发生变化时,重要的是,它在团队中传达以避免下游错误。每个要求和链接维持修改后的修订历史。万博1manbetxSimulink要求检测与模型相关的要求的变化,包括从外部源导入的模型,使您可以评估更改对您的设计并采取适当行动的影响。您可以对设置设置以查看要求的更改来执行差异操作。
通过创建到模型元素、MATLAB代码、数据字典、状态流元素、System Composer架构模型和其他需求的需求链接,建立一个数字线程。您可以在中链接需求和测试用例、测试线束、测试套件和测试序列万博1manbetxSimulink Test™,并从Simulink模型或测试管理器访问链接。从生成的万博1manbetx代码嵌入式编码器®,HDL编码器™或万博1manbetxSimulink PLC编码器™可以从代码生成报告超链接到需求。这些链接在代码中显示为注释标签。代码生成报告中的超链接提供了从代码到需求的直接导航。
您可以将Simulink模型元素链接和跟踪到I万博1manbetxBM中的需求®合理的®门®或IBM.®合理的®门®下一代。
和DO鉴定套件(适用于DO-178和DO-254)和IEC认证套件(适用于ISO 26262和IEC 61508),您可以生成可追溯矩阵电子表格,显示到代码型双向跟踪性路径和文件信息。
查看实施和验证状态
万博1manbetxSimulink需求提供需求的实施和验证状态,以识别实施中的差距、缺失的需求或设计中的错误。实现和验证度量量化了在设计中已经实现并与测试用例关联的需求的比例,以及已经通过的测试用例的比例。
要求覆盖度量指标显示为具有颜色指示状态的颜色的需求浏览器中的列。在实施或验证所有子项要求之前,不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接,则指示需要完成的实现或验证。
理由可以链接到模型中未实现或未验证的需求。例如,非功能性需求可以链接到理由,以将其从状态中筛选出来。可以在模型中共享和重用一组常见的理由。
要求可追溯性矩阵
为了管理大量需求、模型和测试之间的链接,可追溯性矩阵在合并矩阵视图中总结了可追溯性。每个单元格显示工件之间的链接,以确定间隙。使用过滤器,您可以将视图的范围限定为关注特定的项目,以帮助管理大型数据集。您可以突出显示缺少链接的项目,并查看包含需求更改的链接,以了解更改的影响。为了解决覆盖率方面的差距,您可以直接在可追溯性矩阵中添加项目之间的链接。
生成需求报告
对于审查和文档,您可以创建一个可配置的报告,其中包括链接、更改信息以及实施和验证状态。具有万博1manbetxSimulink报告生成器可以创建自定义报告。