Présentation générale
Un aspect essentiel du développement de logiciel est défini dans la phrase suivante : "le logiciel doit répondre aux attentes." La fonction de révision de conception de LDRA élargit l'étendue de l'analyse statique fournie par la révision de code et la révision de qualité, en incluant une analyse de conception conforme du code source. La structure de code, le flux de commande et le flux de données sont examinés et permettent d'identifier la conformité de la conception (ou de la non-conception).
La révision de conception établit également une méthodologie afin que LDRA puisse remplir sa mission et offre un "développement de logiciel zéro défaut" à n'importe quelle équipe de développement de logiciel. En veillant à éliminer les défauts de fonctionnement avant qu'ils n'entraînent des coûts supplémentaires lors du test et du déploiement du système, la fonction de révision de conception est un élément essentiel du retour sur investissement offert par la suite d'outil LDRA.
Fonctions
Validité de la conception
Le graph d'appel et graph de flux de LDRA (établis par la fonction de révision de code) sont complétés par une analyse complète de tous les paramètres et objets de données utilisés dans votre code. Ce modèle étendu peut servir à déterminer la traçabilité des exigences et la validité de la conception. Pour plus de performance, une option de génération de commentaire d'en-tête automatique est également fournie.
La fonction de révision de conception peut aussi être utilisée par des architectes et des chefs de design pour s'assurer de la régularité de la conception avant de communiquer des exigences aux développeurs et aux testeurs. Le code est analysé sans qu'aucune compilation ne soit requise, favorisant ainsi une transition facile de la conception à la mise en oeuvre finale.
Analyse de l'interface et du couplage
L'analyse des interfaces inclut la documentation des déclarations du prototype de procédure, les paramètres utilisés par ces procédures et le test de cohérence de l'interface de votre application. Pour le langage C++, des contrats de classe sont documentés et incluent des variables membres et des méthodes.
L'analyse d'interface identifie les variables de programme potentiellement erronées. L'outil effectue une analyse complète de tous les paramètres de procédure, les variables globales et les valeurs produites par des fonctions.
Le couplage de commande et le couplage des données, deux éléments clés dans l'évaluation de la testabilité de votre conception, sont documentés respectivement dans des graphiques "en toile d'araignée" et des rapports d'analyse d'objet de données.
Anomalies des données
Les anomalies de flux de données sont des séquences d'actions liées à des variables de programme suspectées d'être erronées. Les messages produits par le rapport d'analyse de flux de données détectent différents types d'anomalies de flux de données.
L'analyse de flux de données est exécutée dans les limites de la procédure au niveau du fichier source ou du système, et les anomalies sont signalées lorsqu'elles sont identifiées.
Test de faisabilité
Le comportement du modèle de révision de la conception est examiné par un processus automatisé, appelé test de faisabilité, qui produit un environnement de test dans lequel tous les chemins réalisables peuvent être exécutés. L'utilisation complète de cet environnement de test est accomplie de manière très efficace dans le composant de test unitaire de LDRA.
Dans le langage C++, les erreurs de fonctionnement les plus fréquentes sont souvent associées à votre système de gestion de la mémoire et à l'utilisation d'artéfacts de mémoire par des pointeurs. LDRA examine ces domaines problématiques, ainsi que la structure, les listes liées et l'utilisation de réseaux.
Avantages
Les principaux avantages de la révision de conception sont:
- S'assurer que les exigences sont respectées en utilisant la conception adéquate
- Une excellente préparation des révisions de la disponibilité de test
- Le profilage de code fournit une analyse sans "faux positif"
- L'analyse d'interface identifie les variables de programme potentiellement erronées
- Conséquence: La conception sera conforme à la spécification
Produits livrables
La clé est de faire en sorte qu'une révision soit effectuée pour vérifier que la spécification de la conception a été mise en oeuvre conformément aux attentes.
|
