ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems
A growing number of emerging database management systems, such as time-series and streaming databases, have been developed to support specialized workloads with enhanced performance and functionality. However, these systems are often less mature than traditional relational databases, making them more prone to logic bugs and internal errors that affect correctness and reliability. To address this, we propose an enhanced differential testing framework designed for emerging SQL-like databases. Our key insight is that many of these systems are conceptually extensions of relational databases, allowing us to uncover bugs by comparing query results with those from more robust relational systems. To bridge the differences in syntax and semantics between emerging and relational databases, we leverage Large Language Models (LLMs) to automate the discovery of supported clauses and generate clause mappings that translate system-specific features into equivalent expressions in SQL. Our approach proceeds in three steps: (i) collecting and analyzing the syntax of clauses supported by both the emerging database system and a relational reference system, (ii) constructing clause mappings via LLMs, validating them through testing queries, and formalizing them into Abstract Syntax Tree (AST) transformations or mapping functions, and (iii) generating semantically equivalent but syntactically varied queries to expand the scope of differential testing. To ensure the reliability of LLM-generated clause mappings, we introduce a testing query mechanism that re-prompts incorrect mappings after runtime verification. We implemented this approach in a tool called ACME and applied it to four widely used emerging database systems, uncovering 57 previously unknown bugs, including 17 logic bugs and 40 internal errors. Of these, 50 have been fixed and 5 confirmed by vendors. Our results demonstrate the practicality and effectiveness of ACME in improving the reliability of emerging database systems through scalable, LLM-assisted differential testing.
Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:30 | Testing 3Research Papers / Industry Papers / Tool Demonstrations / Ideas, Visions and Reflections at MB 1.210 Chair(s): Nimmi Weeraddana University of Calgary, Canada | ||
10:30 20mTalk | ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems Research Papers Yuancheng Jiang National University of Singapore, Jianing Wang Shandong University, Chuqi Zhang National University of Singapore, Roland H. C. Yap National University of Singapore, Zhenkai Liang National University of Singapore, Manuel Rigger National University of Singapore DOI Pre-print | ||
10:50 20mTalk | Interrogation Testing of CHC Solvers Research Papers David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien Pre-print | ||
11:10 20mTalk | RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations Research Papers Chu Chen Qufu Normal University, Qianxin Cheng Qufu Normal University, Pinghong Ren Qufu Normal University, Hairong Yu Qufu Normal University, Cong Tian Xidian University, Zhenhua Duan Xidian University, Xu Lu Xidian University, Bin Yu Xidian University, WenSheng Wang Xidian University, Jin Liu Xi'an University of Technology Pre-print | ||
11:30 10mTalk | Software Testing Beyond Closed Worlds: Open-World Games as an Extreme Case Ideas, Visions and Reflections Yusaku Kato Ritsumeikan University, Norihiro Yoshida Ritsumeikan University, Erina Makihara Ritsumeikan University, Katsuro Inoue Ritsumeikan University Pre-print | ||
11:40 20mTalk | AstraGame: Effective and Efficient VLM Agent Serving for Large-Scale Game Testing in an Industry Setting Industry Papers Yuzhe Guo Peking University, Haochuan Lu Tencent, Mengzhou Wu Peking University, Ting Xiong Tencent Inc., Yuetang Deng Tencent, Dezhi Ran Peking University, Wei Yang UT Dallas, Tao Xie Peking University | ||
12:00 10mTalk | ScalerEval: Automated and Consistent Evaluation Testbed for Auto-scalers in Microservices Tool Demonstrations Shuaiyu Xie School of Computer Science, Wuhan University, China, Yang Luo Wuhan University, Yuzhen Tan Wuhan University, Yunqing Yong Wuhan University, Xiaosong Huang Peking University, Jian Wang Wuhan University, Bing Li Wuhan University | ||
12:10 20mTalk | WalleTruth: Visual-oriented Software Testing for Web3 Wallet Browser Extensions Research Papers Xiaohui Hu Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology DOI Authorizer link | ||