T5

23 Março 2020, 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