Colloque

Modélisation par niveaux sémantiques des programmes sources

Jean Mayrand

Pierre N. Robillard

Membre a labase

Jean Mayrand

Résumé du colloque

L'objectif de cette communication est la présentation d'un modèle représentant les entités présentes dans un programme et leurs associations. Ce modèle rend possible la définition et la normalisation des mesures effectuées sur le code source. Les mesures servent ensuite à évaluer la qualité des logiciels. Les langages procéduraux et les langages orientés objets sont couverts par ce modèle. Une approche par niveaux est utilisée pour cette modélisation. Cette approche décrit la description de classes d'objets et des types d'associations entre ces classes d'objets. Le modèle présenté est composé de cinq niveaux interdépendants: le niveau FICHIER, le niveau IDENTIFICATEUR, le niveau CONTRÔLE, le niveau IDENTIFICATEUR LOCAL et le niveau EXPRESSION. La sémantique et l'étude de la signification des éléments à chacun des niveaux. Un ensemble de graphes classiques est attaché à ces niveaux; parmi ceux-ci, nous retrouvons: le graphe de déclarations, le graphe de contrôle, le graphe de flux de données internes et le graphe de flux de données globales. Le modèle final est traduit sous une forme BNF et un schéma relationnel.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Évaluation de la contraction cardiaque tridimensionnelle en ventriculographie monoplan par détermin…

Zohra Sehbouh

Un Nouveau Modèle de Mémoire Linéaire Associative

Tuan Cao-Huu

Les systèmes intelligents embarqués appliqués au transport routier: promesses et réalités

Jean-François Martin

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Classification des modules d'un logiciel par niveau de complexité

Jean Mayrand

Modélisation par niveaux sémantiques des programmes sources

Jean Mayrand