Société     Conformiq Qtronic™     CMT++/CMTJava     CTC++/CTC for Java     Outils pour Java    

Vous trouverez des renseignements sur les futurs évènements (salons, expositions etc.) ici

Embedded Software Engineering Kongress:
Verifysoft a présenté sa nouvelle interface graphique pour l´outil de mesure de complexité de code (métriques)

(Sindelfingen, Allemagne, du 9 au 10 décembre 2009) Verifysoft a présenté lors du salon "ESE-Kongress" à Sindelfingen en Allemagne sa nouvelle interface graphique (Verybench) pour l´outil de mesure de complexité de code Testwell CMT++ et CMTJava. Environ 600 participants ont assistés à ce congrès dédié à l´ingénierie des systèmes embarqués. Grâce à Verybench vous pouvez voir les métriques sous différentes formes. En effet Verybench génère différents types de graphiques pour développeurs, réviseurs, testeurs et managers. Verybench sera bientôt disponible pour notre outil de couverture de test Testwell CTC++, qui mesure la couverture de test dans les plus petites cibles embarquées. Nous avons aussi présenté lors de ce congrès notre générateur automatique de cas de test Conformiq Qtronic™ et notre outil d´analyse statique Coverity Coverity Prevent. Page web ESE-Kongress

Présentations de Verifysoft à l´Ensisa et l´Université de Strasbourg (Mulhouse, 30 novembre 2009 / Strasbourg, 4 décembre 2009) Verifysoft a présenté la démarche qualité dans le développement logiciel à l´ Ensisa (école nationale supérieur d´ìngénieurs sud alsace) et lors de la Théma-Technique organisée par Rhénatic (Pôle de compétences TIC Grand Est) à l´ Université de Strasbourg. Les présentations de Verifysoft ont sensibilisées sur les coûts des erreurs logicielles et sur les principes du test dans chaque étape du cycle de développement : test unitaire, test d'intégration et test de validation. Elles ont traitées des méthodes pour éviter un code trop complexe qui risque d´avoir trop d´erreur et ont proposées des nouvelles stratégies pour automatiser la génération de scripts de test.   Présentation     Programme académique

Host-Target add-on version 4.0 de Testwell CTC++ Test Coverage Analyser est disponible

(19 Novembre 2009)

Testwell annonce la disponibilit´ de la nouvelle version du host-target add-on pour Testwell CTC++.
La version 4.0 simplifie la compilation et le traitement des DLLs.
Le host-target add-on mesure la couverture de test sur toutes les cibles embarqu´es.
Les clients ayant la maintenance peuvent t´l´charger cette nouvelle version gratuitement.

Verifysoft sponsorise la Journée Française des Tests Logiciels Verifysoft Technology sponsorise la Journée Française des Tests Logiciels organisée par le Comité Français des Tests Logiciels (CFTL). Cette journée aura lieu le 30 Mars 2010 à l´espace CAP15 1-13 quai Grenelle 75015 Paris. La Journée Française des Tests Logiciels qui est entièrement consacrées aux tests de logiciels permet de découvrir ce monde à travers des conférences sur l´organisation des tests, sur la gestion des tests, sur les pratiques et les tendances. Ce sponsoring accentue l´engagement qu’a notre société à faire connaître l´environnement des tests et à sensibiliser les acteurs du métier. Plus d´informations peuvent être obtenues à la page Conférence du site du CFTL.

Testwell CTC++ for Symbian Target Devices add-on v4.0 disponible

(13 octobre 2009)

Une nouvelle version de Testwell CTC++ for Symbian Target Devices add-on est disponible. La version 4.0 de cet add-on a une augmentation considérable de la vitesse dans le code instrumenté. Un dispositif facile d´utilisation a été mis en place pour la sauvegarde automatique et périodique de données de couverture (utile lorsqu´on fait de longs tests avec des systemes instables).
Pour plus d´informations : Testwell CTC++ for Symbian Target Devices add-on

La nouvelle version 6.5.5 de l´outil de couverture de test Testwell CTC++ est disponible

(7 octobre 2009)

