logo

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 disponible

(12 Septembre 2007)

Une nouvelle version de Conformiq Qtronic™, la première solution de test dirigée par les modèles, a été développées.

Voici les nouveautés de Conformiq Qtronic™ 1.1 :

  • La communication entre les threads internes du modèle peuvent maintenant être observé par des scripters et syslogs.
  • La sémantique d´allocation de tableau en QML a été changé.
  • Ajout d´un scripter qui rend les scripts en pages HTML.
  • Ajout d´un plugin Java API autorisant les utilisateurs a mettre en oeuvre des plugin dans Java d´une manière similaire à celle des plugin en C++.

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™

(Juin 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 Mai 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 Mai 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 Février 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.