[lablua] Re: Apresentação LabLua sexta 17/10

  • From: Ana Lúcia de Moura <amoura@xxxxxxxxxxxxxx>
  • To: lablua@xxxxxxxxxxxxx
  • Date: Thu, 16 Oct 2014 10:16:11 -0300

Pessoal,
Nosso local de sempre está confirmado: sala 418, sexta (amanhã) às 14h.

[]s
Ana

Em 13 de outubro de 2014 15:49, Ana Lúcia de Moura
<amoura@xxxxxxxxxxxxxx> escreveu:
> 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: