Critérios Estruturais Baseados em Fluxo de Dados

Critérios Estruturais Baseados em Fluxo de Dados / Técnicas para geração de dados de teste que utiliza estratégia de otimização (search-based software test)

Manaus
2013
Alunos:

Critérios Estruturais Baseados em Fluxo de Dados / Técnicas para geração de dados de teste que utiliza estratégia de otimização (search-based software test)

Manaus
2013
Sumário

1. Introdução a Critérios Estruturais Baseados em Fluxo de Dados

Teste de fluxo de dados é uma ferramenta poderosa para o uso incorreto de valores resultante de erros de codificação. Utilizam informações do fluxo de dados do programa para determinar os requisitos de teste. Esses critérios exploram as interações que envolvem definições de variáveis e referências a tais definições para estabelecerem os requisitos de teste. Para isso é necessário adicionar ao grafo do programa informações sobre o fluxo de dados, gerando o chamado grafo Def-Uso, definido por Rapps & Weyuker
Exemplos dessa classe de critérios são os Critérios de Rapps e Weyuker (Todas-Definições,Todos-P-Usos,Todos-P-Usos/Alguns-C-Usos,Todos-C-Usos/Alguns-P-Usos,Todos-Usos,Todos-DU-Caminhos) e os Critérios Potenciais-Usos (Critério Todos-Potenciais-Usos (PU), Critério Todos-Potenciais-Usos/DU (PUDU), Critério Todos-Potenciais-DU-Caminhos (PDU) ), as próximas seções destinam-se a descrever mais detalhadamente alguns destes critérios.

1.1 Grafo def-uso
Para avaliar os diferentes estados das variável no programa é utilizado um grafo denominado Grafo Definição-Uso ou Grado Def-Uso Rapps e Weyuker (1982). Semelhante ao Grafo de Fluxo de Controle. Inclui ainda variáveis definidas, usadas e destruídas em cada nó. A ocorrência de variáveis em um programa pode ser classificada em:
Definição (def ou d): ocorre quando uma variável recebe um valor.