Sumários
Testes de cobertura baseados na sintaxe
10 Abril 2017, 15:00 • Francisco Cipriano da Cunha Martins
Exercícios de aplicação dos diversos critérios de cobertura introduzidos anteriormente.
Testes com cobertura baseados na sintaxe
10 Abril 2017, 13:00 • Francisco Cipriano da Cunha Martins
Critérios de cobertura baseados em sintaxe: cobertura BNF e testes de mutação.
Testes de cobertura com lógica (continuação)
3 Abril 2017, 15:00 • Francisco Cipriano da Cunha Martins
Aplicação de critérios de cobertura baseados em lógica para testar o método Triang da classe trityp.
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.
Testes de cobertura com lógica
27 Março 2017, 15:00 • Francisco Cipriano da Cunha Martins
Utilização da biblioteca Mockito para geração de objetos Mock. Testes unitários ao método getAccountsWithBalanceBelow utilizando o Mockito.