Actualités 2007

Verifysoft découvre un important bug dans le compilateur Mono C#

(4 Octobre 2007)

Verifysoft a découvert pendant le developpement de l´outil de couverture de test "CTC++ for Java and C# add-on" un important bug dans le compilateur Mono C#.
Le problème a été confirmé par Novell:
https://bugs.launchpad.net/mono/+bug/144734
https://bugzilla.novell.com/show_bug.cgi?id=328136

Testwell CMT++ outil de mesure de complexité de code pour C/C++: Version 4.2 disponible

(28 Septembre 2007)

Une nouvelle version (4.2) de Testwell CMT++ outil de mesure de complexité de code pour C/C++ est désormais disponible.
CMT++ 4.2 inclut par exemple :

Le changement du format du "long report" en XML. Le rapport a été rallongé afin de faire apparaître "toutes" les informations analysées par CMT++ depuis les fichiers sources (system-level summary, alarms, etc.). Ce nouveau rapport XML permet une intégration très facile de CMT++ dans des chaînes d´outils.
Un meilleur traitement des successions de conditions en présence de "unbalanced {}s". Plus de messages : "unexpected end of file" en utilisation normale.
De nombreuses améliorations dans le rapport HTML (cmt2html utility).
L´amélioration de l´interface d´utilisation de CMT++ (Windows).
L´intégration à l´environnement de développement de Visual Studio 2005 (Windows).

"CTC++ for Java and C#" permet d´utiliser Testwell CTC++ également pour Java et C#

(13 Septembre 2007)

Verifysoft présente "CTC++ for Java and C#", un add-on qui permet désormais l´utilisation de l´outil de couverture de code Testwell CTC++ pour C, C++, Java et C#.
Testwell CTC++ est le plus puissant outil de couverture de test du marché.
Il analyse tous les niveaux de couverture : function, decision, statement, condition, multiple condition (MCC) et modified condition / decision coverage (MC/DC).
Cet outil de couverture de test pour C, C++, Java et C# répond ainsi aux exigences des normes de qualité dans l´industrie automotive et aéronautique telles que la norme DO-178B.
Le "CTC++ for Java and C# Add-on" est disponible dés maintenant.

Conformiq Qtronic 1.1.0 Released

(12 September 2007)

A new version of Conformiq Qtronic, the leading model driven testing solution, has been released.

Here what´s new in QTRONIC 1.1 :

Communication between internal threads in the model can now be observed in scripters and loggers.
Array allocation semantics in QML has been changed.
Added a scripter that renders scripts as MSC formatted HTML pages.
Added Java plugin API allowing the user to implement plugins also in Java in a very similar fashion as plugins are implemented in C++.

Nouvelle brochure Verifysoft disponible

(5 Septembre 2007)

Notre nouvelle brochure vous informant sur nos générateurs de test automatiques, nos outils pour l´analyse static, la couverture de test et pour le test unitaire, est désormais disponible.

Liens de téléchargement:

Français English Deutsch

CTC++ for Symbian Target Devices add-on v3.2 disponible

(29 Août 2007)

Une nouvelle version de Testwell CTC++ for Symbian Target Devices add-on package (CTC4STD) a été créée. Avec cette nouvelle version les fichiers instrumentés peuvent aussi être des fichiers C (compilés en code C). Auparavant, les fichiers instrumentés ne pouvaient être compilés qu´en code C++.

Nouvelle version 6.4 de Testwell CTC++ disponible

(10 Juillet 2007)

Testwell a annoncé la nouvelle version de CTC++ Analyse de Couverture de Test version 6.4.
La fonctionnalité "ctcwrap" est maintenant également disponible pour la plateforme Windows. Elle rend extrêmement simple de faire des "ctc-build" avec les makesfiles existants et autres "build arrangements".
Les toutes nouvelles intégrations dans les IDE Visual Studio .NET 2003 et Visual Studio 2005 sont disponibles, permettant une utilisation plus simple et plus puissante.
La nouvelle version comprend également une fonctionnalité "power-user" pour accumuler des données de couverture des différents "ctc-builds".
Nos clients bénéficiant de la maintenance recevront cette version sans frais supplémentaires.

Des informaticiens du Nokia Research Center ont publié un rapport sur l´utilisation de Conformiq Qtronic

(June 2007)

Des informaticiens du Nokia Research Center ont publié un rapport sur l´utilisation du générateur automatique de test Conformiq Qtronic.
Le rapport figurait dans le support écrit de la conférence TESTCOM/FATES 2007 qui a eu lieu à Tallin (Estonie).
Cette conférence traitait des tests basés sur des méthodes mathématiques.
Le support écrit de la conférence peut être téléchargé à partir de Springer sous la référence LCNS 4581.

Nouvelle version du Host Target Add-on de Testwell CTC++ pour la couverture de test dans les cibles embarquées

(22 May 2007)

