Sumários
Semana 5
20 Março 2023, 13:00 • Diogo Miguel Ferreira Poças
Testes baseados em lógica. Critérios de cobertura. Cobertura lógica de código fonte. Cobertura lógica de especificações.
Semana 4
13 Março 2023, 15:00 • Diogo Miguel Ferreira Poças
Testes baseados em partição do espaço de entrada. Identificação de parametros de input. Modelação do domínio. Derivação de testes de input. Noção de característica e bloco; critérios de cobertura.
Semana 4
13 Março 2023, 13:00 • Diogo Miguel Ferreira Poças
Testes baseados em partição do espaço de entrada. Identificação de parametros de input. Modelação do domínio. Derivação de testes de input. Noção de característica e bloco; critérios de cobertura.
Semana 3
6 Março 2023, 15:00 • Diogo Miguel Ferreira Poças
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.
Semana 3
6 Março 2023, 13:00 • Diogo Miguel Ferreira Poças
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.