Testes de cobertura com lógica (continuação)

3 Abril 2017, 13:00 • Francisco Cipriano da Cunha Martins

Critério de cobertura de cláusulas inactivas; inviabilidade e subsunção; atribuir valores a cláusulas de forma a que uma cláusula se torne determinante de um predicado. Cobertura lógica baseada em especificação. Cobertura lógica em máquinas de estados. Cobertura baseada no espaço de entrada. Modelação do espaço de entrada baseada no interface e nas funcionalidades (introdução); exemplo de identificação de características; escolha de blocos e valores.