Testes baseados em propriedades com PropEr em Erlang

Testar sistemas complexos e stateful pode parecer como apontar para um alvo em movimento. Os testes unitários tradicionais muitas vezes perdem os bugs sutis que surgem somente após uma sequência específica de operações. Este curso baseado em texto orienta você através de testes baseados em propriedades stateful em Erlang, dando-lhe as ferramentas para gerar, executar e reduzir automaticamente casos de teste para APIs complexas. Você fará a transição de escrever asserções manuais para projetar máquinas de estado robustas que modelam o comportamento do seu sistema ao longo do tempo. Ao definir estados, transições e pré-condições, você permitirá que o PropEr descubra problemas ocultos de concorrência e casos de borda que as metodologias de teste tradicionais ignoram. O que você vai aprender: - Entenda os princípios básicos dos testes baseados em propriedades e stateful - Modele comportamentos complexos de API usando comportamentos de máquina de estado PropEr - Gere e valide sequências de teste dinâmicas para descobrir bugs de integração profunda - Manipule tipos de dados complicados, incluindo entradas Unicode e binárias, em seus geradores de teste - Analise e depure casos de teste com falha usando técnicas de encolhimento automatizadas - Estruture suas suítes de teste para executar com eficiência em fluxos de trabalho de construção Erlang modernos Este curso começa com conceitos fundamentais, definindo o que é teste stateful e como ele difere da geração de propriedades stateless. Você então progredirá passo a passo através de explicações escritas e exemplos de código, construindo um modelo completo de uma API a partir do zero, refinando seus geradores e interpretando as saídas de teste. Este curso é projetado para desenvolvedores Erlang que desejam elevar seus padrões de teste. Nenhuma experiência prévia com PropEr ou testes baseados em propriedades é necessária, embora uma familiaridade básica com a sintaxe Erlang e os conceitos OTP seja recomendada. Comece a ler hoje para construir sistemas Erlang à prova de balas que resistem ao uso imprevisível do mundo real.