Propostas sem aluno atribuído - Setembro de 2014

DEI - FCTUC
Gerado a 2024-03-29 12:04:35 (Europe/Lisbon).
Voltar

Titulo Estágio

Verificação e Validação de Software Baseado em Componentes

Áreas de especialidade

Engenharia de Software

Local do Estágio

DEI

Enquadramento

A complexidade crescente dos sistemas informáticos dificulta a verificação da sua correção. Nos sistemas críticos torna-se indispensável demonstrar que o software está livre de erros antes da sua colocação em exploração. Os métodos formais de verificação e validação (V&V) oferecem uma solução para a demonstração automática da correção dos programas.

Objetivo

Neste estágio pretende-se aplicar metodologias formais de V&V de software a um conjunto de casos de estudo e propor soluções que facilitem a aplicação destas metodologias. Pretende-se também verificar se existem alternativas mais abrangentes e fáceis de utilizar.

Plano de Trabalhos - Semestre 1

1. Levantamento do estado da arte em metodologias e ferramentas para V&V formal de:
programas sequenciais
programas multi-threading
programas em tempo-real
software baseado em componentes com topologia dinâmica;
2. Avaliação de outras alternativas para V&V.
3. Conceção de aplicações para o teste das metodologias formais de V&V.

Plano de Trabalhos - Semestre 2

1. Utilização das ferramentas e metodologias de V&V na validação das aplicações propostas.
2. Proposta e desenvolvimento de soluções que facilitem a aplicação das metodologias de V&V.

Condições

Estágio não remunerado

Orientador

Fernando Barros, Pedro Furtado
barros@dei.uc.pt 📩