主要内容

需求的工具箱

作者、链接和验证要求,设计和测试

要求工具箱™让你的作者,链接,并在MATLAB验证需求®或仿真金宝app软件®。您可以创建需求使用富文本和自定义属性或导入它们从需求管理工具。

您可以链接要求MATLAB代码,系统作曲家™或仿真软件模型,测试。金宝app工具箱分析跟踪识别差距实现或测试。链接存在的设计突出显示和跟踪矩阵总结跨多个工件和指导您解决任何差距。当需求改变时,与工件突出显示,您可以确定上游和下游的工件使用可追溯性图的影响。生成的代码从仿真软件设计包括代码注释文档金宝app,实现需求协助的评论。

你可以形式化需求和分析它们的一致性,完整性、正确性和使用需求表。需求的角度使您能够查看和管理需求与设计。当使用仿真软件,您可以创建链接金宝app块用一个简单的拖拽。

金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)做资格工具包(- 178)。

开始

学习基本的需求的工具箱

需求定义

作者要求,进口、出口和形式化的需求

需求跟踪

链接要求设计、代码和测试中,指定关系,添加标记,审查跟踪模型和代码,检查的一致性

基于需求的测试

基于需求的模型验证、解释和报告测试结果

需求比较和变更跟踪

需求评审和比较,跟踪更改并提供理由,生成报告签字和批准

需求管理界面

支持的需求跟踪遗留RMI接口金宝app

验证和确认

使用仿真金宝app软件产品测试模型和下载188bet金宝搏代码,检查设计错误,检查标准,测量范围,并验证系统

工具资格和认证

符合要求的工具箱和IEC认证