Demande d'info / contactez-moi

Analyseur de couverture de code Testwell CTC++

Informatique Industrielle

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

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 - (420 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
Passerelles de protocoles
Système de gestion de l'énergie
Aspects sécurité des LPWAN dans l'industrie
Passerelles de gestion à distance
Solution Wi-Fi
Préparez votre interopérabilité de protocoles pour l'Industrie 4.0
Carte d'extension 4G
Point d'accès WiFi
Solution de gestion à distance
Panel PC sans ventilateur
Solutions pour le ferroviaire
PC Fanless
PC industriels embarqués
Livre Blanc : Edge Intelligent Server Advantech
Réseau fiable
Passerelle industrielle
Solutions embarquées
IHM et PC industriels
Solutions d’automatisation industrielle intelligente
Solutions intelligentes M2M et IoT
Passerelles de protocoles
Passerelles de gestion à distance
Solution Wi-Fi
PC industriels embarqués
Point d'accès WiFi
Panel PC 7"
Solution matricielle
Passerelle de communication
Commutateurs Ethernet
Commutateur intelligent
Passerelles de gestion à distance
Commutateur intelligent
Module sans fil
Solution de communications sans fil
PC hybride durci
eWON COSY 131 - Routeur industriel d'accès distant
Panels PC durcis au format 16/9
Point d'accès sans fil
Emetteur-récepteur
Routeur LTE multicellulaire