用途:为 Simulink 模型或子系统编写通过/失败测试,验证需求或验收标准,创建回归测试,复现并验证缺陷修复,收集决策覆盖率,或从关联需求与行为规范生成持久化测试。
主要能力:提供两种测试方式。Gherkin(model_test)为临时测试,会话结束后测试框架被丢弃,草稿模式约 3 秒,无需求追溯,适合缺陷修复与快速验证;Simulink Test API(test_create 系列)生成持久化 .mldatx 文件,约 60 秒,可通过 .slreqx 关联需求,适合认证、系统化测试与正式 V&V,也支持行为规范,执行前需工程师审批测试计划。
使用方式:先用 model_overview 与 model_read 了解目标子系统的输入、输出与预期行为。Gherkin 流程:编写 .feature 文件,用 model_query_params 检查 StopTime,若为 inf 或未设置必须传入有限停止时间,先以 draft_mode='true' 快速迭代,再以 draft_mode='false' 针对编译后模型验证,最后用 coverage='decision' 扩展边界场景。Simulink Test API 流程:先提出测试计划等待审批,再调用 test_create(TestFile 须为工作文件夹下的绝对路径),提出测试配置等待审批后用 test_edit 设置有限 StopTime,最后 test_run 并报告结果。
限制:需 Simulink Test 与 R2023a 或更高版本;需求驱动入口还需 Requirements Toolbox;覆盖率工作流还需 Simulink Coverage。若未安装 Simulink Test,应改用 simulating-simulink-models 配合手动断言。禁止在 StopTime=inf 下运行仿真或测试,否则会挂起 MATLAB 会话;不得猜测通过/失败标准;模型打开时不得更改 MATLAB 工作目录。构建或编辑模型结构、数据探索仿真、参数查询、需求编辑、故障注入及安全分析等任务应使用其他对应技能。