8 posts
Seus unit tests verificam entradas específicas. A execução simbólica verifica todas as entradas possíveis. Veja como funciona, o que custa e por onde começar.
Sua test suite tem 94% de cobertura e zero falhas. Um motor de execução simbólica encontra um crash no seu código em menos de três segundos. O teste não está…
O metamorphic testing descobriu bugs reais no GCC, no LLVM, em compilers de shaders Vulkan e em simuladores de ADAS. Este post explica a técnica com código funcional e mostra onde ela se encaixa na sua test suite.
O metamorphic testing encontrou 147 bugs confirmados no GCC e no LLVM, defeitos em simuladores comerciais de ADAS usados por fabricantes de equipamentos…
Nem todas as metamorphic relations capturam bugs. Relations fracas dão falsa confiança enquanto as fortes encontram falhas reais. Veja como distinguir a diferença e construir um conjunto de relations que realmente funcione.
Você escreveu doze metamorphic relations para seu motor de precificação. Cada teste passa. Você se sente bem com sua cobertura. Então um cliente relata que os…
O metamorphic testing permite que você verifique a correção do código sem saber a saída esperada exata. Veja como funciona, quando falha e como começar a usá-lo.
Você entrega um modelo de machine learning que rotula tickets de suporte. Sua test suite está verde. Cada teste passou. Nenhum desses testes realmente verifica…
A programação literária mantém a documentação, os testes e a implementação sincronizados ao tornar um ficheiro Markdown a única fonte de verdade. Eis como implementá-la em trinta linhas de Python.
A sua documentação, testes e código são três ficheiros a contar a mesma história mal. Atualiza a assinatura da função no source. Esqueces o exemplo do README.…
Por que o model checking supera dias de execução em produção para encontrar bugs de concorrência, e como aplicá-lo ao seu próprio código.
Esperar que race conditions surjam em produção não é testar. É esperança disfarçada de diligência. Você pode executar seu app por semanas, monitorar seus…
Testes mockados de banco de dados verificam sua sintaxe SQL, não se as rows sobrevivem a crashes, escritas concorrentes, ou incompatibilidades de schema. Veja como testar persistência de verdade.
Se você mocka seu banco de dados nos testes, você está testando se sua camada de repository chama os métodos certos. Você não está testando se os dados…
Fazer mock de cada action do Redux transforma seus testes em um validador de changelog. Veja como testar sua store com transições de estado reais.
Se você já escreveu um teste que verifica se foi chamado com o formato exato do payload, você escreveu um teste que quebra toda vez que alguém renomeia uma…