Ir para o conteúdo

Visão geral do catálogo

Todo código de detecção da família, num só lugar. Cada página de linguagem abre com uma tabela de índice compacta (código, confiança, julgamento, resumo) que leva direto à entrada daquele código abaixo. As entradas correm um código de cada vez, agrupadas por família, cada uma dizendo o sinal exato que dispara a regra com um exemplo RUIM ao lado do parecido LIMPO, para deixar a fronteira visível.

Use a caixa de busca (canto superior direito) para pular para qualquer código por id (C5, JS21, R2) ou por palavra-chave (mock, skip, always-true). Todo código tem sua própria âncora, então relatórios e ferramentas podem apontar direto para ele.

As páginas

Três agrupamentos se repetem nas páginas estruturais: os códigos por arquivo (as séries C*, JS*, R*), a camada de projeto (PL*), emitida pela passagem de auditoria de config quando a suíte fica verde por configuração do runner e não por um smell dentro de algum arquivo, e o grupo de diagnóstico (D*, M2), opcional e OFF por padrão, que sinaliza higiene que não é false-green.

Como um código é compartilhado entre linguagens

Um código mantém seu id onde o conceito é o mesmo. C5 é a asserção sempre verdadeira, seja escrita assert True em Python, expect(true).toBe(true) em JavaScript, ou Should Be True ${TRUE} em Robot. O sinal muda por linguagem; o modo de falha não. Padrões específicos de linguagem ganham sua própria série: JS* para idiomas JavaScript, R* para construções Robot, S* para a passagem semântica.

A legenda

Cada entrada é marcada com três eixos.

Confiança decide o que a ferramenta faz com o achado:

Confiança Significado Efeito
ALTO um false-green definitivo bloqueia (saída não-zero)
BAIXO um smell provável, operador confirma avisa
OFF só diagnóstico mostrado sob demanda, nunca bloqueia

Julgamento (J1-J6) nomeia a garantia quebrada. Veja julgamentos.
J1 a asserção não roda
J2 o valor esperado não vem de um oráculo independente
J3 a unidade real não é exercitada
J4 a asserção é insuficiente
J5 o teste se acopla a detalhes internos
J6 o teste não passa isolado

Família (F1-F8) nomeia o modo de falha. Veja taxonomia.
F1 não verifica nada
F2 a verificação nunca roda
F3 a verificação é sempre verdadeira
F4 verifica a coisa errada

Uma nota sobre os parecidos

Para a maioria dos códigos o catálogo também mostra o que não sinalizar: o padrão que lembra o smell mas está correto. Uma autocomparação que também testa __eq__, uma checagem de truthiness na camada HTTP, um wrapper de mock tipado. Essas exceções são o motivo de a taxa de falso-positivo se manter baixa, e estão listadas em cada página.