Sqlancer:偵測資料庫管理系統( DBMS )中的邏輯臭蟲

Sqlancer (Synthesized Query Lancer)是一個自動測試資料庫管理系統(DBMS)的工具,目的是發現其實現中的邏輯錯誤。 我們將邏輯錯誤稱為那些導致 DBMS 獲取不正確結果集的錯誤(例如,省略了一筆記錄)。

SQLancer 分成兩個階段

  • 資料庫生成:這個階段的目標是建立一個資料增加的( populated )資料庫,並強調 DBMS 增加導致隨後可能檢測到的不一致資料庫狀態的可能性。 首先,建立隨機表( random tables )。 然後,隨機選擇 SQL 語句來生成、修改和刪除資料。 還有其他語句,比如建立索引和檢視以及設定 DBMS 特定選項的語句,也被發送到 DBMS
  • 測試::這個階段的目標是基於生成的資料庫檢測邏輯錯誤。

專案網址

也許你會有興趣

找相關課程?試看看 Soft & Share 網站搜尋引擎

✍ 搜尋結果太多?可參考 Soft & Share 搜尋引擎使用技巧

追蹤 Soft & Share

幫我們個小忙!

這個網站採用 Akismet 服務減少垃圾留言。進一步了解 Akismet 如何處理網站訪客的留言資料

Powered by WordPress.com.

Up ↑

%d 位部落客按了讚: