Towards a Completeness Argumentation for Scenario Concepts

场景化测试已经成为克服自动驾驶汽车安全保障中真实世界交通复杂性的一种有前途的方法。在场景化测试中，被测试的系统将面对一组预定义的场景。这个场景集合应该比真实世界测试更能有效地测试自动驾驶车辆在开放环境下的操作。然而，问题是，场景目录是否足以涵盖开放环境，从而允许证明足够安全的驾驶功能。本文提出了一种方法，使用目标结构化符号表示法来证明场景概念的足够完整性。因此，讨论了完整性和覆盖范围之间的区别。对于这两点，提出了简化的论证和相关证据的方法。这些方法被应用于场景概念和inD数据集，以证明其可用性。

如何证明场景测试能够覆盖自动驾驶车辆的开放环境，从而保证其安全性？

提出了一种基于目标结构化表示法的方法来证明场景测试的完整性和覆盖率，以保证自动驾驶车辆的安全性。

使用了目标结构化表示法来证明场景测试的完整性和覆盖率；通过应用方法到一个场景概念和inD数据集来证明其可用性；提出了一种区分完整性和覆盖率的方法。

相关研究包括基于场景的测试和自动驾驶车辆的安全性保证。