Tests pour des Systèmes Embarqués

[English][Deutsch]

Solutions de tests pour les systèmes embarqués

Analyse de couverture de code pour toutes les cibles : CTC++

CTC++ est un puissant outil de couverture de code basé sur l'instrumentation et d'analyses dynamiques pour C et C++, très simple à utiliser. Aucune modification au code de l'utilisateur n'est nécessaire.
En utilisant le pack "CTC++ host-target-add-on", CTC++ vous fournit une analyse de couverture de code dans les périphériques embarqués.
L'add-on host-target donne les composants supplémentaires facilitant la compilation croisée du code instrumenté pour une cible, lançant des tests sur la cible, retournant les résultats de tests à l'hôte, et permettant la visualisation des rapports de couverture sur l'hôte.
L'impact de CTC++ sur la taille et la vitesse d'exécution des programmes instrumentés est très bas (en moyenne 15-20 % seulement).

CTC++ Host-Target est conçu pour être compatible avec toutes cibles, indépendamment de

  • l'architecture hardware de la cible
  • le système opérant, s'il y en a, sur lequel la cible est lancée
  • la marque du compilateur croisé C/C++ pour la cible

L'add-on host-target inclut aussi la caractéristique "Kernelcoverage" (couverture du noyau). Il facilite la mesure de la couverture de test et de la profondeur de l'"execution profiling" depuis le noyau du système opérant.

CTC++ is utilisable "dans le large"

  • Des coûts d'instrumentation très raisonnables
  • Vous pouvez sélectionner quels fichiers sources instrumentés et avec quelles options d'instrumentation
  • Outre les exécutables complets, les bibliothèques et les DLL peuvent aussi être mesurées

CTC++ est l'un des plus puissants outils de couverture de test. Il supporte :

  • couverture de fonction (fonctions appellées)
  • couverture de décision (expressions conditionnelles vraies et fausses dans les branches du programme, les branches de cas dans les états changeants, les gestions d'exception attrapées en C++, les transferts de contrôle)
  • couverture de condition (en plus de la couverture de décision, les conditions élémentaires vraies et fausses dans les expressions conditionnelles)
  • couverture de conditions multiples "multi-condition coverage" (en plus de la couverture de décision, tous les moyens possibles exercés pour évaluer une expression conditionnelle)

CTC++ peut être utilisé bénéfiquement dans beaucoup de buts : le test du module, le test d'intégration, le test de performance, l'optimisation, la comparaison d'efficacité des algorithmes, la localisation du code mort, ...

Davantage d'information sur CTC++ sont disponibles sur la page principale de CTC++.

CMT++ outil de mesure de complexité pour C/C++

Vérifiez la complexité de votre code avec CMT++, ainsi vous pourrez évaluer les risques de bugs et de plantage de votre programme, et concever un programme le plus maintenable possible. Davantage d'informations.

Conformiq Qtronic ™

Conformiq Qtronic est un outil de test qui utilise un modéle de conception de votre logiciel (en UML ou QML) afin de générer automatiquement des jeux de tests.
Plus d'informations

Vous avez d'autres questions concernant CTC++/CMT++/Conformiq Test Generator et la possibilité de réaliser la couverture de code et les mesures de complexité dans votre environnement embarqué ?
Appellez le +49 781 63 92-027

ou envoyer nous votre question :
Entreprise
Nom :
Téléphone (avec les préfixes internationaux) :
Email :
Code postal/Ville :

last updated: 21.07.2008

© 2006-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
all other trademarks of this site are the property of their respective owners.