|
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. |
|