![[Photo]](http://www.di.uminho.pt/~jfc/images/jfc08intran.JPG)
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
Se also the MSc themes below. Most of them can also be extended to PhDs.
- Interactive Computing Systems' Reliability Analysis
This research theme follows from an ongoing effort to develop tools and techniques for the systematics analysis of interactive systems' designs.
The basic building blocks of the verification approach have been defined, and tool support developed. The goal of the current proposal is to broaden the scope of the approach. We are interested in highly moded interfaces, which pose particular challenges in terms of modelling, and in exploring how the approach can be applied in large-scale complex interactive computing applications.
(see more...)- Re-engineering of Graphical User Interfaces
This research theme follows from an ongoing effort to develop tools and techniques for the systematics analysis of interactive systems. We are developing GUISurfer, a tool that automatically extracts models from the user interface layer of interactive computing systems' source code.
The current proposal aims at building on the current state of the art to explore model refactoring, and forward engineering. The goal being to enable the reengineering of GUIs directly from source code, using the models generated by GUISurfer as redesign artefacts.
(see more...)
Most of these topics can be extended to PhDs.
- Model based testing of GUIs
Os testes de software, em particular da camada de interface, são cruciais para garantir a qualidade do software. No entanto, o processo de teste tende a ser demorado e caro em termos de recursos. A tecnica de teste baseada em modelos (model-based testing) permite automatizar o processo de testes, diminuindo assim os custos do processo. A tecnica consiste em executar em paralelo quer o sistema implementado quer um modelo do mesmo sistema (o oráculo), comparando os resultados produzidos por cada um. Os erros são detectados quando a implementação se comporta de forma diferente do oráculo.
Com este projecto pretende-se demonstrar a viabilidade (e identificar as limitações) de uma ferramenta de testes baseada em modelos desenvolvida em conjunto pela UMinho e pela FEUP. O objectivo é aplicar a ferramenta à camada de interface de um software a definir. A escolha do software deverá ser feita após o início da tese, sendo o principal requisito que se trate de um sistema real de complexidade não negligenciável (por exemplo, um leitor de email como o Firebird).Esta proposta insere-se no projecto PBGT, existindo possibilidade de financiamento.
- Desenvolvimento de um ambiente de geração e execução de casos de teste
Os testes de software, em particular da camada de interface, são cruciais para garantir a qualidade do software. No entanto, o processo de teste tende a ser demorado e caro em termos de recursos. Os testes baseados em modelos (model-based testing) permitem automatizar o processo de teste comparando o sistema implementado com um modelo do sistema (o oráculo). Para tal, a partir do oráculo são gerados casos de teste (sequências de acções) a executar tanto na implementação como no modelo. No caso da camada de interface, no entanto, um oráculo tipico considera apenas o comportamento esperado do utilizador, não detectando por isso problemas que possam acontecer devido a erros de utilização.
Com este projecto pretende-se desenvolver uma ferramenta capaz de gerar e executar mutações de casos de teste, de modo a testar o comportamento da aplicação em caso de erros de utilização. Deste modo será possível melhorar a capacidade de detecção de erros deste tipo de técnica e aumentar a garantia de qualidade que a técnica permite.Esta proposta insere-se no projecto PBGT, existindo possibilidade de financiamento.
- Análise de software crítico
Neste projecto pretende-se analisar a aplicabilidade do model checker Uppall à verificação de requisitos de tempo real de sistemas de controlo da missão espacial brasileira. O projecto decorrerá no âmbito de uma cooperação entre investigadores da Universidade do Minho, do Instituto de Aeronautica e Espaço e do Instituto Tecnológico de Aeronáutica (Brasil). Com base em informação fornecida pelos parceiros brasileiros irá efectuar-se a modelação e posterior verificação de alguns dos componentes do sistema.