Banca de QUALIFICAÇÃO: JOÃO BATISTA DE SOUZA NETO

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: JOÃO BATISTA DE SOUZA NETO
DATA: 19/09/2014
HORA: 08:00
LOCAL: sala de reuniões do dimap
TÍTULO:

Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento


PALAVRAS-CHAVES:

Qualidade; Métodos Formais; Teste de Software;  Método B; Teste de Unidade.


PÁGINAS: 102
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
RESUMO:

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.


MEMBROS DA BANCA:
Interno - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 2220777 - DAVID BORIS PAUL DEHARBE
Interno - 1221251 - MARTIN ALEJANDRO MUSICANTE
Notícia cadastrada em: 08/09/2014 11:38
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa01-producao.info.ufrn.br.sigaa01-producao