1. Exposé sur :L’exécution symbolique
Préparer par :
ILHEM DAOUDI
Université Mohamed Chérif Messadia
‫ــ‬ Souk-Ahras ‫ــ‬

2. Plan :
1-Introduction.
2-Exécution symbolique .
3-Génération de tests basée sur les chemins .
4-Le prédicat de chemin .
5-Exemple de l’exécution symbolique .
6-Avantage de l’exécution symbolique :
7-Inconvénients de l’exécution symbolique .
8-Conclusion .
9-Références .

3. 1-Introduction:
• Exécution symbolique a rassemblé beaucoup d'attention au
cours des dernières années comme une technique efficace
pour produire haute couverture et pour trouver des erreurs
profondes dans un complexe.
• Dans cet exposé, j'essaie de donne un aperçu des techniques
d'exécution symboliques modernes.

4. 2-Exécution symbolique :
• Exécution symbolique est une technique de test de logiciel qui est
utile pour faciliter la génération des données de test et pour prouver
la qualité du programme .
• L'idée clé derrière l'exécution symbolique est à utiliser comme des
valeurs d'entrée des valeurs symboliques au lieu des données
réelles, et représenter les valeurs des variables du programme
comme des expressions symboliques. En conséquence, les sorties
calculées par un programme sont exprimé en fonction des entrées
symboliques.

5. 3-Génération de tests basée sur les chemins:
1 choisir un chemin π du CFG (le graphe de flot de controle).
2 calculer un de ses prédicats de chemin π.
3 résoudre : une solution = une DT exerçant le chemin π.
4 si couverture incomplète, goto 1.

6. 4-Le prédicat de chemin:
• Prédicat de chemin (entrées Y0 et Z0).
• W1 = Y0 + 1 ∧ X2 = W1 + 3 ∧ X2 < 2 × Z0 ∧
X2 ≥ Z0
• Projection sur les entrées:
• Y0 + 4 < 2 × Z0 ∧ Y0 + 4 ≥ Z0
Loc Instruction
0 input(y,z)
1 w := y+1
2 x := w + 3
3 if (x < 2 * z) (branche True)
4 if (x < z) (branche False)

7. 5-Exemple de l’exécution symbolique:

8. 6-Avantage de l’exécution symbolique :
• Preuves symboliques peuvent être générales .
• preuves symboliques impliquent généralement moins de travail que
d'autres méthodes .
• Preuves symboliques sont moins d'erreurs que d'exécuter les cas de
test .

9. 7-Inconvénients de l’exécution symbolique :
• Exécution symbolique est difficile à utiliser , sauf pour des problèmes
algorithmiques et de substitution .
• Preuves d'exécution symboliques sont manuelles et donc sujette aux
erreurs .
• exécution symbolique est difficile à utiliser avec une logique
complexe .

10. 8-CONCLUSION:
• Exécution symbolique est maintenant la technique sous-jacente de
plusieurs outils de test populaires .
• Outils d'exécution symboliques sont maintenant utilisées dans
l'industrie pratique chez Microsoft ( pex6 , SAGE [ 29 ] , et YOGI7
préfix [ 10 ] ) , IBM ( Apollo [ 2 ] ) , la NASA et fujitsu ( symbolique
pathfinder ) , et forment également un élément clé de la publicité
suites d'outils de test de parasoft et d'autres sociétés .

11. 9-Références:
• HTTP://RESEARCH.MICROSOFT.COM/EN-US/UM/PEOPLE/PG/PUBLIC_PSFILES/ICSE2011.PDF
• HTTP://PERSO.ENS-LYON.FR/CHRISTOPHE.ALIAS/VERIF/BARDIN.PDF
• HTTP://WWW.CS.UMD.EDU/~MWH/SE-TUTORIAL/SYMBOLIC-EXEC.PDF
• HTTP://WEB.CS.IASTATE.EDU/~WEILE/CS641/9.SYMBOLICEXECUTION.PDF
• Disciplined Software Engineering lecture #13 /Software Engineering Institute
Carnegie Mellon University Pittsburgh, PA 15213 / Sponsored By The U.S.
Department Of Defense.