2009-10-09 4 views

Répondre

1

Voir le profil de ma société (Designs sémantiques) Java Front End. Il va calculer control flow graphs for methods à partir du code source.

Le Java Front End est construit au-dessus de DMS Software Reengineering Toolkit, qui fournit des machines génériques pour manipuler (analyser, analyser [par exemple, extraire des graphiques de flux de contrôle], transformer et générer) du code. Si vous disposez d'un graphe de flux de contrôle particulier, DMS fournit la machine pour vous permettre de construire un graphe de marche, et à partir de là vous pouvez raisonnablement construire des AST Java qui peuvent ensuite être utilisés pour produire du code source Java. Évidemment, votre graphique de flux de contrôle devrait utiliser un vocabulaire qui se traduit facilement en concepts Java (par exemple, aucun opérateur Prolog «unifie ce»), ou vous aurez beaucoup plus de mal à générer le code Java correspondant. Si vous avez généré le graphe à partir du code Java, ce serait clairement le cas.

0

Sparx Systems' EA dispose d'un outil qui accroche dans un débogueur et génère des diagrammes de séquence UML:

De l'spiel marketing Sparx:

les débogueurs intégrés dans Enterprise Architect sont spécialement conçus pour permettre à un développeur ou testeur capturez les informations de trace de la pile lorsqu'elles «parcourent» le code d'exécution, en effectuant une inspection à l'exécution des threads suspendus. Ils peuvent ensuite utiliser l'historique de trace de la pile finale pour générer des diagrammes de séquence dans Enterprise Architect, convertissant l'exécution du code et les appels en diagrammes visuels.

Je suis assez sûr que c'est une transformation à sens unique seulement - pas de déclenchement rond.

Questions connexes