[lablua] Apresentação LabLua sexta 17/10
- From: Ana Lúcia de Moura <amoura@xxxxxxxxxxxxxx>
- To: lablua@xxxxxxxxxxxxx
- Date: Mon, 13 Oct 2014 15:49:42 -0300
Pessoal,
na próxima sexta, 17/10, 'as 14h. teremos uma apresentação do trabaho
do João, aluno de mestrado da UFRN que está nos visitando este mês.
Ainda confirmarei o local.
Resumo do trabalho:
"Das várias formas de se buscar qualidade de software, Teste de
Software e Métodos Formais são duas que merecem destaque. Vários
esforços vem sendo feitos pela comunidade para unir essas duas
metodologias, que podem se complementar e trazer mais qualidade para o
software. Um desses esforços foi a criação da abordagem e ferramenta
BETA (B Based Testing Approach), que gera casos de teste 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,
identificando seus problemas e limitações, assim como propor e
implementar melhorias, contribuindo para o seu aperfeiçoamento. Em um
dos estudos de caso um modelo parcial em B que foi baseado na API de
Lua está sendo aplicado em BETA. Nesse estudo, os testes gerados por
BETA serão utilizados para validar o modelo, verificando se o
comportamento da API está sendo especificado corretamente."
[]s
Ana Lúcia
Other related posts:
