Sumários
Padrões e rafactorização para testes de software
12 Março 2018, 13:00 • João Pedro Guerreiro Neto
Padrões e rafactorização para testes de software. Validação de estado vs validação de interacção. Testes de interacção. Introdução à biblioteca Mockito.
TP3
6 Março 2018, 15:00 • João Pedro Guerreiro Neto
Exercícios usando critérios de cobertura baseados em fluxos de grafos
TP3
5 Março 2018, 15:00 • João Pedro Guerreiro Neto
Exercícios usando critérios de cobertura baseados em fluxos de grafos
Cobertura de grafos por fluxo de dados
5 Março 2018, 13:00 • João Pedro Guerreiro Neto
Cobertura estrutural de grafos de chamadas ("call graphs") e de abstrações de software por máquinas de estado finitas ("finite state machines"). Cobertura de grafos por fluxo de dados: definições e usos, caminhos definição-uso, critérios de cobertura ("All Defs", "All Uses", "All Du paths"). Aplicação de cobertura de grafos por fluxo de dados a grafos de controlo de fluxo em código fonte e acoplamentos "lastdef"/"firstuse" a chamadas de métodos.