Imagix 4D: Rétro-ingénierie et analyse du code source
Imagix 4D fournit aux développeurs de logiciels un outil puissant pour comprendre, documenter et améliorer les codes sources complexes, tiers ou hérités. Il automatise l'analyse du flux de contrôle et des dépendances, en détectant les problèmes de contrôle de la concurrence et de partage des données. Cela permet d'augmenter la productivité, d'améliorer la qualité et de réduire les risques. Pour les développeurs C, C++ et Java, Imagix 4D permet de comprendre rapidement et précisément un code source complexe, d'automatiser l'analyse des structures de contrôle et des dépendances, d'identifier et de résoudre les problèmes liés à l'utilisation des données et aux interactions entre les tâches, et d'effectuer une analyse approfondie de l'impact des changements avant de procéder à des modifications. Vous pouvez intégrer et réutiliser efficacement le code source et ainsi maintenir et améliorer de manière fiable les logiciels existants. Avec Imagix 4D, vous passez plus de temps à développer et moins de temps à lire du code.
Points forts:
- Compréhension rapide de codes C, C++ et Java inconnus
- Options de visualisation étendues
- Évaluation simple de la qualité du code grâce à l'analyse statique
- Prise en charge des « code reviews »
- pour respecter les normes telles que
MISRA-C++ 2008
MISRA-C 2012
AUTOSAR-C++ 2014
CWE 2.12
CWE 3.3
- par la gestion de listes de contrôle,
- par la réalisation d'évaluations semi-automatisées,
- par la génération de rapports,
- et par la prise en compte optionnelle des résultats d'analyse provenant d'outils externes (SARIF Import).
- Prise en charge d'un grand nombre de métriques, y compris les métriques HIS
- Analyse Delta : Visualisation et documentation des différences structurelles entre différentes versions de code
- Documentation de projet automatisée
Plus d'informations:
Analyse de code source
Imagix 4D aide les développeurs à comprendre et à faire de la rétro-ingénierie de codes C, C++ et Java complexes. Il prend ainsi en charge des tâches telles que la compréhension rapide de codes inconnus, les analyses d'impact, l'intégration de codes open source, la réutilisation de codes et la maintenance de logiciels hérités. Grâce à une analyse statique précise, Imagix 4D offre des fonctions complètes de visualisation et de navigation dans le code source qui permettent à l'utilisateur d'examiner l'architecture du logiciel, les structures de contrôle, l'utilisation des données et les dépendances. Les vues de haut niveau, comme les diagrammes UML et les diagrammes d'architecture de sous-système, et ses représentations détaillées, comme les diagrammes de séquence et les organigrammes, permettent une analyse d'impact et un débogage approfondi. Grâce à la prise en charge de différents compilateurs et systèmes multitâches, Imagix 4D garantit une analyse précise adaptée à l´analyse syntaxique de votre compilateur spécifique.
Vérifications statiques et métriques
Imagix 4D améliore la qualité et la sécurité des logiciels grâce à l'analyse statique, en identifiant les problèmes potentiels dès le début du développement et des tests. Il prend en charge la sécurité des threads, le contrôle de la concurrence et vérifie les blocages et les conditions de concurrence, garantissant ainsi la fiabilité des systèmes embarqués en temps réel. Les contrôles de qualité et les métriques basés sur des normes telles que CWE et MISRA-C, contribuent à améliorer la sécurité, la fiabilité et la maintenabilité. Imagix 4D relève plus de 100 métriques, dont la complexité cyclomatique McCabe, la complexité Halstead, HIS-Metrics, l'indice de maintenabilité et les métriques orientées objet Chidamber et Kemerer, ce qui facilite la vérification du flux en temps réel, les révisions de code, l'évaluation du code par un tiers et le suivi de l'avancement du développement. Intégré à une visualisation complète du code source, Imagix 4D permet d'effectuer des tests efficaces et automatisés, en vous permettant d'approfondir les mesures et les rapports afin de comprendre et de résoudre les problèmes, ce qui améliore à la fois l'assurance qualité et la compréhension du programme.
Analyse delta
Les fonctionnalités d'Imagix 4D vont au-delà de l'analyse de la dernière version du code et permettent de comprendre et de comparer plusieurs variantes tout au long du processus de développement du logiciel. Sa fonction d'analyse Delta permet d'effectuer des comparaisons structurelles entre différentes versions du code, ce qui facilite la gestion du projet en garantissant que les modifications sont conformes aux intentions de conception, en confirmant la fonctionnalité et en identifiant les mises à jour manquantes. Imagix 4D se distingue par sa capacité à analyser les différences au niveau structurel, ce qui permet d'obtenir des informations sur le flux de contrôle et l'architecture globale, qui peuvent être exploitées pour automatiser les processus de révision et de vérification du code.
Revue de code ou révision de code
L'outil Review d'Imagix 4D rationalise les processus de révision de code des logiciels en automatisant les étapes, en intégrant les résultats de l'analyse statique et en créant de la documentation de manière transparente. Il répartit les efforts entre les membres de l'équipe, suit les progrès de manière efficace et génère une propriété intellectuelle réutilisable pour simplifier les révisions de code futures. Cet outil réduit considérablement les efforts requis pour les révisions logicielles complètes, améliorant ainsi la qualité globale des logiciels et la conformité aux normes industrielles.
- Automatise de nombreuses étapes du processus de révision de code
- Intègre de manière transparente les résultats de l'analyse statique dans l'analyse et à la visualisation des sources nécessaires du code source
- Crée automatiquement une documentation et une piste d'audit dans le cadre du processus
- Répartit les efforts entre les réviseurs et les développeurs, en produisant un résultat unique et cohérent
- Facilite la gestion des révisions de code, en répartissant les tâches et en suivant les progrès et les résultats
Documentation automatisée
L'automatisation de la documentation grâce à la rétro-ingénierie avec des outils comme Imagix 4D allège la tâche fastidieuse de la documentation manuelle dans le développement, la maintenance et l'assurance qualité des logiciels. En économisant des efforts considérables et en garantissant la précision, elle permet aux équipes de se concentrer sur des tâches à valeur ajoutée, accélère les efforts de révision par les pairs, évite les malentendus et facilite le processus d'intégration des nouveaux ingénieurs. Étant donné que 5 à 15 % des efforts de développement sont généralement consacrés à la documentation, l'automatisation offre une solution précieuse pour rationaliser les flux de travail et améliorer l'efficacité globale.
Visualisation des mesures de couverture de code par l´analyseur de couverture Testwell CTC ++
L'intégration d'Imagix 4D avec Testwell CTC++ vous aide à examiner les données de couverture des tests.
Plusieurs schémas de visualisation du déroulement du programme sont disponibles. En outre, Imagix 4D affiche la couverture des
appels / la couverture des paires d'appels (sur la base de l'analyse de Testwell CTC++).
Plus d'informations
Plus d'informations:
How Imagix 4D supports the understanding of software based on source code par J.D. BaltzerCode Refactoring par Martin Fowler
Re-familiarizing Yourself with Your Own Programs
Comprendre le programme des autres
Dernières nouvelles
(la version actuelle est la 10.5.3)
- Imagix 4D version 10.5.3. disponible
- Imagix 4D version 10.5 avec le support MISRA C++ disponible
- First Aid for Old Code
- Les développeurs de logiciels ont des problèmes. Les nouvelles signées Jan-David Baltzer
- Imagix 4D en dessin animé: Anna a un problème
- Imagix 4D: Le "couteau suisse" du Software