Testwell annonce la sortie de la version 3.2 du Host Target Add on pour l´outil de couverture de test Testwell CTC++.
La nouvelle version comprend des optimisations concernant le temps d´éxécution dans les cibles. Une nouvelle version propose également une solution pour des routines de transfert de données de bas niveau.
Le Host Target Add on de CTC++ permet l´analyse de la couverture de code dans n´importe quelle cible embarquée.
Nos clients ayant souscrit à la maintenance recevront cet Add on gratuitement.

L´outil de couverture de code Testwell CTC++ supporte FreeBSD OS

(22 May 2007)

Verifysoft Technology annonce un pack supplémentaire pour l´outil de couverture de test Testwell CTC++ couverture de code qui permet d´utiliser l´outil sur les plateformes FreeBSD OS.
Les éxécutables fonctionnent en mode Linux ABI; les bibliothèques (et les applications instrumentées) sont des éxécutables FreeBSD OS.
Les outils de mesure de complexité Testwell CMT++ et Testwell CMTJava sont maintenant également disponibles pour FreeBSD OS.
Les outils de test et d´analyse de Testwell CTC++, CMT++, CMTJava et CTA++ existent déjà pour les plateformes Windows, Linux, HP-UX et Solaris.

Testwell CTC++ (couverture de test) pour des cibles Symbian OS v9.x disponible

(30 Avril 2007)

Le "CTC++ for Symbian Target Devices add-on v3.1" pour des cibles Symbian OS v9.x (EKA2 kernel) est maintenant disponible.
Plus d'infos sur CTC++ pour Symbian

Testwell CTC++ v6.3 disponible

(1 Fevrier 2007)

Une nouvelle version de l´outil de couverture de test Testwell CTC++ est disponible. CTC++ 6.3 a plusieurs perfectionnements et est maintenant intégré dans Visual Studio 2005. La sortie des resultats en HTML est améloriée (report sorting, directory level summaries, etc.). Il y a maintenant une intégration du "ctcwrap" pour Unix makefiles et autres commandes.
Nos clients ayant le contrat de maintenance recevront la nouvelle version gratuitement.

Qtronic, nouvel outil de test pour le "model based testing" disponible

(30 Janvier 2007)

Conformiq Software (Espoo/Helsinki) et Verifysoft Technology GmbH annoncent la disponibilité de Conformiq Qtronic, un nouvel outil pour l´automatisation des tests de boîte blanche.
La technologie supporte la Model Driven Quality Assurance (MDQA).
A l´aide de Conformiq Qtronic, vous n'avez plus besoin d´écrire de scripts de test. A la place, l´outil génère et exécute automatiquement des tests basés sur des modèles conçus. Qtronic peut "utiliser" des modèles existants. L´outil s´intègre avec les outils CASE et éditeurs UML les plus connus.
Enfin, Conformiq Qtroniq peut être utilisé avec n´importe quelle language de programmation.
Nous proposons des evaluations gratuites.
Plus d'information: Conformiq Qtronic

Verifysoft a présenté de nouveaux outils de test au salon OOP à Munich

Verifysoft Technology a présenté des nouveautés au salon OOP à Munich.
Avec Conformiq Qtronic il est désormais possible de générer et d´éxécuter automatiquement des cas de test pour le tests de boîte blanche.
Coverity Prevent, un outil de test statique, permet la détéction des "run-time-errors" dans des projets avec plusieurs millions de lignes de code.
Le nouveau produit supplémentaire (host-target add-on) pour Testwell CTC++ est capable d´analyser la couverture de tests dans toutes les cibles, mêmes les plus petites.
La conference OOP est avec environ 1500 participants, un de plus grands événements pour le "developement orienté objet" en Europe.

Exposition des nouveautés des logiciels de test

Venez nous rencontrer et vous informer sur les nouveautés des logiciels de test.
Nous exposerons en janvier au OOP et sur l'Embedded World en février 2007:

CTC++, l'outil de couverture de test pour toutes cibles même les plus petites
l'analyse statique de code avec Coverity Prevent
Qtronic, un nouvel outil pour le model based testing

OOP, Centre des Congrès (ICM) de Munich
23-25 Janvier 2007
Embedded World, Messe Nuremberg,
13-15 Fevrier 2007

Plus d'information sur nos expositions

Article MSCoder : Comment mesurer la complexité d´un logiciel

La complexité de code est un facteur ayant un impact direct sur la durée de vie et l´exploitation d´un logiciel, notamment sur son taux de défauts, sa testabilité et sa maintenabilité. Un article dans le numéro 1/2007 de la revue professionnelle MSCoder explique comment on peut mesurer la complexité d´un logiciel.

Article MSCoder (numéro 01/2007) (668 KB)

Verifysoft et ses partenaires 2007

Verifysoft et ses partenaires (fichier pdf, 111 KB)

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

last updated: 16.06.2008

© 2004-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Conformiq Qtronic are products and trademarks of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity Inc., San Francisco (USA)
CTC++ for Java and C# add-on is a product of Verifysoft Technology GmbH
all other trademarks of this site are the property of their respective owners.