Sumários
Testes de cobertura com lógica
27 Março 2017, 13:00 • Francisco Cipriano da Cunha Martins
Cobertura lógica: introdução; critérios de cobertura de expressões lógicas; cobertura lógica estrutural de programas. Critérios de Cobertura para Expressões Lógicas: cobertura por cláusulas activas;
Testes de cobertura com grafos
20 Março 2017, 15:00 • Francisco Cipriano da Cunha Martins
Escrita de testes unitários em aplicações Java. Discussão sobre a arquitectura e necessidade de refabricação de classes de forma a serem genéricas o suficiente para ser possível efectuar testes unitários. Classes Mock. Escrita de testes para a classe Bank usando classes Mock.
Testes de cobertura com grafos (continuação)
20 Março 2017, 13:00 • Francisco Cipriano da Cunha Martins
Representação algébrica de grafos; Redução de grafos a expressões de caminho. Aplicações das expressões de caminhos. Derivação de inputs de testes. Contagem de caminhos no CFG e cálculo do comprimento do maior caminho. Número mínimo de caminhos que atíngem todas as arestas.
Testes de cobertura com grafos
13 Março 2017, 15:00 • Francisco Cipriano da Cunha Martins
Desenho de testes e escrita de scripts de testes em JUnit para cobertura de controlo de fluxo para caminhos primos da classe TestPat. Aplicação de critérios de cobertura baseados em fluxo de informação para a classe TestPat.
Testes de cobertura com grafos (continuação)
13 Março 2017, 13:00 • Francisco Cipriano da Cunha Martins
Critérios de cobertura com grafos: cobertura baseada em fluxo de informação. Cobertura para elementos de desenho; cobertura para especificação; cobertura para casos de uso.