Exécution symbolique

Qu'est-ce que l'exécution symbolique?

L'exécution symbolique est une technique de test logiciel qui est utile pour faciliter la génération de données de test et pour prouver la qualité du programme.

Étapes pour utiliser l'exécution symbolique:

  • L'exécution nécessite une sélection de chemins qui sont exercés par un ensemble de valeurs de données. Un programme, qui est exécuté à l'aide de données réelles, entraîne la sortie d'une série de valeurs.

  • Dans l'exécution symbolique, les données sont remplacées par des valeurs symboliques avec un ensemble d'expressions, une expression par variable de sortie.

  • L'approche courante pour l'exécution symbolique consiste à effectuer une analyse du programme, aboutissant à la création d'un diagramme de flux.

  • Le diagramme de flux identifie les points de décision et les affectations associées à chaque flux. En parcourant le diagramme de flux à partir d'un point d'entrée, une liste d'instructions d'affectation et de prédicats de branche est produite.

Problèmes d'exécution symbolique:

  • L'exécution symbolique ne peut pas se poursuivre si le nombre d'itérations dans la boucle est connu.

  • Le deuxième problème est l'invocation de tout code ou appel de module hors ligne.

  • L'exécution symbolique ne peut pas être utilisée avec des tableaux.

  • L'exécution symbolique ne peut pas identifier de chemins infaisables.

Application d'exécution symbolique:

  • Vérification du domaine du chemin

  • Génération de données de test

  • Analyse de partition

  • Débogage symbolique