Defesa de Qualificação de Dissertação: Erick Barros dos Santos

Título: RETAkE: Abordagem para Teste em Tempo de Execução de Sistemas Dinamicamente Adaptáveis

Data: 26/04/2019

Horário: 08:00h

Local: Hall do Centro de Ciências - Bloco 902

Resumo:

Sistemas Dinamicamente Adaptáveis (DAS, da sigla em inglês) dão suporte a adaptações dinâmicas em tempo de execução para lidar com mudanças nos requisitos de usuário e restrições do ambiente. Um DAS pode possuir alta dinamicidade de suas configurações em tempo de execução, então, um dos seus principais desafios é a execução de atividades de verificação e validação. Muitas abordagens na literatura que realizam teste em tempo de execução tem como foco o uso do contexto de execução do DAS para selecionar casos de teste, mas informações relacionadas a verificação em tempo de execução também podem ser usadas para guiar a seleção de testes mais efetivos para uma funcionalidade. Por exemplo, a violação de uma propriedade comportamental de adaptação em uma funcionalidade pode demandar a seleção de mais casos de teste, em que estes verifiquem se o contexto necessário está sendo obtido corretamente. Dessa forma, este trabalho de mestrado propõe uma abordagem que consiste de um método e um framework para o teste de DAS em tempo de execução. A abordagem realiza o monitoramento de propriedades comportamentais, usando seus resultados para selecionar casos de teste, os quais são executados durante a execução do DAS com o objetivo de identificar falhas de adaptação no sistema.

Banca:

  • Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC - Orientadora)
  • Dr. Ismayle de Sousa Santos (UFC - Coorientador)
  • Prof. Dr. Márcio Espíndola Freire Maia (UFC)
  • Prof.ª Dr.ª Valéria Lelli Leitão Dantas (MDCC/UFC)