演示资料 · 未标明发布日期PEGASUS 测试自动化、生成及其对安全论证的贡献Test AutomationPEGASUS consortium · EnglishSafety caseSimulationTesting资料概述将逻辑场景参数变化、仿真及安全指标相连接，评估潜在安全违规并支持论证。