Closed stonewhitener closed 8 months ago
ロジックバグ (result set の誤り) を見つけるためのフレームワーク Pivoted Query Synthesis (PQS) を提案，PQS に基づくテストツール SQLancer を構築．ランダムに生成したテーブルからランダムにピボット行を選択し，ピボット行が取得できるような WHERE 句あるいは JOIN 句の式をランダムに生成．生成したクエリを DBMS で実行し，result set にピボット行が含まれるかどうかを確認してロジックバグを検出．SQLancer を用いて SQLite，MySQL，PostgreSQL で 121 のロジックバグを発見した．
Metadata
Summary
ロジックバグ (result set の誤り) を見つけるためのフレームワーク Pivoted Query Synthesis (PQS) を提案，PQS に基づくテストツール SQLancer を構築．ランダムに生成したテーブルからランダムにピボット行を選択し，ピボット行が取得できるような WHERE 句あるいは JOIN 句の式をランダムに生成．生成したクエリを DBMS で実行し，result set にピボット行が含まれるかどうかを確認してロジックバグを検出．SQLancer を用いて SQLite，MySQL，PostgreSQL で 121 のロジックバグを発見した．