Proposta de dissertação do MEI
Título: Correctness by Construction - Robot checks Cars at Altran
Proponente(s): Jorge Lopes (Altran)
João Costa Seco
Carla Ferreira
Créditos: 42 ECTS
Área científica: Software Construction and Analysis
Início preferencial: Qualquer semestre
URL: https://www.dropbox.com/s/kw994plast0nd9b/Altran_Mestrado_Construction_by_Correctness.pdf?dl=0
Já estão em curso trabalhos preliminares executados pelo alunos:
Breve descrição: A automatização da verificação e validação de aplicações web atingiu já elevados níveis de maturidade. Uma dessas ferramentas é a Robot Framework, que permite escrita de testes numa linguagem próxima do natural.

O objectivo desta dissertação é trazer estas ferramentas e a maturidade a elas associada para o domínio do embedded software criando um elevado valor acrescentado. Pretende-se:

- investigar a Robot Framework, e outras, para estabelecer o estado da arte destas ferramentas.

- investigar a forma de estabelecer a comunicação entre a framework de validação e o hardware a testar.

- implementar e realizar um use case para prova do conceito (verificação e validação do modulo de infotainment de um veículo automóvel).
Observações: O Mestrado estará enquadrado na área Intelligent Systems da Altran, por forma a integrar o candidato na equipa e a o acompanhar em todas as fases do ciclo de desenvolvimento, desde a concepção até à entrega.