Teste de fluxo de dados
O teste de fluxo de dados, é um teste de caixa-branca usado para verificação de softwares que visa exercitar caminhos do programa com base nas definições e usos de cada variável..
Para realizar este teste, atribui-se um valor inteiro único para cada linha de código (normalmente, enumera-se cada linha com valores inteiros consecutivos, atribuindo o valor 1 para a primeira linha, 2 para a segunda e assim sucessivamente) e definem-se, para cada variável de interesse x {\displaystyle x} , os conjuntos D( x {\displaystyle x} ) = { k : a linha k faz uma definição de x {\displaystyle x} } U( x {\displaystyle x} ) = { k : a linha k usa a variável x {\displaystyle x} }.
A execução do teste se dá com base nos caminhos do grafo de fluxo do programa e nos conjuntos D( x {\displaystyle x} ) e U( x {\displaystyle x} ).
Teste def-use
Um teste de fluxo de dados simples é o teste def-use: neste teste são escolhidos valores de entrada para o programa que exercitem todos os caminhos DU da variável testada. Os caminhos DU são caminhos em que passam por alguma linha na qual a variável é definida e por alguma linha em que a variável é usada. De uma forma mais rigorosa, tenta-se executar todos os caminhos c 1 − c 2 − . . . − c M {\displaystyle c_{1}-c_{2}-...-c_{M}} , onde cada c k {\displaystyle c_{k}} é um comando, que tenham dos comandos c i {\displaystyle c_{i}} e c j {\displaystyle c_{j}} tais que ( c i , c j ) ∈ {\displaystyle (c_{i},c_{j})\in } D( x {\displaystyle x} ) X U( x {\displaystyle x} ).
