中国人民大学联合金仓数据库攻克数据库测试难题，论文入选ICSE 2026

近日，由中电科金仓（北京）科技股份有限公司与中国人民大学共建的“数据库协同创新联合实验室”研究成果——《DBcover: A White-box SQL Test Generation Framework for Coverage Improvement》被软件工程领域国际顶级会议ICSE 2026的Industry Challenge Track正式录用。ICSE（IEEE/ACM International Conference on Software Engineering）是软件工程领域最具影响力的顶级国际学术会议，被中国计算机学会（CCF）列为A类会议。该论文是实验室成立后发表的首篇CCF A类论文，标志着国产数据库在底层技术研究方面取得又一阶段性进展。

长期以来，传统数据库内核测试面临两大困境：一是传统模糊测试缺乏对“SQL-to-path”映射的理解，效率低；二是面对复杂的SQL引擎和大量兼容特性，传统手工或规则驱动的测试方法难以覆盖深层逻辑路径，难以规模化实施。如何提高数据库在工业测试中代码覆盖率，成了一个颇具挑战的目标。

DBcover创新性地将轻量级动态分析与大模型（LLM）相结合，通过理解SQL语句的执行路径，并采用两阶段策略智能生成高覆盖SQL用例。它摒弃了传统模糊测试中大量无效变异的低效模式，转向“知识引导 + 精准变异”策略，显著减少冗余执行与无效探索，大幅提升测试效率；同时，它利用大模型对源码语义的深度理解，结合轻量程序分析，自动推断触发未覆盖代码所需的上下文条件，并生成对应测试用例，降低对专家经验的依赖。

实验表明，在相同测试时间内，DBcover可将代码覆盖率提升至80%以上，较基线方法最高提升了56.6%，有力增强了KingbaseES数据库内核的可靠性与健壮性。

这场产学研的深度融合，正是电科金仓坚持技术创新的生动体现。从真实产业需求出发，依托高校学术资源，使研究既扎根于实际场景，又具备前沿技术视野。DBcover的诞生，不仅为业界提供了高效、可扩展的白盒测试新范式，也积极响应了国家信创战略下市场对高可靠基础软件的迫切需求。

尤其在金融、运营商、能源等高端核心领域，数据系统的可靠与稳定直接关乎国计民生，任何细微的代码缺陷都可能引发重大业务风险。因此，金仓数据库始终视质量为生命线，持续投入测试体系与工具链建设，致力于打造超越行业标准的产品可靠性。测试覆盖度正是衡量与提升数据库质量的关键维度——更高的覆盖度意味着更充分的代码验证与更隐蔽缺陷的暴露，从而在源头筑牢数据库的信任基石。这也正是国产基础软件实现突破的关键路径：以产业痛点为导向，以学术创新为支撑，让技术在实践与合作中持续迭代、不断精进。

该项研究的背后，是一支兼具学术深度与产业洞察的团队。论文由中国人民大学信息学院2024级硕士生荣彦凯作为第一作者，在卢卫教授与刘爽副教授的共同指导下，与电科金仓技术专家协作完成。

从技术探索到实际应用，国产数据库的崛起离不开每一次技术细节的打磨与每一场产学研的携手。未来，联合实验室将继续深耕数据库领域，以更多创新成果推动国产基础软件实现高质量发展。