Titulo Estágio
Verificação e Validação de Software Baseado em Componentes
Área Tecnológica
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
Bolsa de investigação no âmbito do projeto PTDC/EIA-EIA/100752/2008: Reutilização de software usando uma abordagem Hierárquica e Modular.
Financiamento: Bolsa de Investigação da FCT (745 Euros mensais / Set.-Dez.).
Orientador
Fernando Barros e Pedro Furtado
barros@dei.uc.pt 📩