Banca de QUALIFICAÇÃO: ERNESTO CID BRASIL DE MATOS

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: ERNESTO CID BRASIL DE MATOS
DATA: 19/08/2011
HORA: 14:00
LOCAL: sala de reuniões DIMAp
TÍTULO:

Uma Ferramenta para Geração de Testes de Unidade a partir de Especificações B

PALAVRAS-CHAVES:

Métodos Formais; Testes de Software; Método B; Testes de Unidade.

PÁGINAS: 30
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

O Método B é um método para especificação e desenvolvimento formal de sistemas. No Método B, especificações de um sistema são feitas através de máquinas B. Estas máquinas utilizam conceitos de teoria de conjuntos, lógica de primeira ordem e aritmética inteira, para definir máquinas de estado abstratas que representam o comportamento do sistema. Apesar de permitir que sistemas sejam matematicamente verificados, métodos formais não são suficientes para garantir que um sistema esteja livre de erros. Técnicas de teste de software são necessárias para complementá-los e prover mais segurança ao processo de desenvolvimento. Este trabalho tem como objetivo desenvolver uma ferramenta para geração automática de testes de unidade a partir especificações B. O método de geração de casos de teste que será utilizado pela ferramenta foi previamente definido por Fernanda Souza (2010), aluna do PPgSC. Utilizando informações do invariante de uma máquina B e pré-condições de uma operação, ele é capaz de gerar casos de testes positivos e negativos para uma operação do sistema, através de técnicas de particionamento de equivalência e análise de valor limite. Além de desenvolver uma ferramenta para a automação deste método, pretendemos formalizá-lo, realizar estudos de caso mais complexos e eventualmente ampliá-lo, adicionando novas estratégias de teste.

MEMBROS DA BANCA:
Presidente - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Interno - 1709820 - ROBERTA DE SOUZA COELHO