Original en inglés: https://argusic.com/subject/sqlancer
sqlancer
Pruebas automatizadas para encontrar errores de lógica y rendimiento en sistemas de bases de datos.
Funcionafuente: GitHubsitio webJavaMITcommit 9eb1db82e16f
Java, licencia MIT. El proyecto se describe a sí mismo como: cockroachdb, dbms, dbms testing, fuzzing, mariadb, mysql, postgresql y sql.
sqlancer funciona. Un agent de Argusic lo instaló en 38 minutos y encontró 4 errores, todos corregidos sin ayuda en una máquina limpia sin GPU, y toda la sesión quedó grabada.
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
Lo que el agent consiguió en una máquina limpia, en sus propias palabras. Cómo se mide
Medido por Argusic en una máquina limpia cada vez. Cada cifra enlaza a su evidencia. Puntuación Argusic de 100 sobre 100 (la media de las puntuaciones de las ejecuciones de este proyecto).
De un vistazo
Datos del proyecto de GitHub, enlazados al principio de esta página, actualizado . Datos de prueba de Argusic (CC BY 4.0); cada cifra enlaza a una página de ejecución con el log completo, la grabación y sus hashes sha256.
Qué se midió
De la ejecución que decidió este veredicto. Cada línea es un valor registrado, no una estimación.
Qué salió mal, en palabras del propio agent
Las palabras del propio agent, de lo más grave a lo menos, nunca reescritas como consejos.
- Java 11+ and Maven not pre-installed in container18 minutos
- First Maven 3.9.16 download from dlcdn incomplete (lib/ missing most JARs)15 minutos
- Maven 3.9.9/3.8.8 URLs on dlcdn.apache.org returned 4042 minutos
- PKIX cert warnings for maven.java.net repos (non-blocking)
- Tiempo de instalación
- 38 minutos
- De máquina en frío a terminar
- 39 minutos
- Errores encontrados y corregidos
- 4 encontrados, 4 corregidos sin ayuda humana
- Cómo se demostró el resultado
- 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
- Tokens de modelo usados
- 232.603
- Commit exacto probado
- 9eb1db82e16f
- Imagen del contenedor
- sha256:cdd920bce783
Qué no se midió
La otra mitad, para que veas exactamente hasta dónde llega esta evidencia. Un hueco se muestra como hueco y nunca se rellena.
- Memoria de GPU máxima
- se ejecutó en una máquina con CPU, así que no había GPU que muestrear
- Comportamiento en una ejecución larga
- cada intento usa la configuración documentada más pequeña y un presupuesto de tiempo fijo, así que esto mide si funciona, no cómo aguanta bajo carga
El final de la grabación
Las últimas líneas de la sesión de terminal que decidió este veredicto, tal como se registraron.
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
Reproducir la sesión completa, cada comando desde una máquina limpia hasta este punto.
Cómo se probó
Un agent, un contenedor, sin ayuda humana. Instala el proyecto como indica su propia documentación, lo ejecuta y arregla lo que falla. Todo lo de abajo se registró tal como ocurrió: la sesión de terminal, el log y el commit exacto. La metodología completa.
Puntos fuertes y límites
Hechos medidos, no opiniones. Cómo se redacta.
Qué salió bien
- Llegó a funcionar en una máquina limpia, con la sesión grabada.
- Se instaló en 38 minutos.
- Se recuperó de los 4 errores sin que interviniera una persona, lo que indica que los fallos están lo bastante documentados como para resolverlos.
- Funcionó sin GPU, así que no necesita una para arrancar.
- Licencia MIT, según su plataforma de origen.
- Medido 2 veces, así que el resultado no es algo puntual.
Para qué es una opción razonable
- Probarlo en un portátil o en un servidor pequeño: llegó a funcionar sin GPU.
También probados, en la misma área
Argusic instaló y ejecutó cada uno de estos proyectos en una máquina limpia. Aquí no aparece nada que no se haya probado.
Historial de ejecuciones
Temas (de GitHub)
cockroachdbdbmsdbms-testingfuzzingmariadbmysqlpostgresqlsqlsqlitetestingtidb
Insertar el badge
Markdown para el README del proyecto. Enlaza de vuelta aquí; condiciones en la página de términos.
[](https://argusic.com/subject/sqlancer)Preguntas
- ¿Funciona sqlancer?
- Sí. sqlancer funciona. Argusic lo instaló y lo inició en una máquina limpia en 38 minutos, con 4 errores por el camino, y grabó la sesión.
- ¿Cómo probó Argusic sqlancer?
- En una máquina limpia y desechable, con cada comando grabado y el repositorio fijado en el commit 9eb1db82e16f. Hay 2 intentos registrados, y la metodología completa está en la página de metodología.
- ¿Cuánto costó probar sqlancer?
- La ejecución que produjo este veredicto costó 0,17 USD: costo real de cómputo y de modelo, no un precio de lista por millón de tokens. Consta en la página de esa ejecución.
- ¿Cuánto tarda sqlancer en instalarse?
- 38 minutos en la ejecución que decidió este veredicto, desde una máquina limpia hasta que funcionó. Es un intento medido, no una media.
- ¿Necesita sqlancer una GPU?
- No para arrancar. Argusic consiguió que funcionara en una máquina sin GPU.
- ¿Qué falla al instalar sqlancer?
- En la ejecución registrada fallaron 4 cosas, y 4 se corrigieron sin ayuda humana. Cada una, con el tiempo que costó, aparece en esta página.
- ¿Dónde está la evidencia de sqlancer?
- Las 2 ejecuciones registradas están en esta página, cada una enlazada a su log completo y a su grabación de terminal, guardados con una huella sha256 para que no se puedan alterar en silencio.