确定会话与初始化边界
- 为每次运行记录独立会话标识、模型版本、输入版本和初始化结果。初始化失败时不得继续沿用上一轮对象或输出；默认参数与本次输入的优先关系也应在记录中可查。
- 分别检查同一模型连续运行和不同模型并行运行，确认控制命令、日志和结果不会串到其他会话。共享服务可以复用，但会话归属与运行数据的隔离必须能够核对。
用双会话交叉操作验证隔离
- 建立输入可区分的两个通用会话，让一个持续运行，另一个依次暂停、单步和停止。每次操作都核对目标会话标识、状态变化与输出归属，并检查持续运行的会话是否受到非预期影响；这里的重点是会话间互不干扰。
- 再让其中一个会话初始化失败或结束，检查另一会话的运行上下文、日志与结果是否仍然完整。共享服务内部可能复用线程或其他资源，验收应以已约定的归属和隔离行为为准，不以线程数量直接推定会话数量或隔离成功。
按归属核对会话结束后的资源释放
- 为会话拥有的运行对象、排队工作和执行资源建立可检查的归属记录，区分独占资源与仍被其他会话使用的共享资源。结束一个会话后，核对其工作是否停止、专属资源是否释放，以及共享资源是否仍能支持其余会话；退出一个客户端不应被自动等同于整个服务终止。
- 约定清理完成的判据和有限等待时间，结合活动会话、队列及资源记录判断结果。取消或失败留下的部分输出应保留会话标识与结束原因；重复创建和结束会话后检查是否遗留不再归属任何活动任务的资源，不能仅凭窗口关闭或单次内存波动判断清理成功。
验证重连与重复指令
- 在受控环境检查连续点击运行、重复停止、暂停时断开和重新连接，预先写明每种情况允许的结果。重连后应查询服务当前状态，不能根据旧界面状态重建一份相互冲突的运行事实。
- 交付会话状态约定、操作记录、结果标记和已知限制，让接收方复核一次取消后重新运行。控制流程验收通过只说明运行管理符合约定，仿真算法的数值准确性仍需独立验证。