Titulo Estágio
Geração de Testes de Mutação para Sistemas de Gestão de Redes
Áreas de especialidade
Engenharia de Software
Sistemas Inteligentes
Local do Estágio
Departamento de Engenharia Informática da Universidade de Coimbra
Enquadramento
A Altice Labs desenvolve e industrializa produtos de rede para operadores de telecomunicações, envolvendo não só equipamentos de pequeno, médio e grande porte, mas também a respetiva aplicação de gestão (EMS). Os produtos de hardware integram software embebido, nos quais as aplicações desenvolvidas pela Altice Labs correm sobre distribuições de Linux Embedded. A validação destas aplicações requer a interface com os dispositivos em teste (DUT), assim como com os restantes equipamentos auxiliares que integram o ecossistema necessário ao funcionamento e validação dos mesmos: equipamentos a montante e jusante, equipamentos de teste, interfaces de gestão e emuladores dos serviços de cliente.
A equipa de QA realiza um conjunto alargado de testes, através dos quais valida os requisitos do produto, assim como o modo como os mesmos são usados pelos clientes – requisitos de cliente/use cases de cliente. Valida ainda as condições de exceção, sejam estas resultantes de testes negativos, sejam resultantes de testes de stress, carga e escalabilidade. Estes testes são efetuados de 3 formas distintas: Manuais com Test Plan; Manuais Exploratórios; Automáticos com Test Plan. A Altice Labs, em contexto de um projeto, está a colaborar com a Universidade de Coimbra para desenvolver abordagens capazes de criar conjuntos otimizados de testes.
No âmbito desta dissertação pretende-se estudar, propor e desenvolver abordagens de testes de mutação para avaliação do software de testes automáticos em sistemas embebidos.
Objetivo
- Estudo e modulação do problema com base em informação do sistema de testes existente
- Construção de um injetor de falhas capaz de gerar mutantes do sistema alvo, ou pelo menos em parte do sistema alvo, para validação do software de testes.
Plano de Trabalhos - Semestre 1
T1 – Estado da arte em abordagens para construção de conjuntos de testes com base em testes de mutação
T2 - Análise do sistema de testes unitários existente
T3 - Proposta de framework
T4 – Writing of the Intermediary report
Plano de Trabalhos - Semestre 2
T1 – Implementação da framework
T2 – Experimentação e validação
T3 - Refinamento da framework
T4 – Escrita do relatório final
Condições
Este trabalho será realizado nos grupos de investigação Software and Systems Engineering (SSE/CISUC) e Evolutionary and Complex Systems (ECOS/CISUC). Serão disponibilizados recursos computacionais para a execução do plano de trabalhos.
Existe a possibilidade de o/a aluno/a receber uma bolsa de investigação para Licenciado de pelo menos 6 meses, renovável por igual período mediante acordo entre o orientador e o/a aluno/a. A bolsa seguirá as diretrizes das bolsas mensais da Fundação para a Ciência e Tecnologia (FCT).
Orientador
Nuno Laranjeiro / João Correia
cnl@dei.uc.pt 📩