Random Elixir Code Generation Applied to Compiler Testing

Resumo

Os desenvolvedores esperam que os compiladores estejam corretos. Infelizmente, essas ferramentas não estão totalmente livres de bugs. Uma falha introduzida pelo compilador pode comprometer um sistema crítico e consequentemente ter consequências catastróficas, especialmente em aplicações de grande complexidade, afetando tanto os usuários finais quanto os desenvolvedores. Tais falhas podem levar a perdas financeiras significativas, vulnerabilidades de segurança e perda de confiabilidade do software. Portanto, testar e validar todas as funcionalidades do compilador para garantir seu correto funcionamento é essencial dada a sua importância no desenvolvimento de software. À luz do contexto dado, este artigo descreve uma ferramenta de geração de código aleatório usando Haskell que gera código Elixir bem-tipado aderindo a uma sintaxe especificada e regras de digitação, que serve como entrada para testes baseados em propriedades, esforçando-se para contribuir para o desenvolvimento, qualidade, e confiabilidade de sistemas de software desenvolvidos com Elixir.