Analyseur de couverture de code Testwell CTC++
Verifysoft Technology GmbH propose Testwell CTC++, analyseur de couverture de code pour les projets écrits en C, C++, Java et C#.
Ce logiciel indique les parties du code qui n'ont pas été testées, évitant ainsi les tests redondants et le code mort.
Grâce à sa simplicité d'utilisation et d'installation, il répond aux besoins de nombreuses entreprises de par ses performances techniques.
Sécurité
Compatible tous compilateurs, toutes cibles embarquées et proposant le niveau de couverture le plus élevé, soit la couverture MC/DC pour les projets critiques, Testwell CTC++ est utilisé pour répondre aux exigences des normes de sécurités.
Choisi par les entreprises qui ont à réaliser et à démontrer une couverture de code élevée dans l´aérospatiale, l´automobile, le transport, le médical ou d´autres industries, cet analyseur fonctionne de concert avec la plupart des outils de tests unitaires. En fin d'analyse, un rapport détaillé est établi par cet outil, apportant la preuve que l'entreprise utilisatrice a correctement testé ses logiciels.
Pour analyser la couverture de code, Testwell CTC++ instrumente le code. Des compteurs d´exécution sont ajoutés au code source. Ceux-ci mesurent combien de fois une portion du code source a été exécutée en montrant les résultats dans différents rapports. L'augmentation en taille et le ralentissement de la vitesse d´exécution du code sont faibles.
Plateformes
Cet outil s'exécute sur les plateformes Windows, Linux, OS X, Solaris et HP/UX. La version 7.3.3 de Testwell CTC++ est disponible dès maintenant pour la plateforme Windows : la pré-version de la version 7.4, version majeure prévue à l'automne prochain.
Testwell CTC++ est le premier analyseur de couverture de test pour couverture de code sur hôte et sur cible.
La nouvelle version 7.3.3 contient les améliorations suivantes:
- de nouvelles informations peuvent être ajoutées au rapport textuel d´exécution pour faciliter la génération de rapports HTML avec des détails de couverture de ligne par l´utilitaire ctc2html;
- un nouveau concept d´annotation pour commenter ce rapport.
Le logiciel Testwell CTC++, présent sur le marché depuis 1989, propose une à deux mises à jour par an.
Les niveaux de couverture de code
La couverture de code consiste à analyser les parties d'un logiciel ayant été exécutées en cours de test, le plus souvent par les tests unitaires permettant de stimuler l'application sous forme de boite blanche. L'analyseur de couverture établit une liste symbolique des différentes branches et conditions que comporte le logiciel, en la comparant aux résultats de couverture. L'outil détermine un taux d'efficacité, exprimé en pourcentage (TER pour Test Effectiveness Ratio).
Les normes régissant les projets critiques des différentes industries recommandent différentes méthodes de couverture à employer :
- couverture des instructions (Statement Coverage).
Chaque ligne de code a-t-elle été exécutée ? - Couverture de Fonction (Function Coverage).
Chaque fonction a-t-elle été appelée ? - Couverture de Décision / Couverture de branche (Decision Coverage / Branch Coverage). Chaque branchement conditionnel est-il emprunté ?
- Couverture de Condition (Condition Coverage).
Chaque point d'écaluation (valeur de variable par exemple) est-il exécuté ? - Couverture de Condition/Décision Modifiée (MC/DC) et Couverture de Condition multiple (Multicondition, MCC).
Il s'agit des niveaux les plus performants et les plus complexes pour le test, fortement recommandés, voire imposés, par les normes de sécurité.
Testwell CTC++ répond aux exigences de tous ces niveaux de couverture, garantissant ainsi une qualité logicielle maximale.
Génération des Rapports
Les rapports donnent à la fois une vue globale, qui montre les pourcentages de couverture pour plusieurs niveaux de synthèse, ainsi qu´une vue détaillée, où les informations d´exécution / non-exécution sont associées aux emplacements réels du code source.
Testwell CTC++ génère :
- un listing du profil d'exécution qui affiche combien de fois chaque portion de code a été exécuté. Il précise les portions de code n´ayant pas encore été exécutées durant le de test (rapport textuel);
- un listing du Code non testé affichant les portions de code non testées (rapport textuel) et suggères les cas de tests à rédiger afin d'améliorer la couverture ! Un listing du temps d´exécution indiquant le temps d´exécution cumulé et moyen des fonctions (rapport textuel);
- un rapport de couverture (format HTML, hiérarchique avec 4 niveaux) comprenant :
- un résumé du dossier indiquant les informations générales d´en- tête;
- un résumé des fichiers qui zoome dans les fichiers des dossiers;
- un résumé des fonctions qui zoome dans les méthodes et fonctions contenues dans les fichiers;
- un profil d´exécution qui zoome dans la vue détaillée, les compteurs d´exécution sont indiqués dans le code source. Les lignes exécutées partiellement sont indiquées en rouge;
- une liste du Code non testé.
Une seule licence couvre tous les compilateurs (pas d'option et cela n'entraine pas de coûts supplémentaires). Testwell CTC++ fonctionnera également avec tous les nouveaux compilateurs.
Kit de qualification
Le kit de qualification Testwell CTC++ permet de qualifier l'analyseur de couverture pour les projets critiques et surtout de répondre aux normes de sécurité DO-178C, EN-50128, IEC 61508, IEC 60880 et ISO26262. Il facilite la certification des systèmes embarqués qui utilisent l'outil Testwell pour l´analyse de couverture de test.
L´utilisateur peut modifier les artefacts dans le kit de qualification de l´outil pour son projet spécifique. Le kit fournit des informations concrètes, des cas de test et des procédures qui prouvent ainsi le niveau de qualité du test effectué sur le logiciel.
Il contient des plans de qualification de l´outil, ses exigences opérationnelles et d´autres éléments nécessaires pour la qualification de Testwell CTC ++ pour une utilisation en sécurité des projets critiques. Pour chaque fonction utilisée de Testwell CTC++ l´utilisateur est en mesure d´exécuter des cas de test dans son environnement qui démontrent l´absence d´erreurs.
Le kit de qualification pour Testwell CTC++ est composé:
- d'outil qui aident à la qualification qui guide l'utilisateur et génère les documents suivants:
- Rapport sur la classification de l´outil;
- Plan/rapport de qualification de l´outil;
- Manuel de sécurité de l´outil;
- Plan de test.
- d'unité d'automatisation des tests;
- de la suite de tests avec des cas de test;
- du manuel d´utilisation du kit de qualification.
Références
Ces dernières années, Testwell CTC++ devient l'outil de référence dans de nombreux projets de développement de logiciels dans plus de 30 pays à travers le monde, notamment dans les domaines critiques telles que l'aéronautique, le ferroviaire, l'automobile, le médical ou encore le nucléaire.
