Métodos Formais em Engenharia de Software

Mestrado Integrado em Engenharia Informática - MFES 2018/2019

Tópicos

Avisos

02 Out - CSI: preparação para as aulas: ver tinynew.gif sumários previstos e seguir as respectivas indicações nos apontamentos fornecidos na bibliografia. (Em CSI segue-se o método 'Flipped Classroom')

15 Set - Início das aulas: 20-Set, 9h00, sala E7 1.10.

Education » MFES » WebHome » ATS

Análise e Teste de Software

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

Material 3

tinynew.gif Slides: SoftwareTesting.pdf

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

tinynew.gif 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.

tinynew.gif 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.

4- Fichas Laboratoriais

Ficha 1: Ficha sobre ANTLR

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

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

5- Software

Sistema ANTLR: homepage

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:

nota final = 0.45 * NT + 0.45 * NP + 0.1 * AC

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

Aula 7: 30/10/2018

Aula 8: 06/11/2018

Aula 9: 13/11/2018

Aula 10: 20/11/2018

Aula 11: 27/11/2018

Aula 12: 04/12/2018

Aula 13: 11/12/2018

Aula 14: 18/12/2018

Brevemente

8- Bibliografia

  • Introduction to Software Testing

    J. Offutt and P. Amman

    Cambridge University Press, 2008

9- Alunos

Nome Nr
Alexandre Miguel Costa Dias A78425
Alia Nabil Mahmoud E9658
António Jorge Monteiro Chaves A75870
Armando João Isaias Ferreira dos Santos A77628
Axel da Silva Ferreira A53064
Bruno Renato Fernandes Carvalho A67847
Carla Andreia Malheiro Alves E3359
Daniel Camelo Rodrigues A75655
David Daniel Pinto Coelho Kramer A77849
Diana Cristina Abreu Lopes E10852
Diogo Filipe Lopes Soares A74478
Emanuel Coelho E9701
Flávio Joel Martins Peixoto PG38414
Francisco Jose Moreira Oliveira A78416
Fábio Rafael Pereira Araújo A78508
Hugo Miguel Matalonga PG37152
Joana Fernandes Cunha E9321
José Miguel Silva Dias A78494
João Luís Alves Barreiros Martins A68646
João Manuel da Silva Gomes Fernandes E9673
Ludgero da Silva Diogo PG38417
Luis Miguel Pinheiro Guimarães A77004
Manuel Gouveia Carneiro de Sousa A78869
Paula Sofia da Cunha Pereira A77672
Pedro Miguel Marques Freitas E9123
Samuel José Dias Martins PG37163
Sandra Teixeira Marques de Sousa E9632
Telmo André Moreira Cardoso PG38427
Tiago Daniel Amorim Alves A78218
Vera Lúcia Vilela Trindade Silva E9640

r16 - 16 Oct 2018 - 14:11:05 - JoaoSaraiva
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM