Generative model-based testing on decision-making policies

• Main Authors: LI, Zhuo, WU, Xiongfei, ZHU, Derui, CHENG, Mingfei, CHEN, Siyuan, ZHANG, Fuyuan, XIE, Xiaofei, MA, Lei, ZHAO, Jianjun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: generative model; testing; decision-making policies; Databases and Information Systems; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8270; https://ink.library.smu.edu.sg/context/sis_research/article/9273/viewcontent/ASE_2023_Generative_Model_based_Testing_on_Decision_Making_Policies.pdf
• Institution: Singapore Management University

The reliability of decision-making policies is urgently important today as they have established the fundamentals of many critical applications, such as autonomous driving and robotics. To ensure reliability, there have been a number of research efforts on testing decision-making policies that solve Markov decision processes (MDPs). However, due to the deep neural network (DNN)-based inherit and infinite state space, developing scalable and effective testing frameworks for decision-making policies still remains open and challenging.In this paper, we present an effective testing framework for decision-making policies. The framework adopts a generative diffusion model-based test case generator that can easily adapt to different search spaces, ensuring the practicality and validity of test cases. Then, we propose a termination state novelty-based guidance to diversify agent behaviors and improve the test effectiveness. Finally, we evaluate the framework on five widely used benchmarks, including autonomous driving, aircraft collision avoidance, and gaming scenarios. The results demonstrate that our approach identifies more diverse and influential failure-triggering test cases compared to current state-of-the-art techniques. Moreover, we employ the detected failure cases to repair the evaluated models, achieving better robustness enhancement compared to the baseline method.