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