A declarative metamorphic testing framework for autonomous driving

Yao Deng, James Zheng*, TianYi Zhang, Huai Liu, Guannan Lou, Miryung Kim, Tsong Yueh Chen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)

Abstract

Autonomous driving has gained much attention from both industry and academia. Currently, Deep Neural Networks (DNNs) are widely used for perception and control in autonomous driving. However, several fatal accidents caused by autonomous vehicles have raised serious safety concerns about autonomous driving models. Some recent studies have successfully used the metamorphic testing technique to detect thousands of potential issues in some popularly used autonomous driving models. However, prior study is limited to a small set of metamorphic relations, which do not reflect rich, real-world traffic scenarios and are also not customizable. This paper presents a novel declarative rule-based metamorphic testing framework called RMT. RMT provides a rule template with natural language syntax, allowing users to flexibly specify an enriched set of testing scenarios based on real-world traffic rules and domain knowledge. RMT automatically parses human-written rules to metamorphic relations using an NLP-based rule parser referring to an ontology list and generates test cases with a variety of image transformation engines. We evaluated RMT on three autonomous driving models. With an enriched set of metamorphic relations, RMT detected a significant number of abnormal model predictions that were not detected by prior work. Through a large-scale human study on Amazon Mechanical Turk, we further confirmed the authenticity of test cases generated by RMT and the validity of detected abnormal model predictions.
Original languageEnglish
Pages (from-to)1964-1982
Number of pages19
JournalIEEE Transactions on Software Engineering
Volume49
Issue number4
Early online date30 Sept 2022
DOIs
Publication statusPublished - Apr 2023

Fingerprint

Dive into the research topics of 'A declarative metamorphic testing framework for autonomous driving'. Together they form a unique fingerprint.

Cite this