Actualités 2007
(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
(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).
(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.
(12 September 2007)
A new version of
Conformiq Qtronic™,
the leading model driven testing solution, has been released.
Here what´s new in Conformiq 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++.
|
(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
|
(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++.
(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.
(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.
(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.
(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.
(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
(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.
(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.
Conformiq 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 Technology a présenté des nouveautés au salon OOP
à Munich.
Avec Conformiq
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.
|
|
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
- Conformiq 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
|
|
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)
|
|
Actualités de lŽannée :
2006,
2005,
2004,
2003
last updated: 28.05.2009
© 2004-2009 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 Inc., Saratoga (USA)
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.
|
![[English]](flaggeUK.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
