.png){kind=icon}
返回
Specification-Based Autonomous Driving System Testing
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2023.3254142.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before they can be deployed. Highfidelity simulators such as CARLA or LGSVL allow this to be done safely in very realistic and highly customizable environments. Existing testing approaches, however, fail to test simulated AVs systematically, as they focus on specific scenarios and oracles (e.g., lane following scenario with the no collision requirement) and lack any coverage criteria measures. In this paper, we propose AVUnit, a framework for systematically testing AV systems against customizable correctness specifications. Designed modularly to support different simulators, AVUnit consists of two new languages for specifying dynamic properties of scenes (e.g., changing pedestrian behaviour after waypoints) and fine-grained assertions about the AV's journey. AVUnit further supports multiple fuzzing algorithms that automatically search for test cases that violate these assertions, using robustness and coverage measures as fitness metrics. We evaluated the implementation of AVUnit for the LGSVL+Apollo simulation environment, finding 19 kinds of issues in Apollo, which indicate that the open-source Apollo does not perform well in complex intersections and lane-changing related scenarios.
Keyword:
Testing
Fuzzing
Planning
Roads
Vehicle dynamics
Sun
Sensors
Autonomous driving system
coverage criteria
fuzzing
specification languages
testing
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
引用论文
.png){kind=icon}
分享收藏The heat shock protein Hsp70 enhances antigen-specific proliferation of human CD4+ memory T cells
OAAI
OAAI分享收藏Preferential centrality – A new measure unifying urban activity, attraction and accessibility优先中心性 -- 统一城市活动、吸引力和可达性的新措施OAAI
OAAI分享收藏
查看更多内容