Análise e Teste de Software
Docentes
João Saraiva
homepage
Alunos
Afonso João Borges Cabral Cerejeira da Silva | a70387 |
Afonso Pires Pontes | pg35389 |
André Brandão de Pinho | a71841 |
André Ricardo Covelo Germano | a71150 |
Axel da Silva Ferreira | a53064 |
Bruno Rafael Lamas Corredoura Dantas | a74207 |
Carlos Jorge Rodrigues Martins | a68913 |
César Augusto Lourenço Cachulo | a72384 |
Daniel Cerveira Furtado Malhadas | a72293 |
Daniel Pinheiro Casanova | a54003 |
Fernando Daniel Freitas da Silva | pg32994 |
Francisco Sampaio da Costa | a70922 |
Guilherme Vasconcelos da Silva Guerreiro | a73860 |
Hugo Alves Carvalho | a74219 |
Hélder João Moreira de Sousa | a58148 |
Jorge Fernando Vieira Cardoso | a75876 |
José Carlos Pedrosa Lima de Faria | a67638 |
João Filipe Campos Lameiras | pg35398 |
João Pedro Monteiro Miranda | a67714 |
João Tiago Cruz Cunha | a67741 |
Leonel da Cruz Gonçalves | pg33003 |
Lisandra Maria Pereira da Silva | a73559 |
Luís Miguel Fontão Martins | a71754 |
Luís Miguel da Cunha Lima | a74260 |
Mvovi Lucas Patricio | tmp201706 |
Nuno Gabriel da Silva Areal | a74714 |
Nuno José Vilela da Cunha | a72376 |
Pedro Daniel Gomes Fonseca | a74166 |
Pedro Miguel Lopes Pereira | a70951 |
Ricardo Araújo Silva | a60995 |
Ricardo Jorge Barroso Certo | a75315 |
Thiago Alexandria Sposito | tmp201703 |
Tiago Manuel Sampaio Branco | pg35391 |
Tiago Miguel Alves Cruz | pg35397 |
Tomás Moreira Ferreira | a67701 |
Vitor Emanuel Nogueira Brochado | tmp201709 |
Material Pedagógico
Expressões Regulares como "_Embedded DSL_":
RegExp.tgz
Gramáticas e Técnicas Genéricas de Parsing:
Parsing.tgz
ASTs, Travessias e Transformações Genéricas:
TOM REg Exp Normalization
Control Flow Graphs:
Slides Haskell
Source Code Smells:
Source Code Smells
Program Refactoring:
Program Refactoring
Green Software (RAPL):
Rapl.tgz
Teste de Software:
JUnit:
slides
JUnit-Examples.zip
Automated Testing:
AutomatedTesting.pdf
Fault Localization:
FaultLocalization.pdf
Slides
slides
Trabalho Prático
Enunciado do Projecto:
Projeto.pdf
Software disponibilizado para
"case studies" para cada um dos projetos propostos::
Programa Java (código fonte):
Aplicações Android (código fonte):
Programa Haskell (código fonte):
Infelizmente a ferramenta de refactoring do Haskell não está a ser actualizada e não pode ser utilizada. O(s) grupo(s) que pretendam mesmo fazer o projeto em Haskell devem contactar o docente para definir um projeto alternativo.
Fichas de Exercícios
Ficha: Gramáticas e Parsers:
Ficha 1
Ficha: Travessias e Transformações Genéricas de ASTs:
Ficha 2
Ficha: Refabricação de Programas -
Ficha 3
Avaliação
Teste do ano passado:
Teste 2016/2017
Notas do Teste Individual:
Teste.pdf
Notas Finais:
NotasFinais.pdf