Englisches Original: https://argusic.com/subject/sqlancer
sqlancer
Automatisiertes Testen zum Auffinden von Logik- und Leistungsfehlern in Datenbanksystemen
LäuftQuelle: GitHubHomepageJavaMITCommit 9eb1db82e16f
Java, Lizenz MIT. Das Projekt beschreibt sich selbst als: cockroachdb, dbms, dbms testing, fuzzing, mariadb, mysql, postgresql und sql.
sqlancer läuft. Ein Argusic-Agent hat es in 38 Minuten installiert und ist auf 4 Fehler gestoßen und hat jeden davon ohne Hilfe behoben. Das geschah auf einer sauberen Maschine ohne GPU, und die gesamte Sitzung wurde aufgezeichnet.
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
Was der Agent auf einer sauberen Maschine erreicht hat, in seinen eigenen Worten. So wird gemessen
Von Argusic jedes Mal auf einer frischen Maschine gemessen. Jede Zahl verlinkt auf ihren Nachweis. Argusic Score 100 von 100 (der Mittelwert der Lauf-Scores dieses Projekts).
Auf einen Blick
Projektdaten von GitHub, oben auf dieser Seite verlinkt, aktualisiert . Testdaten von Argusic (CC BY 4.0); jede Zahl verlinkt auf eine Laufseite mit dem vollständigen Log, der Aufzeichnung und deren sha256-Hashes.
Was gemessen wurde
Aus dem Lauf, der diesen Befund entschieden hat. Jede Zeile ist ein aufgezeichneter Wert, keine Schätzung.
Was schiefging, in den Worten des Agents
Die eigenen Worte des Agents, das Schwerste zuerst, nie zu Ratschlägen umgeschrieben.
- Java 11+ and Maven not pre-installed in container18 Minuten
- First Maven 3.9.16 download from dlcdn incomplete (lib/ missing most JARs)15 Minuten
- Maven 3.9.9/3.8.8 URLs on dlcdn.apache.org returned 4042 Minuten
- PKIX cert warnings for maven.java.net repos (non-blocking)
- Installationszeit
- 38 Minuten
- Von der kalten Maschine bis zum Ende
- 39 Minuten
- Aufgetretene und behobene Fehler
- 4 aufgetreten, 4 ohne menschliche Hilfe behoben
- Wie das Ergebnis belegt wurde
- 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
- Verbrauchte Modell-Tokens
- 232.603
- Genau getesteter Commit
- 9eb1db82e16f
- Container-Image
- sha256:cdd920bce783
Was nicht gemessen wurde
Die andere Hälfte, damit Sie genau sehen, wie weit dieser Nachweis reicht. Eine Lücke wird als Lücke angezeigt und nie aufgefüllt.
- Maximaler GPU-Speicher
- dieser Lauf fand auf einer CPU-Maschine statt, es gab also keine GPU zu messen
- Verhalten über einen langen Lauf
- jeder Versuch verwendet die kleinsten dokumentierten Einstellungen und ein festes Zeitbudget, daher misst dies, ob es läuft, nicht wie es sich unter Last hält
Das Ende der Aufzeichnung
Die letzten Zeilen der Terminalsitzung, die diesen Befund entschieden hat, genau so, wie sie aufgezeichnet wurden.
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
Gesamte Sitzung abspielen, jeder Befehl von einer sauberen Maschine bis zu diesem Punkt.
So wurde getestet
Ein Agent, ein Container, keine menschliche Hilfe. Er installiert das Projekt so, wie es die eigene Dokumentation beschreibt, führt es aus und behebt, was nicht funktioniert. Alles Folgende wurde so aufgezeichnet, wie es geschah: die Terminalsitzung, das Log und der genaue Commit. Die vollständige Methodik.
Stärken und Grenzen
Gemessene Fakten, keine Meinungen. Wie diese Inhalte entstehen.
Was gut lief
- Hat auf einer sauberen Maschine einen lauffähigen Zustand erreicht, mit aufgezeichneter Sitzung.
- In 38 Minuten installiert.
- Hat sich von allen 4 Fehlern erholt, ohne dass ein Mensch eingriff, was zeigt, dass die Fehlschläge gut genug dokumentiert sind, um sie zu lösen.
- Lief ohne GPU, braucht also keine, um zu starten.
- Lizenz MIT, laut Angabe des Hosts.
- 2-mal gemessen, das Ergebnis ist also kein Einzelfall.
Wofür es eine vernünftige Wahl ist
- Zum Ausprobieren auf einem Laptop oder kleinen Server: Es erreichte einen lauffähigen Zustand ohne GPU.
Ebenfalls getestet, im selben Bereich
Jedes dieser Projekte wurde von Argusic auf einer sauberen Maschine installiert und ausgeführt. Hier erscheint nichts, was nicht getestet wurde.
Laufverlauf
Themen (von GitHub)
cockroachdbdbmsdbms-testingfuzzingmariadbmysqlpostgresqlsqlsqlitetestingtidb
Badge einbetten
Markdown für die README des Projekts. Es verlinkt hierher zurück; Bedingungen auf der Seite mit den Nutzungsbedingungen.
[](https://argusic.com/subject/sqlancer)Fragen
- Läuft sqlancer?
- Ja. sqlancer läuft. Argusic hat es auf einer sauberen Maschine in 38 Minuten installiert und gestartet, ist dabei auf 4 Fehler gestoßen und hat die Sitzung aufgezeichnet.
- Wie hat Argusic sqlancer getestet?
- Auf einer frischen Einwegmaschine, mit jedem Befehl aufgezeichnet und dem Repository fixiert auf Commit 9eb1db82e16f. 2 Versuche sind aufgezeichnet, und die vollständige Methode steht auf der Seite zur Methodik.
- Was hat der Test von sqlancer gekostet?
- Der Lauf, der diesen Befund ergab, kostete 0,17 USD: echte Rechen- und Modellkosten, kein Listenpreis pro Million Tokens. Der Betrag ist auf der Seite dieses Laufs aufgezeichnet.
- Wie lange dauert die Installation von sqlancer?
- 38 Minuten in dem Lauf, der diesen Befund entschieden hat, von einer sauberen Maschine bis zum lauffähigen Zustand. Das ist ein gemessener Versuch, kein Durchschnitt.
- Braucht sqlancer eine GPU?
- Nicht zum Starten. Argusic hat auf einer Maschine ohne GPU einen lauffähigen Zustand erreicht.
- Was geht bei der Installation von sqlancer schief?
- Im aufgezeichneten Lauf gingen 4 Dinge kaputt, und 4 davon wurden ohne menschliche Hilfe behoben. Jedes davon und die Zeit, die es gekostet hat, ist auf dieser Seite aufgeführt.
- Wo ist der Nachweis für sqlancer?
- Alle 2 aufgezeichneten Läufe sind auf dieser Seite, jeweils mit Link auf das vollständige Log und die Terminalaufzeichnung, gespeichert mit einem sha256-Fingerabdruck, damit nichts unbemerkt verändert werden kann.