明确执行对象与上下文
- 区分直接运行某个行为与在一个具体对象上下文中运行行为。写明涉及的实例、初始属性、调用关系和外部依赖，避免把空白初值或工具自动创建的上下文误当成工程输入。
- 对活动、状态机和参数求解分别列出本轮需要的能力，并在实际工具版本中确认。资料介绍某类引擎只能说明待核对的能力方向，不能据此认定任意模型元素或表达式都可执行。
把初始化与输入变成可记录条件
- 记录初始化后关键属性的实际值，并与约定输入逐项核对。重新运行时确认使用新的初始化状态还是继承上次状态，特别检查由外部脚本、表达式或依赖对象提供的值。
- 为信号和其他输入说明目标对象、顺序、触发条件与预期响应。需要人工选择分支的演示应明确记录人工输入，不能将人工决策后的路径称为完全自动的行为验证。
用最小路径核对状态与变量
- 先运行一条短路径，逐步核对执行位置、关键变量和调用是否符合预期。对异常路径选用明确的失败条件，例如缺少输入或事件目标不匹配，并观察执行环境怎样报告问题。
- 参数绑定需要额外核对绑定对象、数值类型、单位和约束表达式。某个数值能被计算出来，只说明一次求解产生了输出；是否代表真实系统还需要独立的模型适用性与验证证据。
明确停止条件和结论边界
- 约定正常结束、异常终止和超时的判定方式，保留输入事件、状态变化与输出记录。出现无进展时先回到最小路径检查上下文和输入，不通过无限等待或随意改参数制造完成状态。
- 交付时区分已执行通过、执行失败、环境不支持和未验证的行为。报告注明模型与环境版本，以及需要人工介入的步骤；这属于模型执行检查，不能替代实物试验或实际产品性能确认。