Analyse Statique
Ref: 3IF2050
Description
L’analyse statique permet de déterminer des propriétés d’un système en
examinant ses modèles, sans l’exécuter ni le simuler. Il s’agit d’une
approche de la vérification qui est automatique, mais qui peut rapporter
de faux positifs (problèmes qui n’existent pas réellement) et passer
sous silence des problèmes bien présents (faux négatifs). Ce cours vise à
présenter les différentes techniques d’analyse statique, les domaines
où elle est la plus pertinente, ses limites et ses avantages dans un contexte industriel.
Période(s) du cours
SM10
Prérequis
aucun
Syllabus
- CM 1 : Introduction, nature et intérêt de l'analyse statique
- CM 2 : Contraintes industrielles sur l'analyse statique
- Séances 3 à 6 : Études de cas
Composition du cours
Les méthodes utilisés pour ce cours sont principalement des études de cas, avec des cours magistraux d'introduction pour présenter les concepts et les contraintes industrielles qui contraignent la méthode.
Ressources
Ce cours fait largement appel à des études de cas industriels pour prendre la mesure des possibilités mais aussi des limitations de l'analyse statique. Deux cours magistraux permettent de donner les connaissance initiales requises pour les études de cas.
Résultats de l'apprentissage couverts par le cours
À l'issue de ce cours, les élèves seront capables :
- d'évaluer la pertinence de l'analyse statique pour la vérification d'un système,
- de faire le choix d'un outil d'analyse statique pertinent dans un contexte industriel,
- d'interpréter les résultats en prenant en compte les défauts de la méthode.