Data-Oriented Differential Testing of Object-Relational Mapping Systems.
Saved in:
| Title: | Data-Oriented Differential Testing of Object-Relational Mapping Systems. |
|---|---|
| Authors: | Sotiropoulos, Thodoris, Chaliasos, Stefanos, Atlidakis, Vaggelis, Mitropoulos, Dimitris, Spinellis, Diomidis |
| Source: | ICSE: International Conference on Software Engineering; 5/22/2021, p1535-1547, 13p |
| Subject Terms: | QUERY languages (Computer science), ARTIFICIAL intelligence, COMPUTER software development, SOFTWARE engineering, DATABASES |
| Abstract: | We introduce, what is to the best of our knowledge, the first approach for systematically testing Object-Relational Mapping (ORM) systems. Our approach leverages differential testing to establish a test oracle for ORM-specific bugs. Specifically, we first generate random relational database schemas, set up the respective databases, and then, we query these databases using the APIs of the ORM systems under test. To tackle the challenge that ORMs lack a common input language, we generate queries written in an abstract query language. These abstract queries are translated into concrete, executable ORM queries, which are ultimately used to differentially test the correctness of target implementations. The effectiveness of our method heavily relies on the data inserted to the underlying databases. Therefore, we employ a solver-based approach for producing targeted database records with respect to the constraints of the generated queries. We implement our approach as a tool, called CYNTHIA, which found 28 bugs in five popular ORM systems. The vast majority of these bugs are confirmed (25/28), more than half were fixed (20/28), and three were marked as release blockers by the corresponding developers. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Be the first to leave a comment!