Proceedings of 2022 IEEE International Symposium on Software Reliability Engineering Workshops
(ISSREW '22), IEEE Computer Society, Los Alamitos, CA (2022)
A Disjoint-Partitioning Approach to Enhancing
Metamorphic Testing of DBMS 1

Matthew Siu-Hin Tang 2 , T.H. Tse 3 , and Zhi Quan Zhou 4

[technical report TR-2022-01]

 ABSTRACT

Owing to big data, DBMS testing faces the oracle problem, that is, it is difficult to verify execution results against expected outcomes. Rigger and Su applied metamorphic testing to alleviate the challenge. We propose a disjoint-partitioning approach to extend their work. We have conducted an empirical case study on OceanBase, the DBMS associated with the world's fastest online transaction processing system. Even though OceanBase has been extensively tested and widely used in the industry, we have unveiled various hidden failures and crashes.

Index Terms: test oracle, metamorphic testing, DBMS, SQL, OceanBase, failure

1. This project was supported in part by an internship of the first author at Alibaba and Ant Group, China.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
3. (Corresponding author.)
Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
Email:
4. School of Computer Science and Software Engineering, University of Wollongong, Wollongong, NSW 2522, Australia,
and Alibaba and Ant Group, Hangzhou, China.

 EVERY VISITOR COUNTS:

  Cumulative visitor count