Analyseur de couverture de code Testwell CTC++

  Demande d'info / contactez-moi

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

Informatique Industrielle

Analyseur de couverture de code Testwell CTC++
Analyseur de couverture de code Testwell CTC++

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:

  1. 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;
  2. 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 :

  1.  couverture des instructions (Statement Coverage).
     Chaque ligne de code a-t-elle été exécutée ? 
  2.  Couverture de Fonction (Function Coverage). 
     Chaque fonction a-t-elle été appelée ? 
  3.  Couverture de Décision / Couverture de branche (Decision Coverage /  Branch  Coverage). Chaque branchement conditionnel est-il emprunté ? 
  4.  Couverture de Condition (Condition Coverage). 
     Chaque point d'écaluation  (valeur de variable par exemple) est-il  exécuté ? 
  5.  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 : 
  1.  un résumé du dossier indiquant les informations générales d´en-  tête;
  2.  un résumé des fichiers qui zoome dans les fichiers des  dossiers;
  3.  un résumé des fonctions qui zoome dans les méthodes et  fonctions  contenues  dans les fichiers;
  4.  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;
  5.  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: 
  1. Rapport sur la classification de l´outil;
  2. Plan/rapport de qualification de l´outil;
  3. Manuel de sécurité de l´outil;
  4. 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.

Posté le 15 août 2015 - (426 affichages)
Verifysoft Technology
Technologiepark, In der Spöck 10-12
77656 Offenburg - Germany
+49-(0) 781 12 78 11 8 -
Voir le profil société
Adresse
Articles similaires
Tablette industrielle
Red Lion Controls annonce le support d’OPC UA, Unified Architecture, par Crimson 3.1
Maplesoft entre dans le programme PartnerNetwork
PC Box durci et étanche
dSPACE supporte les fonctionnalités d’AUTOSAR 4.3
Environnement de développement intégré
Des terminaux au service de la collecte des données
Pupitres et panels PC encastrables
Calculateur embarqué
Systèmes d'acquisition flexibles
Logiciel de conception de borniers
IHM, écrans et panel PC
Solutions informatiques et de mise en réseau
Gestion des alarmes techniques
PC industriel, IHM et Reseau
Terminaux distants cellulaires
Ordinateurs sur carte
Solutions informatiques
Solutions pour le ferroviaire
PC Fanless
PC Box durci et étanche
Systèmes de contrôle
Commutateurs PoE 60 W
Switch PROFINET/Ethernet
Switch Ethernet
Passerelle IIoT avancée
Carte processeur
Commutateur tactile
Logiciel IHM iX 2.40 multi-protocoles, avec fonctions évoluées
PC industriel, IHM et Reseau
Tablette industrielle
Environnement de développement intégré
Logiciel de conception de borniers
Commutateur tactile
Concentrateur Datalogger dynamique
Ecrans et Panels PC
Passerelles de gestion à distance
Commutateur intelligent
Module sans fil
Solution de communications sans fil