金宝appSimulink要求
对模型,生成的代码和测试用例的作者,管理和跟踪要求
金宝appSimulink Requiremential™可让您在Simulink内创作,分析和管理要求®。您可以使用自定义属性创建丰富的文本要求,并将其链接到设计,代码和测试。要求可以从外部源导入,并且在要求更改时,您可以接收自动通知。您可以将要求和设计一起查看,建立带有拖放的链接,用需求内容的注释图,分析要求可追溯性,并在要求,设计,生成的代码和测试之间导航。
金宝appSimulink要求指示在链接要求,设计或测试中发生更改时。它可以计算您的要求的实现和验证状态,使您能够评估项目完整性。金宝app通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和做资格套件(DO-178)。
开始:
基于模型的系统工程支持金宝app
在开发建筑模型时系统作曲家,您可以使用Simulink要求直接捕获,查看和管理系统要求。金宝app系统要求可以链接到不同的架构模型元素,以在需求和架构之间建立数字线程。可以通过需求覆盖分析分析架构的完整性。在分析架构模型的同时,可以派生额外的要求和链接到模型。
用拖放建立可追溯性
您可以通过从需求浏览器拖动要求并将其丢弃在系统编写器,Simulink或StateFlow模型对象中来创建需求和设计之间的链接。金宝app模型对象上出现徽章以指示链接并启用导航到链接的要求。您可以选择从徽章的模型图上显示要求及其连接器。
来自其他来源的要求,例如IBM Rational Doors,Microsoft Word或Microsoft Excel,可以作为只读引用导入或在Simulink中进一步修改。金宝app您可以使用该要求交换格式(reqif)来导入和处理来自支持该格式的第三方要求管理工具,如西门子双升级金宝app®ALM™或JAMA CONNECT™。导入期间,您可以控制从外部文档中的字段的映射到Simulink要求。金宝app您可以指定导入映射到自定义属性的字段以匹配外部文档中的内容。同步操作与引用的要求保持一致性。如果发生需求变更,则提供通知,以便您评估变更的影响。
识别并响应变化
当需求发生变化时,重要的是,它在团队中传达以避免下游错误。每个要求和链接维持修改后的修订历史。金宝appSimulink要求检测与模型相关的要求的变化,包括从外部源导入的模型,使您可以评估更改对您的设计并采取适当行动的影响。您可以对设置设置以查看要求的更改来执行差异操作。
通过创建需求链接到模型元素,MATLAB代码,数据词典,emoteFlow元素,系统作曲家架构模型以及其他要求来建立数字线程。您可以链接要求和测试用例,测试线束,测试套件和测试序列金宝appSimulink Test™,以及来自Simulink模型或测试管理器的访问链接。金宝app代码生成嵌入式编码器®那HDL编码器™, 或者金宝appSimulink PLC编码器™可以从代码生成报告的超链接到要求。这些链接作为代码中的注释标签呈现。代码生成报告中的超链接提供从代码到要求的直接导航。
您可以将Simulink模型元素链接到IBM中金宝app的要求®合理的®门®或IBM.®合理的®门®下一代。
和做资格套件(对于DO-178和DO-254)和IEC认证套件(对于ISO 26262和IEC 61508),您可以生成可追溯矩阵电子表格,显示到代码型双向跟踪性路径和文件信息。
查看实施和验证状态
金宝appSimulink要求提供了要求的实现和验证状态,以识别实施中的实施,缺少要求或错误中的差距。实施和验证指标量化了设计中实施的要求的比例,并与测试用例相关联,以及已通过的测试用例的比例。
要求覆盖度量指标显示为具有颜色指示状态的颜色的需求浏览器中的列。在实施或验证所有子项要求之前,不完全实施或验证对儿童要求的要求。悬停在状态上显示要求及其儿童要求的累积指标。如果状态中缺少链接,则指示需要完成的实现或验证。
理由可以链接到模型中未实施或验证的要求。例如,无功能的要求可以链接到解释以将其从状态过滤。可以在模型中共享和重复使用一组常见的理由。
要求可追溯性矩阵
要在大量需求,模型和测试之间管理链接,可跟踪性矩阵总结了统一矩阵视图中的可追溯性。每个单元格显示在伪像之间的链接,以识别间隙。使用过滤器,您可以将视图视图集中在特定的感兴趣项目上,以帮助管理大型数据。您可以突出显示缺少链接的项目,并查看具有要求更改的链接以了解更改的影响。要解决覆盖范围内的空白,您可以在可跟踪性矩阵中直接添加项目之间的链接。
生成要求报告
有关审阅和文档,您可以创建一个可配置的报告,其中包含链接,更改信息和实现和验证状态。和金宝appSimulink报告生成器可以创建自定义报告。