^{PDFprof.com Search Engine}

"Composition d'analyse statique et dynamique pour la vérification de

L'analyse statique consiste à analyser le texte d'un programme pour en extraire de l'information.
Cette analyse est effectuée sans exécuter le programme.
L'analyse statique se distingue donc ainsi de l'analyse dynamique qui consiste à exécuter le programme avec des données afin d'en vérifier le comportement.

3 sept. 2013 · dynamique étudiée, et les possibilités offertes par l'analyse statique pour la définition de points d'observation. La section 5.2 détaillera Autres questions

Vérification et Validation
Combinaison d'approche statique et dynamique pour l'application
Analyse statique de programmes et interprétation abstraite