Testwell annonce la disponibilité d´une nouvelle version de Testwell CTC++ pour les plateformes Windows, Linux, Solaris et HP-UX.
La version 6.5.5 traite les extentions de GCC d´une façon plus robuste. Testwell CTC++ pour Windows a une meilleure intégration pour Visual Studio (Express edition, Visual Studio 2010).
La nouvelle version propose de nombreuses autres améliorations et réparations de bugs (par exemple pour quelques cas d´utilisations extrêmes de C++ comme des librairies "boost C++").
Nos clients qui ont un contrat de maintenance en vigueur recevront la nouvelle version gracieusement.

Conformiq lance la première solution de design de test automatisé utilisant des systèmes multi-cœurs, parallèles et distribués

(Saratoga, Californie, 13 juillet 2009)

Conformiq Inc. annonce la sortie de la version 2.1 de Conformiq Qtronic, qui utilise désormais la puissance de l’informatique multi-cœur, distribué et parallèle, pour une génération automatique plus rapide des cas de test. En distribuant les computations sur des systèmes informatiques multi-cœurs, parallèles et distribués, les testeurs peuvent accélérer leur processus de génération de cas de test et ainsi réduire les coûts.
Conformiq Qtronic™ automatise le design de tests pour les logiciels et systèmes en générant des tests fonctionnels de boîte noire à partir de modèles de haut niveau sans intervention de l’utilisateur. Ces modèles peuvent être créés en une fraction de temps comparés à l’écriture manuelle des cas de test correspondants. De cette manière, la génération de test est au moins 20 fois plus rapide, et les aide à obtenir des tests d’une qualité supérieure mais aussi une meilleure couverture de test. Les évaluations des clients montrent que la génération de test est 5 fois plus rapide au début du déploiement de Conformiq Qtronic.
Conformiq Qtronic™ génère automatiquement des tests fonctionnels "boîte noire" en utilisant des algorithmes mathématiques à partir des modèles de systèmes exprimés en Java et UML. Les interfaces ouvertes de Conformiq Qtronic permettent aux clients d’intégrer l’outil à leurs propre plate-forme d’exécution de test.
Pour plus d´informations sur Conformiq Qtronic™

Daimler AG et QTronic GmbH ont montré l'utilisation de TestWeaver et Testwell CTC++

(Friedrichshafen, Allemagne, 1 juillet 2009) Daimler AG et QTronic GmbH ont présenté au congrès international "transmissions de véhicules" (International VDI Congress Transmissions in Vehicles), qui a eu lieu à Friedrichshafen (Allemagne), le développement d´une transmission à double embrayage. Pour ce développement, les outils Silver et TestWeaver de QTronic GmbH (Berlin) sont utilisés. La couverture de test est effectué avec Testwell CTC++. La présentation est disponible sur la page web de QTronic GmbH (présentation en anglais).

Actualités de Verifysoft disponible sur Twitter

Follow us on

Nos informations sur les nouvelles versions etc. sont disponibles sur twitter. Voici nos dernières nouvelles en date du 1 juillet: Trying to get a HTC Magic Today, look here http://bit.ly/mobiFlip :) about an hour ago Minor update of the Renesas add-on to v0.3 level. Added the nc30 compiler, works now with compiler given response files. about 5 hours ago Just released v0.2 of the CTC++ for Renesas add-on (nc308 compiler). Making code coverage the easy way for Renesas µControllers :) 2 days ago Putted the ancient, but still working CTC++ for Borland C++ 5.0.2 code coverage IDE integration in our attic download. Paradigm may work. 8 days ago

Testwell CTC++ montre la couverture de test pour TestWeaver (Berlin, Offenburg, Tampere, 4 Juin 2009) Testwell CTC++ outil de couverture de test et TestWeaver travaillent aujourd´hui ensemble. TestWeaver génère et exécute des milliers de cas de test, pendant que Testwell CTC++ mesure automatiquement la couverture de code atteinte. La couverture de code est montrée par Testwell CTC++ en usant divers rapports. La combinaison des deux outils peut être utilisée pour développer des logiciels de contrôle, pour les applications du secteur automotive et aérospatial, pour les applications médicales et les systèmes embarqués. Les bénéfices pour les développeurs sont une haute couverture de test et une charge de travail plus faible pour les ingénieurs de test, les cas de test étant générés automatiquement. TestWeaver est disponible chez QTronic GmbH Berlin.

