英語の原文: https://argusic.com/subject/sqlancer

sqlancer

データベースシステムにおける論理バグとパフォーマンスバグを見つけるための自動テスト

動作するソース: GitHubホームページJavaMITコミット 9eb1db82e16f

Java、MIT ライセンス. プロジェクト自身の表記: cockroachdb、dbms、dbms testing、fuzzing、mariadb、mysql、postgresql、sql.

sqlancer は動作します。Argusic のエージェントが GPU のないクリーンなマシンで 38 分でインストールし、4 件のエラーに遭遇してすべてを自力で修正し、セッション全体が記録されました。

SQLancer 2.0.0 successfully built with Maven, 51/51 unit tests passed (0 failures, 0 errors), and the fat JAR ran against SQLite executing thousands of queries via the NoREC test oracle with 96% statement success rate

クリーンなマシンでエージェントが最終的に得た結果 (エージェント自身の言葉)。 計測方法

Argusic が毎回新しいマシンで計測しています。 すべての数値はその証拠にリンクしています。 Argusic スコア 100 点中 100 点 (このプロジェクトの実行スコアの平均)。

概要

判定
動作する
Argusic スコア
100 / 100
検証した実行のコスト
0.17 USD (実測)
記録された実行
2
最終テスト
スター
1,772
フォーク
405
未解決の Issue
144
ウォッチャー
30
サイズ
6 MB
作成日
最終プッシュ

プロジェクトのデータは GitHub から取得 (このページの冒頭にリンクあり)、更新日 。テストデータは Argusic によるもので (CC BY 4.0)、すべての数値は、完全なログ、録画、それらの sha256 ハッシュを含む実行ページにリンクしています。

計測した内容

この判定を決めた実行から取得しています。 各行は記録された値であり、推定値ではありません。

sqlancer のテスト中に各失敗で失われた時間 (記録された実行から作成)
各バーはエージェントが記録した失敗と、それにかかった時間です。この実行のデータのみから描いています。

うまくいかなかった点 (エージェント自身の言葉)

エージェント自身の言葉を、深刻なものから順に掲載しています。助言に書き換えることはありません。

  • Java 11+ and Maven not pre-installed in container18 分
  • First Maven 3.9.16 download from dlcdn incomplete (lib/ missing most JARs)15 分
  • Maven 3.9.9/3.8.8 URLs on dlcdn.apache.org returned 4042 分
  • PKIX cert warnings for maven.java.net repos (non-blocking)
インストール時間
38 分
クリーンなマシンから完了まで
39 分
遭遇したエラーと修正したエラー
4 件に遭遇、4 件を人の手を借りずに修正
結果の証明方法
mvn test -Dtest=... returned 51 tests run, 0 failures, 0 errors; java -jar target/sqlancer-2.0.0.jar --num-threads 1 --timeout-seconds 15 sqlite3 --oracle NoREC ran and executed 7294 queries with 96% success rate
使用したモデルのトークン
232,603
テストした正確なコミット
9eb1db82e16f
コンテナイメージ
sha256:cdd920bce783

計測していない内容

残りの半分です。この証拠がどこまでを示すのかを正確に確認できます。欠けている部分は欠けているものとして表示し、埋めることはありません。

GPU メモリのピーク
CPU マシンで実行したため、サンプリングする GPU がありませんでした
長時間の実行での振る舞い
各試行はドキュメントにある最小の設定と決まった時間予算を使うため、計測しているのは動作するかどうかであり、負荷のもとでどう持ちこたえるかではありません

録画の最後

この判定を決めたターミナルセッションの最後の行を、記録されたとおりに表示しています。

