Verifysoft Technology GmbH a publié une nouvelle version de l'outil de couverture de code Testwell CTC++.

La version 9.1.2 est maintenant disponible au téléchargement pour tous les clients. Si vous êtes client et que vous ne disposez pas des informations d'identification pour notre plateforme de téléchargement, veuillez nous contacter.
Pour en savoir plus

Verifysoft a nommé G3TEK Embedded Technologies comme distributeur de Testwell CTC++ Test Coverage Analyser en Turquie. G3TEK est basé à Ankara/Turquie et fournit des services locaux et des solutions de développement logiciel pour les applications embarquées/ temps réel. L'entreprise aide ses clients à réduire leurs dépenses et à respecter les délais. Elle propose des solutions dans les domaines de la défense, de l'aérospatiale, de l'énergie, des systèmes ferroviaires et de l'automobile. G3TEK fournit des outils de développement logiciel pour les applications embarquées/ temps réel, des RTOS certifiables DO-178 B/C, des bibliothèques middleware, des outils de modélisation UML et SysML, des outils d'analyse statique, des outils de développement d'interfaces graphiques et des émulateurs JTAG.
De plus amples informations sont disponibles sur le site web de G3TEK.

"L'introduction de l'outil de couverture Testwell CTC++ dans nos projets de recherche a permis d'améliorer considérablement notre capacité à prendre en compte des critères de couverture complexes dans les tests logiciels (en particulier les critères de convergence MC/DC).

Testwell CTC++ a également permis à nos chercheurs de réaliser des expériences très proches du processus de test réalisé dans l'industrie du logiciel. En outre, Testwell CTC++ s'est avéré très facile à installer et à utiliser par les développeurs de logiciels. Compte tenu de notre bonne expérience de l'utilisation de Testwell CTC++, nous avons l'intention de l'adopter dans nos cours pour aider à tester les logiciels critiques pour la sécurité."

Dans l'article (voir ci-dessous) , qui a été récemment publié sur le portail www.embedded.com , « 10 Criteria for selecting a Code Coverage Tool » y sont décrits. Il s'agit entre autres de : L'indépendance vis-à-vis du compilateur, la facilité d'utilisation, la compréhensibilité des rapports de couverture, le support de niveaux de couverture plus élevés pour le développement critique en matière de sécurité, l'intégration flexible, la faible surcharge d'instrumentation et le support de différents langages de programmation. En particulier dans le développement de logiciels critiques pour la sécurité, les normes industrielles prescrivent des exigences précises en matière de couverture de code, de sorte que les produits ne peuvent être certifiés sans la preuve d'une couverture de test suffisante. Mais également dans d'autres projets de développement, les entreprises attachent de plus en plus d'importance à la qualité des logiciels et mesurent la couverture du code…
Lire l´article (en anglais) dans son intégralité.