要求工具箱™(原仿真软件需求™)让你作者,链接,并在MATLAB金宝app验证需求®或仿真金宝app软件®。您可以创建需求使用富文本和自定义属性或导入它们从需求管理工具。
您可以链接要求MATLAB代码,系统作曲家™或仿真软件模型,测试。金宝app工具箱分析跟踪识别差距实现或测试。链接存在的设计突出显示和跟踪矩阵总结跨多个工件 并指导您解决任何缺口。当需求改变时,与工件突出显示,您可以确定上游和下游的工件使用可追溯性图的影响。生成的代码从仿真软件设计包括代码注释文档金宝app,实现需求协助的评论。
你可以形式化需求和分析它们的一致性,完整性、正确性和使用需求表。需求的角度使您能够查看和管理需求与设计。当使用仿真软件,您可以创建链接金宝app块用一个简单的拖拽。
金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)和做资格工具包(- 178)。
正式的需求模型
使用逻辑表达式指定正式的需求与需求表块模型。金宝app使用仿真来验证这些正式的需求和执行分析的正确性,一致性和完整性。正式的需求结合设计模型检验遵从性。
一起工作的需求和设计
使用需求的角度来看,作者和组织需求直接在仿真软件、系统的作曲家,或Stateflow金宝app®编辑器。创建链接通过使用拖拽无需修改模型,模型中使用徽章查看链接存在,和注释图要求。
分析需求覆盖率
确定差距实现和测试,失踪的需求和设计错误。使用跟踪矩阵审查之间的联系的需求,大量的模型,和测试;然后,通过添加链接地址空白。
产品资源:
“在以前的项目中,需求覆盖率分析是手动执行,基于主观评价。金宝app仿真软件、仿真软件的覆盖率和工具箱使我们自动化需求分析并提供客观的覆盖率指标,这帮助我们缩短需求评审认证高达30%。”
诺阿Campagnoli,马基