Mestrado Bolonha em Matemática e Aplicações e Computação

Esta UC pretende cobrir diversos tópicos relacionados com o desenvolvimento de software robusto, incluindo teste, detecção de erros, verificação e metodologias para a construção de código robusto. O foco será nas metodologias mais recentes que permitem o desenvolvimento de software robusto a custo moderado. Pretende-se que esta UC efectue a ligação entre os fundamentos teóricos e a aplicação prática dos diversos tópicos cobertos.

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

O tamanho e a complexidade de programas de software tem vindo a crescer, sendo por isso cada vez mais importante conseguir validar a correção dos programas. Um dos custos principais no desenvolvimento de software é a sua validação. Existem várias técnicas de validação, sendo a técnica de teste de software uma das técnicas mais utilizadas. A UC de Teste e Validação de Software (TVS) oferece formação avançada nas técnicas de teste de software, incluindo técnicas manuais, semi-automáticas e automáticas. A UC de TVS oferece também formação sobre técnicas adicionais de validação de software, incluindo a análise estática e a verificação de modelos. A UC proporciona também contacto com ferramentas académicas e industriais de validação de software.