article · 2025
Testing Spatial Database Engines via Spatial Equivalent Transformation
Shijie Li, Dongping Wang, Liang Liu, Kun Yang, Lingwei Kuang
Cited by 0Abstract and details only
Abstract
Spatial Database Management Systems (SDBMSs) utilize spatial data models for data storage. They efficiently handle spatial queries, such as KNN and spatial range queries. SDBMSs also perform topological analysis. They are widely applied in Geographic Information Systems (GIS) and navigation systems. SDBMSs are foundational software, similar to Relational Database Management Systems (RDBMSs). Logic bugs in SDBMSs lead to unexpected results. This causes functional defects or unavailability in upper-layer applications. Therefore, the automated detection of SDBMS logic bugs is an urgent issue that requires resolution.We propose a testing technique called Spatial Equivalent Transformation (SET). SET constructs the test oracle for SDBMS logic bugs. The technique generates equivalent variants of a seed query to test diverse and complex spatial operations by checking the consistency of their result sets. Simultaneously, we introduce a Geometric Generator utilizing geometric transformations. This generator efficiently creates representative spatial query test cases. We implemented this method as a tool named Spader, and then comprehensively evaluated its effectiveness on three widely used SDBMSs: PostGIS, MySQL, and MariaDB. The experimental results show that the method detected a total of 16 logic bugs. The developers have confirmed 15 of these bugs and 4 have already been fixed.
Cite this paper
Li, S., Wang, D., Liu, L., Yang, K., & Kuang, L. (2025). Testing Spatial Database Engines via Spatial Equivalent Transformation. https://doi.org/10.1109/girst67753.2025.11382165
Li, Shijie, et al. “Testing Spatial Database Engines via Spatial Equivalent Transformation.” 2025, pp. 178–82, https://doi.org/10.1109/girst67753.2025.11382165.
Li, Shijie, Dongping Wang, Liang Liu, Kun Yang, and Lingwei Kuang. 2025. “Testing Spatial Database Engines via Spatial Equivalent Transformation.” https://doi.org/10.1109/girst67753.2025.11382165.
Li, S. et al. (2025) ‘Testing Spatial Database Engines via Spatial Equivalent Transformation’. Available at: https://doi.org/10.1109/girst67753.2025.11382165.
@article{li2025testing,
title = {{Testing Spatial Database Engines via Spatial Equivalent Transformation}},
author = {Li, Shijie and Wang, Dongping and Liu, Liang and Yang, Kun and Kuang, Lingwei},
pages = {178--182},
year = {2025},
doi = {10.1109/girst67753.2025.11382165}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.