Sumários
10
25 Março 2019, 13:00 • João Pedro Guerreiro Neto
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. Cf. Ammann & Offutt, chp.4
Input space partitioning tests. Identifying input parameters. Modelling the input domain. Deriving test inputs. Characteristics and blocks. Coverage criteria. Cf. Ammann & Offutt, chp.4
T4
18 Março 2019, 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. Cf. Ammann & Offutt, chp.2
Graph-based test coverage: call graphs and finite state machines. Data flow graph coverage: definitions, coverage criteria: All-Defs, All-Uses, All-Du-Paths coverage. Coupling du-paths and coverage criteria, "lastdef"/"firstuse" in method calls. Cf. Ammann & Offutt, chp.2