Specification-based autonomous driving system testing

• Main Authors: ZHOU, Yuan, SUN, Yang, TANG, Yun, CHEN, Yuqi, SUN, Jun, POSKITT, Christopher M., LIU, Yang, YANG, Zijiang
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: Autonomous Driving System; Testing; Specification Languages; Fuzzing; Coverage Criteria; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7772; https://ink.library.smu.edu.sg/context/sis_research/article/8775/viewcontent/avunit_tse23.pdf
• Institution: Singapore Management University

Autonomous vehicle (AV) systems must be comprehensively tested and evaluated before they can be deployed. High-fidelity 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...