Descrição:
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.
-
2020/2021
-
2º Semestre
--
(MEIC-A, MEIC-T, MMA)
-
2018/2019
-
2ºSemestre
--
(MEIC-A, MEIC-T, MMA)
-
2017/2018
-
2ºSemestre
--
(MEIC-A, MEIC-T, MMA)
-
2016/2017
-
2ºSemestre
--
(MEIC-A, MEIC-T, MMA)
-
2015/2016
-
2º Semestre
--
(MEIC-A, MEIC-T, MMA)