Original em inglês: https://argusic.com/subject/sqlancer
sqlancer
Teste automatizado para encontrar bugs de lógica e desempenho em sistemas de banco de dados
Executafonte: GitHubpágina do projetoJavaMITcommit 9eb1db82e16f
Java, licença MIT. O projeto se descreve como: cockroachdb, dbms, dbms testing, fuzzing, mariadb, mysql, postgresql e sql.
sqlancer executa. Em uma máquina limpa sem GPU, um agent da Argusic o instalou em 38 minutos e encontrou 4 erros, corrigindo todos sem ajuda, e a sessão inteira foi gravada.
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
O que o agent conseguiu em uma máquina limpa, nas palavras dele. Como isto é medido
Medido pela Argusic em uma máquina nova, todas as vezes. Cada número tem link para as suas evidências. Pontuação Argusic 100 de 100 (a média das pontuações das execuções deste projeto).
Visão geral
Dados do projeto de GitHub, com link no topo desta página, atualizado em . Dados de teste da Argusic (CC BY 4.0); cada número tem link para uma página de execução com o log completo, a gravação e os hashes sha256 deles.
O que foi medido
Da execução que decidiu este veredito. Cada linha é um valor registrado, não uma estimativa.
O que deu errado, nas palavras do agent
As palavras do próprio agent, das piores para as menores, nunca reescritas como conselho.
- 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)
- Tempo de instalação
- 38 minutos
- Da máquina limpa até o fim
- 39 minutos
- Erros encontrados e corrigidos
- 4 encontrados, 4 corrigidos sem ajuda humana
- Como o resultado foi comprovado
- 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 exato testado
- 9eb1db82e16f
- Imagem do container
- sha256:cdd920bce783
O que não foi medido
A outra metade, para você ver exatamente até onde estas evidências vão. Uma lacuna é mostrada como lacuna e nunca é preenchida.
- Pico de memória da GPU
- esta execução foi em uma máquina com CPU, então não havia GPU para medir
- Comportamento em uma execução longa
- cada tentativa usa as menores configurações documentadas e um orçamento de tempo fixo, então isto mede se ele executa, não como ele se comporta sob carga
O fim da gravação
As últimas linhas da sessão de terminal que decidiu este veredito, exatamente como foram gravadas.
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
Reproduzir a sessão inteira, cada comando desde a máquina limpa até este ponto.
Como foi testado
Um agent, um container, nenhuma ajuda humana. Ele instala o projeto do jeito que a própria documentação do projeto manda, executa o projeto e corrige o que quebra. Tudo abaixo é registrado como aconteceu: a sessão de terminal, o log e o commit exato. A metodologia completa.
Pontos fortes e limites
Fatos medidos, não opiniões. Como este conteúdo é escrito.
O que deu certo
- Chegou a um estado de execução em uma máquina limpa, com a sessão gravada.
- Instalado em 38 minutos.
- Recuperou-se de todos os 4 erros sem que uma pessoa interviesse, o que indica que as falhas estão documentadas o suficiente para serem resolvidas.
- Executou sem GPU, então não precisa de uma para iniciar.
- Licença MIT, segundo a plataforma onde o projeto está hospedado.
- Medido 2 vezes, então o resultado não é um caso isolado.
Para que é uma escolha razoável
- Testar em um laptop ou em um servidor pequeno: ele chegou a um estado de execução sem GPU.
Também testados, na mesma área
Cada um destes foi instalado e executado pela Argusic em uma máquina limpa. Nada aparece aqui sem ter sido testado.
Histórico de execuções
Tópicos (de GitHub)
cockroachdbdbmsdbms-testingfuzzingmariadbmysqlpostgresqlsqlsqlitetestingtidb
Incorporar o selo
Markdown para o README do projeto. Ele tem link de volta para esta página; os termos estão na página de termos.
[](https://argusic.com/subject/sqlancer)Perguntas
- sqlancer executa?
- Sim. sqlancer executa. A Argusic o instalou e iniciou em uma máquina limpa em 38 minutos, encontrando 4 erros no caminho, e gravou a sessão.
- Como a Argusic testou sqlancer?
- Em uma máquina nova e descartável, com cada comando gravado e o repositório fixado no commit 9eb1db82e16f. Há 2 tentativas registradas, e a metodologia completa está na página da metodologia.
- Quanto custou testar sqlancer?
- A execução que produziu este veredito custou US$ 0,17: custo real de computação e de modelo, não um preço de tabela por milhão de tokens. Esse valor está registrado na página da execução.
- Quanto tempo leva para instalar sqlancer?
- 38 minutos na execução que decidiu este veredito, de uma máquina limpa até um estado de execução. É uma tentativa medida, não uma média.
- sqlancer precisa de GPU?
- Não para iniciar. A Argusic chegou a um estado de execução em uma máquina sem GPU.
- O que dá errado ao instalar sqlancer?
- 4 coisas quebraram na execução registrada, e 4 foram corrigidas sem ajuda humana. Cada uma, com o tempo que custou, está listada nesta página.
- Onde estão as evidências de sqlancer?
- Todas as 2 execuções registradas estão nesta página, cada uma com link para o seu log completo e a sua gravação do terminal, guardados com uma impressão digital sha256 para que não possam ser alterados discretamente.