Defesa de Qualificação de Doutorado - João Felipe Silva Ouriques, em 08/08, às 14hs

postado em 10 de jul de 2014 03:56 por Franklin de Souza Ramalho
Candidato: João Felipe Silva Ouriques
Título do trabalho: Estratégias para Priorização de Casos de Teste Gerados através de Abordagens de Teste Baseado em Modelos
Orientador(es): Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo

Data: 8/8/2014 0:00:00
Horário: 14h
Local: Auditorio do SPLab

Banca examinadora: Patrícia Duarte de Lima Machado (orientadora),  Emanuela Gadelha Cartaxo (orientadora), Anamaria Martins Moreira (UFRJ), Juliano Manabu Iyoda (UFPE), Wilkerson de Lucena Andrade (UFCG), Tiago Lima Massoni (UFCG).

Resumo: A atividade de teste de software consome uma quantidade considerável dos recursos disponíveis para o processo de desenvolvimento de uma aplicação. Para lidar com esse problema, pesquisadores têm investigado formas de reduzir os custos da atividade, introduzindo automação das atividades de teste. Model-Based Testing (MBT) é uma abordagem que procede as atividades de teste com base na representação de ações possíveis, respostas e as condições a serem satisfeitas pelo sistema, através dos modelos, para exemplo de atividade UML, Gráficos de Sequência de Eventos ou Máquinas de Estado. No contexto do MBT, casos de teste podem ser gerados automaticamente a partir de modelos, o que proporciona um tempo e redução de custos. Por outro lado, frequentemente o tamanho dos conjuntos de testes gerados leva a uma execução completa inviável, e uma das causas é a natureza dos algoritmos de geração, que são baseados em busca exaustiva em gráficos, por exemplo, Depth-First Search - DFS. Assim, algumas abordagens são usadas para lidar com os custos envolvidos na execução do caso de teste, por exemplo: Seleção de Caso de Teste, Redução de Conjunto de Teste e Priorização de Casos de Teste (TCP). Destes, apenas o último não se concentra em remover casos de teste a partir do conjunto de testes gerado, a fim de lidar com o problema de custos, assegurando que o conjunto de testes não irá perder a sua capacidade de revelar falhas. A fim de reduzir ou utilizar melhor os recursos alocados para as tarefas de teste, mantendo a capacidade de revelar falhas, os pesquisadores desenvolvem técnicas TCP com o objetivo de propor uma nova ordem de execução para os casos de teste, a fim de alcançar um objetivo o mais cedo possível no processo de teste (por exemplo, cobrir elementos estruturais ou revelar falhas). TCP atualmente tem sido estudado tanto no contexto de código quanto de modelos. O foco pode também ser definido como sendo em testes de regressão ou em um contexto geral. No entanto, TCP em estágios iniciais de desenvolvimento de software é menos explorado na literatura, mais raro ainda está considerando a pesquisa contexto de teste baseado em modelos. Nosso foco é o de investigar TPC no contexto de MBT, com foco na avaliação do atual estado-da-arte de estratégias e técnicas e quais os fatores podem influenciar em seu desempenho. Temos também como objetivo investigar como pode o conhecimento do testador ser usado para melhorar os resultados obtidos. Propusemos a primeira versão de uma técnica capaz de considerar sugestões do testador, a fim de explorar o espaço de entrada, propondo a nova sequência de casos de teste.
Comments