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