Propostas para Dissertação

Mestrados no Departamento de Informática



Consultar ficha completa de uma proposta de dissertação

proponente: Nuno Machado e José Orlando Pereira
instituição/empresa: HASLab
tema/título: Teste Sistemático de Sistemas Distribuídos
área científica:
local:
curso de mestrado: Mestrado Integrado em Engenharia Informática
descrição:
Apesar da crescente popularidade e importância dos sistemas distribuídos, o seu desenvolvimento
ainda permanece uma tarefa difícil e desafiante. Tipicamente, estes sistemas executam protocolos
complexos que implicam um elevado número de trocas de mensagens entre os nós e alterações do
estado do sistema. Esta complexidade leva à existência de erros subtis, que são difíceis de
testar em ambiente de desenvolvimento e que acabam por se manifestar em produção, causando
quebras na qualidade de serviço e elevados custos monetários. Com o objectivo de aumentar a fiabilidade das aplicações distribuídas, têm sido propostas
diversas técnicas de teste sistemático (também conhecidas como stateless model checking). Estas
técnicas exercitam de forma sistemática os diferentes caminhos de execução possíveis de um
sistema distribuído, começando por um estado inicial e executando iterativamente todas as
acções possíveis entre esse estado e os seus sucessores. Neste trabalho, pretende-se implementar técnicas de teste sistemático de sistemas distribuídos no
Minha, uma plataforma de teste e simulação de sistemas de larga escala (recipiente de um Google
Faculty Research Award). Pretende-se ainda avaliar experimentalmente a qualidade dessas técnicas
através da descoberta de erros em aplicações distribuídas reais.


Voltar...