Ressource en auto-formation : Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Présentation de: Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Informations pratiques sur cette ressource

Description de la ressource en auto-formation

Résumé

Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un programme et de démontrer des propriétés essentielles pour garantir l'absence de bug.

"Domaine(s)" et indice(s) Dewey

• Programs (005.3)

Domaine(s)

Intervenants, édition et diffusion

Intervenants

Diffusion

• Canal-U
  Voir toutes les ressources en auto-formation

Document(s) annexe(s) - Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

• Cette ressource fait partie de
  • Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.