主要内容

本页采用了机器翻译。点击此处可查看最新英文版本。

验证和确认需求

使用 Simulink® Test™ 和 Requirements Toolbox™,您可以通过链接到测试用例来验证需求。有关详细信息,请参阅将测试用例链接到需求 (Requirements Toolbox)

您可以在 System Composer™ 中创建架构模型,然后将需求链接到满足这些需求的模型元素。有关详细信息,请参阅从设计到验证分配和追踪需求

使用测试框架验证系统设计

测试框架是一个模型,它将在测组件与为测试场景配置的输入、输出和验证模块隔离开来。您可以为模型组件或完整模型创建测试框架。测试框架可为模型或模型组件提供单独的测试环境。为 System Composer 组件创建测试框架,以验证仿真结果和验证设计。要在测试框架中测试组件行为时编辑接口,请使用接口编辑器

使用 Simulink 测试管理器 (Simulink Test)以及为组件创建测试框架需要获得 Simulink Test 许可。有关详细信息,请参阅创建测试框架 (Simulink Test)

使用 Simulink Test 执行基于需求的测试工作流,包括输入、预期输出和验收标准。有关将 Simulink Test 与 Requirements Toolbox 一起使用的详细信息,请参阅将测试用例链接到需求 (Requirements Toolbox)。测试框架不支持架构模型中的 Adapter 模块,也不支持软件架构模型中包含 Reference ComponentComponent 模块。

Airframe 组件创建测试框架

此示例使用无人飞行器 (UAV) 的架构模型为 System Composer 组件创建测试框架。在 MATLAB® 命令行窗口中,输入以下命令。

scExampleSmallUAV

要创建 Airframe 组件的测试框架,请执行以下操作:

  1. 右键点击组件。

  2. 选择 测试框架 > 为 'Airframe' 创建

  3. 在“创建测试框架”对话框中,指定测试框架的名称,然后点击确定

测试框架将在新窗口中打开,工具栏中将显示框架菜单。

提示

如果模型组件处于设计过程的早期阶段,尚未完全连接,则在“创建测试框架”对话框中,您可以选择高级属性选项卡,然后选择创建而不编译模型

Test harness example in the Small UAV architecture model.

使用 Simulink 测试管理器 (Simulink Test)与测试框架一起创建测试文件和测试用例。有关更多信息,请参阅测试框架与模型关系 (Simulink Test)创建或导入测试框架并选择属性 (Simulink Test)

将子系统集成进行集成测试

要测试组合系统整体是否按设计正常运行,您可以在越来越大的系统或子系统周围创建测试框架。这些子系统连接后,使用测试框架确认需求是否得到满足。

另请参阅

工具

主题