用途:把 EARS 需求语句映射到模型信号,经评审后生成 Simulink Test Sequence 测试框架。
主要能力:支持通用型、事件驱动、状态驱动、非期望行为、可选等 EARS 句式,生成初始化、激励与 verify() 语句;可限定需求 ID 范围;支持关联到源模型或生成独立框架文件。
使用方式:先确定被测模型、.slreqx 需求集及 .sldd 字典或枚举类,将 skillRoot 下的 scripts 加入 MATLAB 路径,并从模型工件目录运行 MATLAB。用 analyzeRequirements 做发现,用 generateMappingReviewFromRequirements 生成映射评审 YAML,在 phrase_mappings 中记录需求短语、模型元素与解释,并填写 init_assignments、precondition_path、stimulus_assignments、verify_statements,在 status 中记录批准。批准后用 buildHarnessesFromApprovedYaml 生成;默认在 test_harnesses/ 创建外部保存框架并注册到源模型,传 'AssociateWithSourceModel', false 可生成独立文件。
限制:解析器只识别上述句式,任意自然语言需求可能需澄清;短语与前置条件推断含 ModeLogic 专用启发式,需对照实际系统复核。编译不等于测试执行,需另行运行测试。需求追溯链接须通过 Simulink Test Manager 单独添加,不得声称认证、标准合规或完整覆盖。演示应使用可写工作副本。