
Article MSCoder : Comment mesurer la complexité d´un logiciel
Article MSCoder (numéro 01/2007) (668 KB)
Nouvelle version 2.1 outil de mesure de complexité de code pour Java CMTJava disponible
(11 Octobre 2006)
Nos clients ayant le contrat de maintenance recevront la nouvelle version dans quelques jours gratuitement.
Pour plus d´informations: Testwell CMTJava
Une société de San Francisco et Verifysoft, partenaires pour la distribution des outils d´analyse statique
(1 Août 2006)
Covertiy Prevent™ est l'outil d'analyse statique le plus avancé au monde pour réaliser des logiciels C/C++ encore plus fiables et sécurisés.
Un contrat de distribution et de support a été établi entre Verifysoft et la société américaine pour les pays germanophones.
Version 6.2.2 de CTC++, outil de couverture de test, disponible
(22 Mai 2006)
Nos clients sous maintenance recevront gratuitement la nouvelle version dans les prochains jours.
Plus d'informations: Testwell CTC++

Conformiq sort Conformiq Qtronic™ pour le "model based testing"
(12 Mai 2006)
Conformiq Qtronic™ lance automatiquement des tests sur le vif, les dérivant, sans intéraction humaine, des modèles de conception de systèmes qui peut être fourni en UML et Java.
"Cette sortie est une grande innovation pour nous. La technologie a été travaillée depuis plus de quatre ans. Notre vision des tests automatiques dirigées par un modèle sont devenues réalité de manière très concrète. C'est une grande étape pour nous, et ce sera bientôt une grande étape pour l'industrie du logiciel.
Antti Huima, directeur général de Conformiq Software lors du lancement du produit aux conférences qualité SQS à Düsseldorf, Allemagne)
Plus d'informations

Verifysoft Technology et Conformiq Software (Finlande) étendent leur accord de distribution à la France et la Belgique
(2 Mai 2006)
Verifysoft a déjà été distributeur pour les solutions de tests et d'analyses (couverture de code, mesures de complexité, tests unitaires) de testwell (Tampere/Finlande) dnas les pays francophones. "Nous faisons aujourd'hui plus de 30% de nos ventes en France et sommes heureux de pouvoir désormais proposer les outils de tests automatiques de la Nouvelle Génération à nos clients en France et Belgique" dit Klaus Lambertz, responsable Verifysoft pour l'Europe de l'Ouest.
Conformiq Test Generator est une solution pour la génération de test automatiques basés sur un modèle et l'exécution de tests automatiques. Avec le nouvel add-on Conformiq Qtronic™, qui sera bientôt disponible, il sera possible d'importer des modèles existants dans l'outil de test automatique.
Plus d'informations :
Conformiq Test Generator
Conformiq Qtronic™
Version 6.2.1 de l'outil de couverture de test Testwell CTC++ disponible
(28 avril 2006)
La nouvelle version comporte des arrangements pour les travaux avec les cas extrèmes C++ et gcc GNU.
Les arrangements sont principalement basés sur l'expérience de Verifysoft Technology durant a couverture de code d'un noyau Linux 2.6. Nos expériences avec le travail sur le noyau Linux instrumenté et un blog sont disponibles ici.
Nos clients sous maintenance recevront la nouvelle version gratuitement comme d'habitude.
Verifysoft contribue à un projet de test d'EPITA
(11 Avril 2006)
Soucieux de sensibiliser les futures générations de développeurs sur l'utilité et la necessité des outils de tests et d'analyse, Verifysoft Technology a accepté de soutenir ce groupe d'étudiants en leur offrant gracieusement des licences de JEvolve pour mener à bien leur projet.
Plus d'informations: JEvolve
EPITA
CTC++ 6.2 de Testwell disponible
(6 Avril 2006)
CTC++ 6.2 arrive avec un rapport HTML ré-architecturé. En plus des changements de disposition, il ne requiert plus de pops-up et de JavaScript dans votre navigateur.Testwell a aussi introduit un fichier-symbole de fermeture/schéma de serialisation, facilitant en parallèle les "constructions CTC++" des fichiers sources d'un projet, par exemple sous Linux. Plusieurs bugs d'instrumentation C++ en "situation extrème" ont été corrigés. Le support pour l'utilisation sur CodeWarrior v3.1 de l'émulateur EPOC de Symbian a été ajouté.
Nos clients sous maintenance recevront la nouvelle version gratuitement.

Conformiq lance Conformiq Qtronic™, outil révolutionnaire pour les tests design-model-driven
(24 Février 2006)
Une présentation en avant-première de l'outil aura lieu au Software Systems Quality Conferences les 10-12 Mai à Düsseldorf en Allemagne.
Plus d'informations : Conformiq Qtronic™

Verifysoft a participé à la foire "Embedded World" à Nuremberg (Allemagne), les 14-16 Février 2006
L'exposition&conférence du monde embarqué (The embedded world Exhibition&Conference) à Nuremberg a été le plus gros événement de ce type dans le monde.
Verifysoft a présenté des outils pour l'analyse de complexité du code et l'analyse de couverture du code, aussi bien que le générateur de tests Conformiq. Le générateur de tests Conformiq permet l'exécution du concept de tests graphique basé sur l'UML, du script et du test intelligent.
Plus d'informations: Conformiq Test Generator
Embedded World 2006

Nouvelle brochure de société disponible
Sur six pages vous trouverez des informations sur Verifysoft Technology et les produits suivants:
- Conformiq Test Generator,
- Conformiq Qtronic™,
- Testwell CTC++ Outils de couverture de test pour C/C++,
- Testwell CMT++ et CMTJava Outils de mésure de complexité,
- Testwell CTA++ Outil pour le test unitaire pour C++.
français
english
deutsch
Nouvelle version de Testwell CMT++ (v. 4.1) disponible
(9 Janvier 2006)
Cette nouvelle version contient les nouveautés suivantes :
- support de la mesure de MaxND (maximum nesting depth of {}s)
- intrégration dans Visual Studio .NET 2003
- meilleur interface graphique
- meilleur cmt2html add-on utility/HTML reporting
Nos clients bénéficiant de la maintenance recevront cette nouvelle version dans les prochains jours sans frais.