Sumários
T7
8 Abril 2019, 13:00 • João Pedro Guerreiro Neto
Testes baseados em mutação de programas. Operadores de mutação. Relação com modelo RIP. Uso da ferramenta PIT. Cf.
Ammann & Offutt, chp.5.
Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT. Cf. Ammann & Offutt, chp.5
T6
1 Abril 2019, 13:00 • João Pedro Guerreiro Neto
Testes baseados em lógica. Critérios de cobertura. Cobertura lógica de código fonte. Cobertura lógica de especificações. Cf. Ammann & Offutt, chp.3
Logic-based test coverage. Coverage criteria. Structural logic coverage of source code. Logic coverage of specifications. Cf. Ammann & Offutt, chp.3