Conformiq Qtronic™: Présentation à Software & Systemes Quality Conferences

(Düsseldorf/Allemagne, 27 Mai 2009) Les directeurs de la qualité logicielle et la communauté des tests logiciels se sont réunis pour la quatorzième fois en 2009 à la Software & Systems Quality Conference Germany à Düsseldorf. Conformiq a présenté son outil phare Automated Test Design™ Conformiq Qtronic™. Conformiq Qtronic™ utilise un modèle basé sur les exigences du système en tant que donnée entrante, pour générer automatiquement des scripts de test. Le design de test automatisé représente un changement de paradigme dans le design de test pour les logiciels et systèmes. Les entreprises qui souhaitent franchir le pas dans le design de test sont invitées à nous contacter pour une présentation de Conformiq Qtronic™.   Photo: Klaus Lambertz et Frank Erdrich (Verifysoft) avec un client devant le stand de Conformiq Publication en accord avec SQS Software Quality Systems AG

Verifysoft présente les avantages du test logiciel aux IUT de Lyon et de Colmar

(Lyon, 25 mai 2009 / Colmar, 4 juin 2009) Dans le cadre du lancement de son programme académique, Verifysoft a réalisé des interventions à l´IUT (Institut Universitaire de Technologie) de Lyon et à l´IUT de Colmar (Alsace) sur les principes, techniques et outils de test pour la qualité des logiciels. Le coût annuel de l´erreur logicielle (erreur de programmation) est estimé à 150 Milliards d´Euros en Europe selon une étude de l´Université de Kingston à Londres. Cette étude préconise comme solution d´améliorer le "savoir-faire" des développeurs. C´est pour cela que Verifysoft a décidé de lancer son programme académique afin de sensibiliser les futures générations de développeurs à la qualité du développement. Dans le cadre de ce programme, les établissements scolaires spécilalisés dans l´enseignement informatique ont accès aux solutions proposées par Verifysoft à des tarifs très préférentiels et bénéficient également de l´accès à notre bibliothèque dédiée à la qualité logicielle. La présentation donne des informations sur l´entreprise, le coût de l´erreur logiciel et la motivation pour y pallier, les outils de Verifysoft (mesure de complexité, couverture de code, génération automatique de cas de test, ...) et leur intervention au cours du cycle de développement, le programme académique ainsi que la bibliothèque en ligne.  Présentation (pdf, 1,2 MO)

Verifysoft met en ligne des études sur le thème de la qualité logiciel (7 Mai 2009) Verifysoft Technology propose dès lors un nouveau service gratuit destiné aux développeurs logiciel, responsables de qualité ou encore de tests logiciels. Après un enregistrement en ligne sur notre site internet, vous aurez accès à ses publications. Les auteurs ayant des études intéressantes à savoir des rapports d´expérience, des comptes rendus de travaux pratiques ou encore des rapports d´outils logiciels peuvent rendre accessibles leurs publications sur notre bibliothèque dédiée à la qualité logiciel. Verifysoft remercie les auteurs avec des livres. Pour plus d´informations : Bibliothèque dédiée à la qualité logiciel

Générateur automatique de cas de test Conformiq Qtronic™ 2.0.3 disponible

(21 Avril 2009) La nouvelle version de Conformiq Qtronic™ (2.0.3) est dès lors disponible et téléchargeable. Dans les grands projets de développement de logiciel, la production de cas de test était jusqu´ici fastidieuse et pénible à réaliser manuellement. Dès lors avec Conformiq Qtronic™, générateur automatique de cas de test basé sur Eclipse, générez vos cas de tests automatiquement, précisément et rapidement. Pour cela l´outil a besoin seulement d´un modèle de votre système en UML ou Java décrivant le fonctionnement attendu de votre logiciel. Cette modélisation permet un gain de temps important en comparaison aux anciennes méthodes. Les scripts de test peuvent être générés au choix en TTCN-3, TCL, Java, XML, C++ ou Python. Les tests seront ensuite exécutés dans votre environment habituel. Conformiq Qtronic™ est un outil pour le test de "boîte noire". Il peut être utilisé pour tester n´importe quelles applications indépendamment du langage de programmation. Les champs d´application de Conformiq Qtronic™ sont les tests fonctionnels, les tests d´intégration, de système ou encore d´acceptance. En savoir plus sur Conformiq Qtronic™

