Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento
Qualidade; Métodos Formais; Teste de Software; Método B; Teste de Unidade.
O aumento da demanda e necessidade de software na sociedade e na indústria fez com que crescesse a preocupação em desenvolver software de qualidade. Métodos Formais e Teste de Software são duas abordagens que possuem essa finalidade, melhorando a qualidade do software. Vários esforços vem sendo feitos pela comunidade para unir essas abordagens, que podem se complementar e trazer mais qualidade para o software. Em um esforço da comunidade local, foi criada a abordagem e ferramenta BETA (B Based Testing Approach). BETA gera casos de teste de unidade, positivos e negativos, a partir de especificações formais na notação do Método B. O presente trabalho tem o objetivo de aplicar BETA em novos estudos de caso, com o intuito de fazer um estudo mais aprofundado sobre a abordagem e ferramenta. Com isso, queremos identificar os seus problemas e limitações, e propor e implementar melhorias, contribuindo para o aperfeiçoamento de BETA.