用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
指导ISSTA论文实验设计与审计，涵盖基准选择、公平基线配置、统计分析及结果验证，确保实验结论可信。
用于维护红队检查、辩论、事前尸检及反事实分析，旨在识别未支持的主张和薄弱的实验计划。通过运行特定测试并更新相关文档与账本，确保系统健壮性与发布安全。
- «
- 1
- »
