Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
7-2023
Abstract
An automated driving system (ADS), as the brain of an autonomous vehicle (AV), should be tested thoroughly ahead of deployment. ADS must satisfy a complex set of rules to ensure road safety, e.g., the existing traffic laws and possibly future laws that are dedicated to AVs. To comprehensively test an ADS, we would like to systematically discover diverse scenarios in which certain traffic law is violated. The challenge is that (1) there are many traffic laws (e.g., 13 testable articles in Chinese traffic laws and 16 testable articles in Singapore traffic laws, with 81 and 43 violation situations respectively); and (2) many of traffic laws are only relevant in complicated specific scenarios. Existing approaches to testing ADS either focus on simple oracles such as no-collision or have limited capacity in generating diverse law-violating scenarios. In this work, we propose ABLE, a new ADS testing method inspired by the success of GFlowNet, which Aims to Break many Laws Efficiently by generating diverse scenarios. Different from vanilla GFlowNet, ABLE drives the testing process with dynamically updated testing objectives (based on a robustness semantics of signal temporal logic) as well as active learning, so as to effectively explore the vast search space. We evaluate ABLE based on Apollo and LGSVL, and the results show that ABLE outperforms the state-of-the-art by violating 17% and 25% more laws when testing Apollo 6.0 and Apollo 7.0, most of which are hard-to-violate laws, respectively.
Keywords
Generative Flow Network, Traffic Laws, Automated Driving System, Baidu Apollo, Testing Scenario Generation
Discipline
Software Engineering | Transportation | Transportation Law
Research Areas
Software and Cyber-Physical Systems
Publication
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, July 17-21
First Page
942
Last Page
953
ISBN
9798400702211
Identifier
10.1145/3597926.3598108
Publisher
ACM
City or Country
New York
Citation
ZHANG, Xiaodong; ZHAO, Wei; SUN, Yang; SUN, Jun; SHEN, Yulong; DONG, Xuewen; and YANG, Zijiang.
Testing automated driving systems by breaking many laws efficiently. (2023). ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, July 17-21. 942-953.
Available at: https://ink.library.smu.edu.sg/sis_research/8078
Copyright Owner and License
Authors
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Additional URL
https://doi.org/10.1145/3597926.3598108