近日,電科太極金倉數據庫聯合共建的數據庫協同創新聯合實驗室研究成果《DBcover:?A?White-box?SQL?Test?Generation?Framework?for?Coverage?Improvement》?被軟件工程領域國際頂級會議正式錄用,標志著國產數據庫在底層技術研究方面取得又一階段性進展。

針對提高數據庫在工業測試中的代碼覆蓋率難題,電科太極金倉數據庫聯合創新提出DBcover框架,將輕量級動態分析與大模型(LLM)相結合,通過理解SQL語句的執行路徑,采用兩階段策略智能生成高覆蓋SQL用例,顯著減少冗余執行與無效探索,自動推斷觸發未覆蓋代碼所需的上下文條件,并生成對應測試用例,降低對專家經驗的依賴。實驗表明,在相同測試時間內,DBcover框架可將代碼覆蓋率提升至80%以上,較基線方法最高提升了56.6%,有力增強金倉數據庫內核的可靠性。
后續,電科太極金倉數據庫將繼續深耕數據庫領域,以更多創新成果推動國產基礎軟件實現高質量發展。