Testwell CTA++ C++ Test Aider version 3.0.6 disponible

(9 Mars 2009)

Testwell announces the availability of a new version of Testwell CTA++. The new version has Small enhancements: In data files now supporting simple expressions. Change in ASSERT_MEMEQ behavior. One bug fix in data file handling.
Our maintenance customers will receive the new version free of charge.

Embedded World 2009: Coverity Prevent gagne le Prix "Embedded World"

(Nuremberg, 5 Mars 2009) Au "Embedded World", Verifysoft Technology a présenté ses outils pour le développement de logiciels embarqués: Testwell CTC++ Analyse de couverture de test, Testwell CMT++ Outil de mesure de complexité, Conformiq Qtronic™ (Générateur automatique de cas de test pour tests fonctionnels), et Coverity Prevent, un outil d´analyse statique du code. Coverity Prevent a gagné le Prix "Embedded World" (categorie software). Prevent est le principal outil d´analyse statique pour la détection d´erreurs dans les logiciels. Trois visiteurs de notre stand ont gagné un séminaire de 2 jours sur les "Tests de Systèmes embarqués". Ce séminaire est aussi disponible en intra-entreprise en anglais. Contactez-nous pour plus d´informations.

Nouvelle version 6.5.4 de l´outil de couverture de test Testwell CTC++ disponible

(27 Février 2009)

Testwell annonce la disponibilité d´une nouvelle version de Testwell CTC++. Cette version 6.5.4 reçoit de nombreuses améliorations, telles que le support pour le test du code 64 octets sur toutes les "CTC++"-plateformes (Windows, Linux, Solaris et HP-UX) et une meilleure solution pour obtenir des données de couverture pour des processus indéterminables.
Dans le cadre de la maintenance, nos clients vont obtenir la nouvelle version dans les prochains jours.

Conformiq obtient 3 millions d´euros pour le développement continu de son produit phare Conformiq Qtronic™

(13 Février 2009)    Malgré un climat économique difficile, Conformiq obtient 3 millions d´euros pour investir dans le développement continu de son produit phare Conformiq Qtronic™.

Verifysoft Technology lance son programme académique (3 Fevrier 2009) Dans une optique de sensibilisation des étudiants à la nécessité de l´utilisation d´outils de test pour logiciel, Verifysoft Technology propose son programme Académique. Dans le cadre de ce programme nous proposons l´équipement de vos laboratoires ou encore salles de classes en France, Belgique, Suisse, Luxembourg par nos outils Testwell CTC++, CMT++, CMTJava, CTC++ for Java and C#. Ces licences possèdent les même fonctionnalités que celles proposées aux professionnels. Ce programme académique permet l´utilisation des outils dans un but de recherche pédagogique non commerciale. Pour plus d´informations : Programme Académique Verifysoft

Conformiq Qtronic™ 2.0 disponible

(23 Janvier 2009)

Conformiq a annoncé la sortie de Conformiq Qtronic™ 2.0, l´outil phare pour la génération automatique pour le test de boîte noire.
Conformiq Qtronic™ dispose maintenant d´un architecture "serveur-client". Le "Conformiq Qtronic™ Computational Server" est un puissant moteur de génération de test, alors que Conformiq Qtronic™ Client est un module d´extension basé sur Eclipse.
Voici un résumé des changements majeurs :

