Execução Simbólica

O que é execução simbólica?

A execução simbólica é uma técnica de teste de software útil para auxiliar na geração de dados de teste e na comprovação da qualidade do programa.

A execução requer uma seleção de caminhos que são exercidos por um conjunto de valores de dados. Um programa executado usando dados reais resulta na saída de uma série de valores.
Na execução simbólica, os dados são substituídos por valores simbólicos com um conjunto de expressões, uma expressão por variável de saída.
A abordagem comum para a execução simbólica é realizar uma análise do programa, resultando na criação de um gráfico de fluxo.
O fluxograma identifica os pontos de decisão e as atribuições associadas a cada fluxo. Percorrendo o gráfico de fluxo de um ponto de entrada, uma lista de instruções de atribuição e predicados de ramificação é produzida.

A execução simbólica não pode prosseguir se o número de iterações no loop for conhecido.
O segundo problema é a invocação de qualquer código fora de linha ou chamadas de módulo.
A execução simbólica não pode ser usada com matrizes.
A execução simbólica não consegue identificar caminhos inviáveis.