Rappel
La Vérification de Tests peut être utilisée par le composant de Tests Unitaires pour fournir la mesure de couverture des tests exécutés qu'il s'agisse de tests de fonctions/méthodes, tests de modules/classes ou encore tests de niveau composants/système. L'outil élabore un planning des tests à réaliser et fournit un graphe coloré aidant à appréhender le niveau de couverture désiré en fonction du niveau de criticité de l'application.
Ce module permet également la vérification de cas de tests lorsque ceux-ci sont définis par les développeurs (non définis par le module de Tests Unitaires). Les tests peuvent être exécutés dans l'environnement LDRA Testbed, sur un simulateur, sur un environnement hôte ou bien sur une plateforme cible.
Pour les utilisateurs intéressés par la méthodologie LDRA Zero Defect Software Development, la Vérification de Tests fournit une couverture de faisabilité ou un pourcentage des chemins pouvant être exécutés par un cas de test.
Fonctionnalités
Métriques de couverture
LDRA Testbed calcule les métriques de couverture standards pour:
- Les Instructions
- Les Branches/Décision
- Procédure/Appels de Fonction
LDRA calcule également les métriques de faisabilité qui supportent sa méthodologie de Tests de Faisabilité.
TBsafe ajoute les:
- Branche Décision Condition
- Branche Condition Combinaison
- Condition modifiée / Couverture de Décision (MC/DC pour la DO-178B Niveau A)
- Graphe d'Appel dynamique
Planning des Tests
La Vérification de Tests crée 2 documents, les plannings de tests:
- Le planning de la faisabilité des cas de tests : il montre le code source et les branches associées mais non couvertes se trouvant dans des chemins possibles ou faisables (appelé aussi LCSAJ's) ainsi que la condition logique nécessaire a l'exécution de telles branches.
- Le planning des cas de tests MC/DC : détaille les étapes nécessaires pour atteindre le niveau A de la DO-178B, Modified Condition/Decision Coverage.
La Suite d'Outil LDRA synthétise et le système a travers:
- Le graphe d'appel qui offre une navigation graphique de toute l'application et permet la visualisation graphique de tous les appels inter fonctions ou inter procédures. Le graphe d'appel dynamique permet la visualisation de l'information de couverture de test grâce à la colorisation.
- Le graphe de contrôle qui offre la possibilité de visualiser la valeur de l'expression logique des conditions dans le code. Il permet aussi de visualiser graphiquement l'information de couverture de test au niveau des instructions et des branches.
Rapports
Les rapports génères automatiquement peuvent être configurés pour accepter ou refuser le niveau de couverture atteint et ce au niveau procédures ou bien au niveau des fichiers. On trouve dans ces rapports:
- Le code source annoté
- Un rapport de l'ensemble du système
- Les métriques de couverture des:
- Procédures
- Fichiers
- Système
Analyse des données / du profil
L'analyse des données peut être utilisée de 2 manières. La première permet d'obtenir des informations sur les groupes de données exécutées par une ligne ou un ensemble de lignes de code. Il s'agit d'une information primordiale pour les tests de non régression.
La seconde utilisation permet d'identifier les lignes de code qui ont été exécutées par d'un ensemble de données de tests. Ceci peut être utile pour la génération de la documentation ou pour exécuter une partie spécifique du code.
Profile Analysis
Le Profile Analysis est un ensemble minimal de données qui permettent d'atteindre le meilleur niveau de couverture. Cet ensemble minimal peut être utilisé pour rendre les tests de non régression plus efficaces, diminuer le temps et les coûts.
Points Forts
- Mesure l'avancée de la vérification du code et évalue l'effort qui reste à produire
- Améliore la fiabilité et la robustesse du code
- Identifie les parties de code insuffisamment testées
- Réduit de coût des tests de non régression
- Augmente l'efficacité du code
- Réalise des tests de haut niveau
- Conséquence: Rune économie de ressources, un produit de meilleure qualité et un temps de développement plus court
Résultats
Le but de ce composant est la mesure de l'efficacité des phases de test, en montrant les différents niveaux de couverture du logiciel.
|
