[CASE Tool] Modélisation de code procédural

Bonjour tout le monde !

j'aimerais savoir si l'un d'entre vous connait un outil de modélisation graphique spécialisé dans la modélisation de code procédural. Je sais qu'en cette fin de décénie, ça peut paraître étrange, mais nous travaillons en C sur ce projet.

Idéalement, cet outil est capable de faire du retro-engineering (lire des fichiers .c et .h) et en sortir un modèle graphique. Il est entendu que ce modèle graphique peut ne pas respecter UML (ça risque même fortement d'être compliqué). La base de code est trop importante aujourd'hui pour que je me permette de tout redéfinir dans un outil.

Ca fait déjà un certain temps que je cherche, sans trop de succès.

Merci d'avance !

Bonjour,

tout dépend de ce que vous voulez modéliser

s'il s'agit de la partie statique alors un modeleur avec un reverse C++ saura aussi reverser vos struct/union/enum de la même façon que s'il s'agissait de classes n'ayant que des attributs. Les fonctions seront par contre à priori perdues sauf artifice du modeleur

coté dynamique c'est plus problématique, comme cela l'est déjà avec C++ ;)

Citation:

---

Envoyé par bruno_pages

Bonjour,

tout dépend de ce que vous voulez modéliser

s'il s'agit de la partie statique alors un modeleur avec un reverse C++ saura aussi reverser vos struct/union/enum de la même façon que s'il s'agissait de classes n'ayant que des attributs. Les fonctions seront par contre à priori perdues sauf artifice du modeleur

coté dynamique c'est plus problématique, comme cela l'est déjà avec C++ ;)

---

Dans l'idéal, la partie statique est nécessaire et la partie dynamique est un plus. Par contre, je ne peux pas me permettre de perdre mes fonctions (vue que bon, en programmation procédurale, il y a souvent pas mal de fonctions :))

Pour le coté dynamique, une analyse statique du code source est bien souvent suffisante pour exprimer les liens entre les différentes fonctions (graphe d'appel avec gestion des conditions). Je n'arrive pas à croire qu'aucun logiciel n'ai décidé de tester cette approche, qui m'apparait quand même potentiellement faisable, au moins pour les cas les plus simples. Damned, si ça se fait pour Java, alors ça peut se faire pour le C++ et donc probablement pour le C !

J'ai trouvé Banhaus (projet de l'université de Stuttgart), mais ce logiciel est principalement un outil de vérification statique du code source (probablement l'un des plus évolué ceci dit). J'ai demandé à la société qui l'exploite une demo, et j'attends leurs réponses. Idem avec KlocWork - nous attendons une réponse. Ceci dit, ce ne sont pas des outils de modélisation, mais bien des outils de vérification.

En fait, plus je cherche sur internet, moins je trouve quoi que ce soit de vraiment utile. Par exemple, peu d'articles sur une méthodologie formelle (autre que certaines méthodes d'analyse fonctionnelle descendante ou ascendante ; qui ne permet pas forcément de dériver une architecture). Il est évident qu'il y a un lien avec les méthodologies objet (parce que même en C, il peut être utile de penser en termes d'objet) mais ce n'est pas suffisant (selon mon expérience). En l'absence d'une méthodologie formelle, il n'est pas aberrant de ne pas trouver de logiciels permettant la mise en place de cette méthodologie, mais je pensais que 50 années de programmation procédurale avait quand même accouché ici ou là d'un outil exploitable. Visiblement, je n'arrive pas à le trouver.

Citation:

---

Envoyé par Emmanuel Deloget

graphe d'appel avec gestion des conditions... Damned, si ça se fait pour Java, alors ça peut se faire pour le C++ et donc probablement pour le C !

---

en java c'est 'facile' car le code produit pour la machine virtuelle contient ce genre de chose

en C/C++ il est peu probable qu'il y ai des uotils analysant le code généré par un compilateur, par contre rien m'empêche bien-sur d'avoir un outil extrayant cela du source, et cela surtout pour C où les appels sont connus en dehors des cas où on utilise des pointeur de fonction. En C++ les opérations virtuelles compliquent la tâche est rendre impossible sauf cas simple une véritable détermination de la chose appelée.

Salut

Je ne sais pas trop quelles sont vos attentes mais vous pouvez très bien modéliser du C 'procedural' avec de l'UML et trouvez des outils qui s'en accomodent avec des limitations raisonnables - C n'est pas 'object'.
Sans faire de prosélytisme, je vous suggère d'aller voir ce que sait faire Entreprise Architect.
A défaut de répondre à l'ensemble de vos besoins, il vous permettra peut être de lister ce qui répond bien ou pas du tout à vos attentes.
- W

Citation:

---

En fait, plus je cherche sur internet, moins je trouve quoi que ce soit de vraiment utile. Par exemple, peu d'articles sur une méthodologie formelle (autre que certaines méthodes d'analyse fonctionnelle descendante ou ascendante ; qui ne permet pas forcément de dériver une architecture). Il est évident qu'il y a un lien avec les méthodologies objet (parce que même en C, il peut être utile de penser en termes d'objet) mais ce n'est pas suffisant (selon mon expérience). En l'absence d'une méthodologie formelle, il n'est pas aberrant de ne pas trouver de logiciels permettant la mise en place de cette méthodologie, mais je pensais que 50 années de programmation procédurale avait quand même accouché ici ou là d'un outil exploitable.

---

Heu... SADT, IDEF0 sont rattachées a des méthodologies formelles qui ont eu leurs heures de gloire dans les années 90s mais nous n'avons quand même pas tout jeté avec l'arrivée des langages POO et UML...
Mais je n'ai peut être pas bien compris ce que vous recherchiez.
- W