需求的工具箱

需求的工具箱

创建、链接和验证设计和测试的需求

编写和组织需求

使用富文本、自定义属性和关键字定义需求。组织需求的层次结构,以指定系统级或较低级别的功能。

集成第三方需求工具

从其他来源(如IBM)导入和查看需求®®下一个,微软®Word或微软Excel®.使用需求交换格式(ReqIF™)与支持该格式的工具(如Siemens Polarion)交换需求®ALM™或Jama Connect™。

跟踪需求到设计、代码和测试

创建一个数字线程它连接了需求、模型元素、MATLAB代码、数据字典、测试用例和测试工具。跟踪到外部需求工具。在代码生成报告中包含链接嵌入式编码器™

形式要求

使用Simulink中的requirements Table块中的逻辑表达式指定正式需求。使用模拟来验证这些形式需求,并对正确性、一致性和完整性进行分析。将正式需求绑定到设计模型,以验证遵从性。

需求和设计一起工作

使用需求透视图直接在Simulink、System Composer或statflow中查看、编写和组织需求®编辑器。在不修改模型的情况下使用拖放创建链接,使用标识查看模型中存在的链接,并用需求注释图表。

分析需求覆盖范围

识别实现和测试中的差距、缺失的需求和设计错误。使用跟踪矩阵审查大型需求集、模型和测试之间的联系;然后,通过添加链接来解决差距。

识别变更的影响

通过回顾突出显示的链接元素,了解变更对Simulink test™中的需求或测试用例的影响。创建一个可追溯性图可视化并导航到链接项。

生成需求报告

创建可配置的报告,其中包括链接、变更信息以及实现和验证状态。将这些报告用于设计评审或文档。

跟踪需求到MATLAB代码和测试

在MATLAB代码中的各个行和外部文档中的需求信息之间创建、管理和导航可追溯性链接。在MATLAB编辑器中突出显示可追溯性,以识别实现或测试中的差距。

Alenia Aermacchi为DO-178B A级认证开发自动驾驶软件

在以前的项目中,需求覆盖分析是手动执行的,并且是基于主观评价的。Simulink、Simulink覆盖和需求工具箱使我们能够自动化这种分析,并提供了客观的覆盖度量,这帮助我们缩短了多达30%的认证需求审查。”

Massimiliano Campagnoli, Alenia Aermacchi

获得免费试用

30天的探索,触手可及。


准备好购买了吗?

获取价格信息,探索相关产品。2022世界杯八强谁会赢?

你是学生吗?

您的学校可能已经通过校园范围的许可证提供了对MATLAB、Simulink和附加产品的访问。2022世界杯八强谁会赢?

Baidu
map