Exposé sur :L’exécution symbolique
Préparer par :
ILHEM DAOUDI
Université Mohamed Chérif Messadia
‫ــ‬ Souk-Ahras ‫ــ‬
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-...
1-Introduction:
• Exécution symbolique a rassemblé beaucoup d'attention au
cours des dernières années comme une technique ...
2-Exécution symbolique :
• Exécution symbolique est une technique de test de logiciel qui est
utile pour faciliter la géné...
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 d...
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
• Pr...
5-Exemple de l’exécution symbolique:
6-Avantage de l’exécution symbolique :
• Preuves symboliques peuvent être générales .
• preuves symboliques impliquent gén...
7-Inconvénients de l’exécution symbolique :
• Exécution symbolique est difficile à utiliser , sauf pour des problèmes
algo...
8-CONCLUSION:
• Exécution symbolique est maintenant la technique sous-jacente de
plusieurs outils de test populaires .
• O...
9-Références:
• HTTP://RESEARCH.MICROSOFT.COM/EN-US/UM/PEOPLE/PG/PUBLIC_PSFILES/ICSE2011.PDF
• HTTP://PERSO.ENS-LYON.FR/CH...
Exécution Symbolique
Prochain SlideShare
Chargement dans…5
×

Exécution Symbolique

199 vues

Publié le

0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
199
Sur SlideShare
0
Issues des intégrations
0
Intégrations
4
Actions
Partages
0
Téléchargements
5
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

Exécution Symbolique

  1. 1. Exposé sur :L’exécution symbolique Préparer par : ILHEM DAOUDI Université Mohamed Chérif Messadia ‫ــ‬ Souk-Ahras ‫ــ‬
  2. 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. 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. 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. 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. 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. 7. 5-Exemple de l’exécution symbolique:
  8. 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. 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. 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. 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.

×