一句话：提出首个面向图数据库写操作的蜕变测试方法 GraspDB，利用图状态持久化预言与变异规则发现写相关缺陷。
图数据库管理系统以图结构存储数据，支持社交网络、推荐系统等频繁写入场景，但现有测试方法多关注查询而忽略写入操作，难以发现相关缺陷。本文提出 GraspDB，一种面向图数据库写入操作的蜕变测试方法。它设计图状态持久化预言，基于标签属性图同构（LPG-Isomorphism）和标签属性子图同构（LPSG-Isomorphism）关系判定写入后状态是否保持一致，并引入三类变异规则以覆盖更多写入相关代码逻辑。作者在四个流行开源图数据库引擎上评估，共发现 77 个未知缺陷，其中 58 个被开发者确认、43 个已修复、31 个与写入操作相关。
Graph Database Management Systems (GDBMSs) store data in a graph format, facilitating rapid querying of nodes and relationships. This structure is particularly advantageous for applications like social networks and recommendation systems, which often involve frequent writing operations—such as adding new nodes, creating relationships, or modifying existing data—that potentially introduce bugs. However, existing GDBMS testing approaches tend to overlook these writing functionalities, failing to detect bugs arising from such operations. In this paper we present GraspDB, the first metamorphic testing approach specifically designed to identify bugs related to writing operations in graph database systems. GraspDB employs the Graph-State Persistence oracle, which is based on the Labeled Property Graph Isomorphism (LPG-Isomorphism) and Labeled Property Subgraph Isomorphism (LPSG-Isomorphism) relations. We also develop three classes of mutation rules aimed at engaging more diverse writing-related code logic. GraspDB has successfully detected 77 unique, previously unknown bugs across four popular open source graph database engines, among which 58 bugs are confirmed by developers, 43 bugs have been fixed and 31 are related to writing operations.
DOI 原文 ·
@inproceedings{paperbot8576,
title = {Testing Graph Database Systems with Graph-State Persistence Oracle},
author = {Shuang Liu and Junhao Lan and Xiaoning Du and Jiyuan Li and Wei Lu and Jiajun Jiang and Xiaoyong Du},
booktitle = {ISSTA},
year = {2024},
doi = {10.1145/3650212.3680311}
}