Análise e Teste de Software

Importante: No programa que usa o RAPL que fornecemos, os valores de runtime que ficam na coluna "Time (sec)" do ficheiro .J estão em microseconds. Para obterem miliseconds devem dividir esse valor por 1000.

Importante: Os slides sobre Green Software Analysis foram atualizados e estão disponíveis em baixo.

Exame 2018 (exemplo)

1- Docentes

João Saraiva (homepage)

Aula Teórica: 3a feira, 14:00-15:00 (sala DI 1.10)

Jorge Mendes (homepage)

Aula Prática: 3a feira, 15:00-17:00 (sala DI 1.10)

2- Programa

• Teste de Software

• teste "white-box" versus "black box"
• teste unitário, regressão, integração, sistema
• Teste Automático
• Geração de casos de teste
• Teste de propriededas
• Qualidade dos Testes
• Análise de cobertura (de código)
Critério de cobertura (instruções, blocos, caminhos e condições)
• Mutação de testes
• Teste baseado em modelos
Algoritmos para Apredizagem do Modelo (black box)
• Teste em aplicações móveis (android) e web
• Teste e Localização de Falhas em Software

• Análise de Software

• Análise de Fluxo (Controlo/Dados) de Programas
• Complexidade Ciclomática
• Métricas de Software
• Maus Cheiros
• Refabricação de Software
• Análise de consumo de Energia: Técnicas e Ferramentas

3- Material

3.1- Slides:

SoftwareTesting.pdf

Geração de Casos de Teste e Teste de Propriedades -->*Slides atualizados*

Fault Localization

Green Software (UPDATED)

Software Metrics

Code Smells

Energy (Red) Smells

ProgramRefactoring

3.2- Projecto em Grupo:

O enunciado do projecto de ATS está disponível em: Projecto-Fase1.pdf

Projeto (sw) UMer.zip

Ficheiro de input adicional: log2.txt

Apesar de não gostarmos de adiar datas de entregas, caso na aula de dia 9 de Outubro a grande maioria dos grupos precisar de mais uns dias para concluir o trabalho nós seremos flexiveis.

Para terem acesso ao repositório SVN onde deverão desenvolver o vosso projeto, por favor enviem email com a composição do grupo ao Prof. Jorge Mendes.

Projeto: 2ª Fase: 2ª Fase do Projeto

Template QuickCheck (Haskell) para gerar o ficheiro de logs: ats1819-log-generator.zip

Avaliação da 1ª Fase:: avaliação

Avaliação da 2ª Fase::

Enunciado da 3ª Fase:: 3ª Fase do Projeto

*A data de entrega do projeto é dia 2/1/2019*

4- Fichas Laboratoriais

Ficha 1: Ficha sobre ANTLR

Ficha 2: Ficha sobre Testes Unitários (software: Poligono.zip)

Ficha 3: Ficha sobre Cobertura e Mutações de Testes

Ficha 4: Ficha sobre Teste de Propriedades

Ficha 5: Geração Aleatória de Casos de Teste

Ficha 6: Métricas de Software

Ficha 7: Refactoring de Programas (software: Contactos.zip)

5- Software

Sistema ANTLR: homepage

Sistema RAPL: RAPL.tar.gz

6- Avaliação

A avaliação dos alunos é feita tendo em conta três componentes:

• Nota do Teste individual (NT)
• Nota do Projecto em grupo (NP)
• Avaliação Contínua (AC)

de acordo com a fórmula:

Nas componentes NT e NP é obrigatório o aluno ter uma nota mínima de 8 valores.

7- Sumários

Aula 1: 18/09/2018

Sumário (Aula Teórica): Apresentação da disciplina: Objectivos, Programa, Metodologia de Ensino e Avaliação. Apresentação do Projecto Prático.

Sumário (Aula Prática): Apresentação do Software a usar no projecto prático. Breve apresentação do sistema ANTLR.

Aula 2: 25/09/2018

Sumário (Aula Teórica): Gramáticas Independentes do Contexto e Análise Sintática de Programas. Breve descrição das técnicas de Parsing Top-Down e Bottom Up.

Sumário (Aula Prática): O Sistema ANTLR: Resolução de exercícios. Apresentação do plugin do ANTLR para o IDE IntelliJ.

Aula 3: 02/10/2018

Sumário (Aula Teórica, Prática): Continuação da realização da 1ª tarefa do projeto prático.

Aula 4: 09/10/2018

Sumário (Aula Teórica): Adequação dos Testes. Critérios de cobertura de instruções, blocos, caminhos e condições. Mutação de Software e Teste.

Sumário (Aula Prática): Análise de cobertura de testes unitátios em IntelliJ. O Sistema Cobertura. O Sistema PIT para mutação de software e execução de testes.

Aula 5: 16/10/2018

Aula 6: 23/10/2018

Sumário (Aula Teórica, Prática): Geração Automática de Casos de Teste: Introdução ao sistema EvoSuite e resolução de exercícios.

Aula 7: 30/10/2018

Sumário (Aula Teórica): Teste de Propriedades. Introdução ao sistema QuickCheck.

Sumário (Aula Prática): Resolução de exercícios em QuickCheck e jUnit-QuickCheck.

Aula 8: 06/11/2018

Sumário (Aula Teórica): Geração Automática de Casos de Teste. Geração de listas e árvores em QuickCheck.

Sumário (Aula Prática): Continuação da Resolução de exercícios em QuickCheck e jUnit-QuickCheck.

Aula 9: 13/11/2018

Sumário (Aula Teórica): Localização de Falhas no Código Fonte. Introdução ao Spectrum-based Fault Localization.

Sumário (Aula Prática): Aula de acompanhamento da realização da 2a tarefa do projeto em grupo.

Aula 10: 20/11/2018

Sumário (Aula Teórica): Aula sobre Análise de Performance: Runtime, Energy and memory consumption.

Sumário (Aula Prártica): O Sistema RAPL para estimar o consumo de energia.

Aula 11: 27/11/2018

Métricas de Software,

Aula 12: 04/12/2018

Bad Smells

Aula 13: 11/12/2018

Refactoring.

Aula 14: 08/01/2019

Apresentação dos projetos em grupo: grupos 2, 3, 4, 5, 8 e 10.

Aula 15: 15/01/2019

Aula prevista: Apresentação dos projetos em grupo.

Aula 16: 22/01/2019

_ Teste Individual

Aula Extra: 24/01/2019 (14:00-16:00)

Visita à Primavera Sw.

Aula 17: 29/01/2019

Exame

8- Bibliografia

• Introduction to Software Testing

  J. Offutt and P. Amman

  Cambridge University Press, 2008

9- Alunos