Estrutural
T´ecnica de Teste Caixa Branca
Crit´erios Baseados em Fluxo de Controle
Auri Marcelo Rizzo Vincenzi
Gilcimar Divino de Deus
Instituto de Inform´ atica Universidade Federal de Goi´ as 22 de agosto de 2008
T´ ecnica de Teste Caixa Branca
Organiza¸c˜
ao
Crit´ erios Baseados em Fluxo de Controle
Defini¸co
˜es
Grafo de Fluxo de Controle
Exemplo de GFC
Exerc´ıcios
N´ıveis de Cobertura
Teste do Caminho B´ asico Passos do Teste de Caminho B´ asico Complexidade Ciclom´ atica Cria¸c˜ ao do Conjunto de Caminhos
Exemplo
Aplicabilidade e Limita¸co
˜es
Resumo
Exerc´ıcio
Leitura Recomendada
Referˆ
encias
T´ ecnica de Teste Caixa Branca
Crit´
erios Baseados em Fluxo de Controle
Crit´ erios Baseados em Fluxo de Controle
Defini¸co
˜es
Grafo de Fluxo de Controle
Exemplo de GFC
Exerc´ıcios
N´ıveis de Cobertura
Teste do Caminho B´ asico Passos do Teste de Caminho B´ asico Complexidade Ciclom´ atica Cria¸c˜ ao do Conjunto de Caminhos
Exemplo
Aplicabilidade e Limita¸co
˜es
Resumo
Exerc´ıcio
Leitura Recomendada
Referˆ
encias
T´ ecnica de Teste Caixa Branca
Crit´
erios Baseados em Fluxo de Controle
Introdu¸c˜ao
◮
Crit´erios pertencentes `a T´ecnica de Teste Caixa Branca.
◮
Identificam requisitos de testes (caminhos de execu¸c˜ao) a partir da implementa¸c˜ao do produto em teste.
◮
Requer a cria¸c˜ao e execu¸c˜ao de casos de testes que exercitem tais requisitos.
Defini¸c˜ao:
◮
◮
Caminho: seq¨ uˆencia de execu¸c˜ao de comandos que se inicia em um ponto de entrada e termina em um ponto de sa´ıda do produto em teste.
T´ ecnica de Teste Caixa Branca
Crit´
erios Baseados em Fluxo de Controle
Exemplo de Problemas (1)
◮
Infelizmente, o teste exaustivo de todos os poss´ıveis caminhos de fluxo de controle possui v´arias desvantagens:
◮
1
2
3
4
O n´ umero de caminhos pode ser infinito ou muito grande.
Cada decis˜ao dobra e cada loop multiplica o n´ umero de caminhos. ✞ f o r ( i =1; i <=1000; i ++) f o r ( j =1; j <=1000; j ++) f o r ( k =1; k