• Séparation de l´espace de travail de l´utilisateur et de la génération de test en deux composants distincts, Conformiq Qtronic™ Computational Server (QCS) et Conformiq Qtronic™ Eclipse Client (QEC).
• Remodélisation de l´espace de l´utilisateur de Conformiq Qtronic™ en module d´extension Eclipse, le rendant disponible aux diverses plate formes telles que Linux, Windows et Solaris (liées à la disponibilité d´Eclipse).
• Plusieurs configurations et profiles pour le design des tests. Chaque configuration de conception de test a son propre critère de couverture et sa propre sélection de formats de scripts.
• Génération incrémentale de cas de test avec la nomination de cas de test local.
• Meilleur prise en main des critères de couverture.
• Capacité à parcourir et analyser les cas de test générés à partir de l´interface utilisateur en incluant I/O graphique et la trace d´exécution (pas besoin d´exporter de plan de test HTML).
• L´API peut maintenant être developpé en Java, ce qui facilite le développement de nouveaux modules d´extension.
• Le support pour le test en ligne est actuellement uniquement supporté par la famille de produits Conformiq Conformiq Qtronic™ 1.X, et sera étendu à la famille de produits 2.X dans le futur.

Nouvelle version de l´ outil de mesure de complexité Testwell CMTJava disponible

(9 Janvier 2009)

La version 2.2 de l´ outil de mesure de complexité Testwell CMTJava est désormais disponible.
Le "long report" de CMTJava est maintenant généré au format XML. Celui-ci offre de nouvelles possibilités d´intégration des "tool chains".
Il y a également d´autres améliorations de l´outil CMTJava et du rapport HTML
Nos clients qui bénéficient du service de maintenance recevront la nouvelle version sans frais supplémentaires.

Testwell CTC++ : Couverture de test sur microcontrolleurs et cartes graphiques

(6 janvier 2009)

Verifysoft Technology a développé un produit supplémentaire (bitcov-add-on) pour l´outil de couverture de test Testwell CTC++ permettant la mesure de couverture de test sur des microcontrolleurs et des très petites cibles.
Comparé à la couverture de code habituelle le bitcov-add-on nécessite 40 fois moins de mémoire RAM.
Avec CUDA add-on il est désormais possible d´analyser la couverture de test sur des cartes graphiques Nvidia et ATI.
Testwell CTC++ est l´outil phare pour la couverture de test (C, C++, Java et C#). Il mesure tous les niveaux de couverture jusqu´au niveau C3 (couverture de condition multiple/multiple condition coverage). L´outil répond ainsi aux exigences des normes de qualité dans les industries aéronautique, medicale et automotive.

Verifysoft annonce une nouvelle interface graphique pour Testwell CMT++ (Offenbourg, 5 janvier 2009) Verifysoft annonce Verybench, une nouvelle interface graphique pour l´outil de mesure de complexité Testwell CMT++ avec différentes présentations de métriques pour développeurs, réviseurs, testeurs et le management. Verybench génère des sorties en formats texte, HTML, XML, CSV et PDF. L´outil sera disponible dès février 2009.

Verifysoft propose des formations sur le test des systèmes embarqués

(2 janvier 2009)

Notre formation sur le test des systèmes embarqués est désormais disponible comme formation intra entreprise pour des sociétés françaises.
Ces formations de deux jours seront conduites en anglais par Daniel Fischer (docteur en informatique et professor/chercheur à l´Université des Sciences Appliquées à Offenbourg, Allemagne).
Avant ses recherches sur la qualité des systèmes embarqués, Pr Fischer était responsable pour la qualité de logiciels dans plusieurs sociétés, dont Hewlett Packard et Heidelberger Druck.
La formation "Testing of Embedded Systems" fournit toutes les compétences essentielles pour tester de maniére efficace des logiciels embarqués.
Pour plus d´information n´hésitez pas à nous contacter.
 Agenda (pdf, 119 KO)

Actualités de l´année : 2008, 2007, 2006, 2005, 2004, 2003

last updated: 15.12.2009

© 2009 Verifysoft Technology GmbH
© photos: Verifysoft Technology GmbH, exept: news of 03.02.09 Stephen Coburn Fotolia.com,
and news of 27.05.2009 SQS Software Quality Systems AG
all company and event logos are © and the property of their respective owners
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic™ is a product and a trademark of Conformiq Inc., Saratoga (USA)
Coverity Prevent, Coverity Extend and Coverity Architecture Analyzer are products and trademarks of Coverity Inc., San Francisco (USA)
TestWeaver is a product of QTronic GmbH, Berlin (Germany)
all other trademarks of this site are the property of their respective owners.