Proposta de Dissertação: 28/02/2011, 08:00.

postado em 22 de fev de 2011 12:30 por Hyggo Oliveira de Almeida
Aluno: Diego Rodrigues de Almeida. 
Título:  Critérios de Cobertura de Modelos para Geração de Casos de Teste de Sistemas de Tempo Real
Local: Auditório do DSC
Data: 28/02/2011.  
Horário: 08:00. 
Banca Examinadora: Profa. Patrícia Machado (DSC/UFCG - Orientadora), Prof. Franklin Ramalho (DSC/UFCG - Avaliador), Prof. Adalberto Cajueiro (DSC/UFCG - Avaliador)

Resumo: 
Sistemas de software estão cada vez mais complexos e presentes nas nossas vidas permitindo maior conforto, lazer, rapidez na busca por informações, comunicação a longas distâncias, segurança, etc. Muitos desses sistemas, chamados de Sistemas de Tempo Real (STR), possuem restrições de tempo que devem ser cumpridas para evitar depreciação de serviço fornecido ou grandes prejuízos econômicos ou de vidas. Teste é uma atividade no desenvolvimento de sistemas cujo custo pode chegar a ser maior do que o custo do próprio desenvolvimento do sistema. STRs são sistemas que possuem um custo de teste ainda mais elevado do que os sistemas sem restrições de tempo uma vez que suas respostas devem estar corretas tanto logicamente quanto temporalmente. Há na literatura muitos trabalhos que investigam a geração automática de casos de teste a partir de modelos obtidos dos requisitos do sistema. Essa abordagem é conhecida como Teste Baseado em Modelo (TBM). Critérios de geração de casos de teste são utilizados por ferramentas de TBM como diretrizes que guiam a geração dos casos de teste. A escolha do critério de geração determina o algoritmo que as ferramentas usam para gerar testes que por sua vez determina qual o tamanho da suíte que será gerada, quanto tempo leva para gera-los, e quais partes do modelo serão testadas. Por isso, a qualidade dos casos de teste gerados no tocante ao custo e capacidade de revelar faltas está diretamente relacionada ao critério de geração adotado. No contexto de STR e levando em conta critérios de cobertura de modelos, esse trabalho investigará a capacidade de revelar faltas dos critérios de geração utilizados na literatura. Será levado em conta situações de interrupção que possivelmente resultará na criação de um novo critério de geração.

Agradecemos a sua presença.