Titulo Estágio
Testes de Mutação para avaliação de sistemas embebidos
Áreas de especialidade
Sistemas Inteligentes
Engenharia de Software
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.
No âmbito desta dissertação pretende-se estudar, propor e desenvolver abordagens automáticas de testes de mutação black box. O trabalho desta dissertação encontra-se no âmbito do protocolo entre a UC e a Altice Labs, projeto OTA - optimização de testes automáticos.
Objetivo
- Estudo e modulação do problema com base em informação do sistema de testes existente
- Estudo do sistema existente de testes de mutação
- Adaptar e criar uma abordagem automática para testes de mutação black box
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 dos sistemas de testes unitários e de testes mutação existentes
T3 - Proposta de módulos e adaptação da framework existente
T4 – Escrita de relatório intermédio
Plano de Trabalhos - Semestre 2
T1 – Implementação dos módulos
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
João Correia
jncor@dei.uc.pt 📩