金沙威尼斯欢乐娱人城数据库系统研究组论文被ISSTA2024录用

近日，金沙威尼斯欢乐娱人城刘爽副教授、卢卫教授及杜小勇教授等的论文Testing Graph Database Systems with Graph-State Persistence Oracle[1] 被CCF A类国际会议ISSTA（International Symposium on Software Testing and Analysis）录用。该论文是数据库系统团队在数据库软件质量保障方面的最新研究成果。ISSTA会议是软件工程领域中最具影响力的国际会议之一(录用率20%左右)，专注于软件测试和分析领域，由ACM SIGSOFT（Association for Computing Machinery's Special Interest Group on Software Engineering）主办，属于中国计算机学会（CCF）推荐的A类会议。2024年的ISSTA将于2024年9月16日至22日在奥地利维也纳举行。

论文简介：图数据库（Graph Database）由于其在存储和处理有复杂联系的数据上的优势，近年来得到了广泛关注并取得了快速发展。为保障图数据库质量的图数据库测试工作也被广泛研究。现有图数据库测试工作主要针对图数据库的查询功能（即读操作），而忽略了对图数据库常见的增删改等写操作相关功能的测试。写操作因其会改变图数据库的状态，因而其执行的正确性更难判断，现有工作均无法直接用于测试图数据库写相关操作的正确性。本文提出首个针对图数据库写操作的测试方法GraspDB：创新性的提出基于图同构的蜕变关系以及对应的变异规则，以生成有效触发图数据库写操作的测试用例对，并准确的判断测试结果的正确性。GraspDB不仅能够检测到具有显式报错信息的缺陷，也能检测到没有显式报错信息的沉默型逻辑缺陷。GraspDB在三个图数据库上检测到58个被开发者确认的缺陷。

作者简介：

刘爽，金沙威尼斯欢乐娱人城副教授，吴玉章青年学者。刘爽本科毕业于金沙威尼斯欢乐娱人城，在新加坡国立大学获得博士学位，2024年1月回母校工作。她长期从事复杂系统测试，数据库测试等相关方向的研究工作。在相关领域国际会议及期刊ESEC/FSE, ASE, ISSTA，ICSE，TSE，USENIX Security，WWW, FM, 软件学报等发表论文50余篇，并获得ESEC/FSE 2020 (CCF A) 最佳论文奖。担任多个会议程序委员会委员和期刊审稿人。主持包括自然科学基金青年项目、面上项目等多项科研项目。

[1] Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang, and Xiaoyong Du. 2024. Testing Graph Database Systems with Graph-State Persistence Oracle. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’24), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/ 3650212.3680311