论文标题
自动驾驶的语言测试甲骨文
A Language for Autonomous Vehicles Testing Oracles
论文作者
论文摘要
测试自动驾驶汽车（AVS）需要复杂的甲骨文来确定AVS行为是否符合规格和人类的期望。可用的开源甲壳被紧密嵌入AV仿真软件中，并以临时方式开发和实现。我们提出了一种特定领域的语言，该语言能够独立于AV解决方案和模拟器定义Oracles。测试分析师可以用我们的语言编码安全性，可承受性，及时性和时间性能。为了显示我们语言的表现力，我们实施了三种不同类型的可用甲壳。我们发现，相同的AV解决方案在现有的甲壳中的排名可能会显着不同，因此现有的Oracles不会以一致的方式评估AV。
Testing autonomous vehicles (AVs) requires complex oracles to determine if the AVs behavior conforms with specifications and humans' expectations. Available open source oracles are tightly embedded in the AV simulation software and are developed and implemented in an ad hoc way. We propose a domain specific language that enables defining oracles independent of the AV solutions and the simulator. A testing analyst can encode safety, liveness, timeliness and temporal properties in our language. To show the expressiveness of our language we implement three different types of available oracles. We find that the same AV solutions may be ranked significantly differently across existing oracles, thus existing oracles do not evaluate AVs in a consistent manner.
