Análise e Teste de Software

Neste módulo, convidam-se os alunos a trocar a visão construtiva do arquitecto de software pela visão do avaliador, ou gestor de qualidade. Ensinam-se as competências necessárias para esse efeito a nível da ciência da análise e teste de software, a vários níveis de granularidade, isto é, desde o teste unitário de rotinas, funções ou serviços, até ao teste integrado de aplicações.

É importante referir que este módulo não apresenta análise e teste de programas como um simples aglomerado de técnicas ad-hoc. Em lugar disso, é apresentada uma abordagem coerente em que a análise e o teste estão ligados entre si, de forma complementar às técnicas de construção de programas. Nesta visão, por exemplo, as baterias de teste são vistas como contrapartidas extensionais das propriedades intencionais que podem ser derivadas dos modelos abstractos de problemas (especificações). Consequentemente, a geração model-driven de testes emerge em paralelo com a engenharia reversa e refinamento por cálculo de modelos em programas. Este enquadramento teórico da análise e do teste equipa os alunos com conhecimentos sólidos numa área que é apreendida pela maioria dos programadores de uma forma intuitiva e muito pouco sistemática.

A articulação do módulo com Projecto Integrado (PI) é, assim, a dual da adoptada pelos outros dentro da UCE: em lugar de construir novo software aplicacional, os alunos empregarão uma gama de métodos e ferramentas para avaliarem e testarem software já existente, por exemplo, software de domínio público disponível.

Programa

• Teoria geral da análise de programas. Interpretação abstracta. Técnicas de slicing.

• Teste à unidade, teste funcional, análise de cobertura de uma bateria de testes.

• Teste orientado ao modelo, geração automática de testes, teste por injecção falhas.

• Métricas para avaliação de software, normas de codificação, estilo e documentação.

• Compreensão de programas, engenharia reversa.

• Verificação, análise de segurança, avaliação de risco.

• Análise de complexidade e de performance.