Explorando comportamentos de APIs RESTful em um ambiente industrial

Resumo Uma maneira comum de expor funcionalidade em sistemas contemporâneos é fornecendo uma Web-API baseada nas diretrizes arquitetônicas da API REST. Para descrever APIs REST, o padrão da indústria atualmente é as especificações OpenAPI. A geração de testes e métodos de fuzzing direcionados a APIs REST descritas por OpenAPI têm sido uma área de pesquisa muito ativa nos últimos anos. Um desafio de pesquisa aberto é ajudar os usuários a entender melhor sua API, além de encontrar falhas e cobrir todo o código. Neste artigo, abordamos esse desafio propondo um conjunto de propriedades comportamentais, comuns às APIs REST, que são utilizadas para gerar exemplos de comportamentos que essas APIs exibem. Esses exemplos podem ser usados tanto (i) para avançar na compreensão da API quanto (ii) como uma fonte de casos de teste automáticos. Nossa avaliação mostra que nossa abordagem pode gerar exemplos considerados relevantes para a compreensão do sistema e para uma fonte de geração de testes por praticantes. Além disso, mostramos que basear a geração de testes em propriedades comportamentais fornece testes que são menos dependentes do estado do sistema, enquanto ao mesmo tempo geram uma cobertura de código semelhante à de métodos de ponta em fuzzing de API REST em um determinado limite de tempo.