4. PKIX certificate warnings for java.net repos → non-blocking warnings, build succeeded anyway
tokens used
232,603
Here's a summary of what was done:
**Installation**: Java 11 (Adoptium Temurin) and Maven 3.9.16 were downloaded from the archive dire…
**Tests**: `mvn test` was run for all non-DBMS unit tests (`TestRandomly`, `TestExpectedErrors`, `T…
**Runtime verification**: `java -jar target/sqlancer-2.0.0.jar --num-threads 1 --timeout-seconds 15…
**Issues encountered and resolved**:
1. Java 11+ and Maven not pre-installed → downloaded Temurin JDK 11 and Apache Maven 3.9.16
2. Maven download from dlcdn.apache.org was incomplete (missing JARs) → re-downloaded from archive.…
3. Maven 3.9.9/3.8.8 URLs returning 404 → used 3.9.16 from archive
4. PKIX certificate warnings for java.net repos → non-blocking warnings, build succeeded anyway

セッション全体を再生 (クリーンなマシンからこの時点までのすべてのコマンド)。

テスト方法

1 つのエージェント、1 つのコンテナで、人の手は借りません。エージェントはプロジェクト自身のドキュメントに書かれた方法でインストールし、実行し、壊れた部分を修正します。以下はすべて、実際に起きたとおりに記録されています: ターミナルセッション、ログ、そして正確なコミットです。 評価方法の全文.

強みと限界

意見ではなく、計測された事実です。コンテンツの作成方法.

うまくいった点

  • クリーンなマシンで実行状態に達し、セッションが記録されました。
  • 38 分でインストールできました。
  • 4 件のエラーすべてから、人の介入なしに回復しました。失敗が解決できる程度にはドキュメント化されていることを示しています。
  • GPU なしで動作したため、起動に GPU は必要ありません。
  • ホストの報告によると、ライセンスは MIT です。
  • 2 回計測しているため、一度きりの結果ではありません。

適している用途

  • ノートパソコンや小さなサーバーで試す場合: GPU なしで実行状態に達しました。

同じ分野でテストしたプロジェクト

ここに挙げたものはすべて、Argusic がクリーンなマシンにインストールして実行しました。テストしていないものは表示されません。

実行履歴

テスト担当試行結果スコアコスト (USD)日時
Argusic Runner2/3動作した100.000.17
Argusic Runner1/3動作した100.000.14

トピック (出典: GitHub)

cockroachdbdbmsdbms-testingfuzzingmariadbmysqlpostgresqlsqlsqlitetestingtidb

バッジを埋め込む

プロジェクトの README に貼る Markdown です。バッジはこのページにリンクします。利用条件: 利用規約ページ.

[![Tested by Argusic](https://argusic.com/badge/sqlancer.svg)](https://argusic.com/subject/sqlancer)

質問

sqlancer は動作しますか?
はい。sqlancer は動作します. Argusic はクリーンなマシンで 38 分でインストールして起動し、途中で 4 件のエラーに遭遇し、セッションを記録しました。
Argusic は sqlancer をどのようにテストしましたか?
新しい使い捨てのマシンで、すべてのコマンドを記録しながらテストしました (リポジトリはコミット 9eb1db82e16f に固定)。記録された試行は 2 回で、手順の全体は評価方法のページに掲載しています。
sqlancer のテストにはいくらかかりましたか?
この判定を出した実行のコストは 0.17 USD です: 100 万トークンあたりの定価ではなく、実際の計算資源とモデルのコストです。その実行のページに記録されています。
sqlancer のインストールにはどのくらい時間がかかりますか?
この判定を決めた実行では、クリーンなマシンから実行状態まで 38 分でした。これは 1 回の計測された試行であり、平均ではありません。
sqlancer には GPU が必要ですか?
起動には必要ありません。Argusic は GPU のないマシンで実行状態に達しました。
sqlancer のインストールでは何がうまくいきませんか?
記録された実行では 4 件の問題が発生しました。そのうち 4 件は人の手を借りずに修正されました。それぞれの問題と、かかった時間をこのページに掲載しています。
sqlancer の証拠はどこにありますか?
記録された 2 回の実行すべてをこのページに掲載しており、それぞれが完全なログとターミナル録画にリンクしています。録画は sha256 フィンガープリントとともに保存されているため、こっそり改変することはできません。

Discussion