Sitemap

Ce sommaire du site vous permet d´avoir une vue globale de nos principales pages web en Français.

Les informations concernant nos sites web sont disponibles dans d´autres langues en cliquant sur les liens suivants:
Anglais / English
Allemand / Deutsch
Polonais / Polski

Société
Société
Profil
Contact
Mentions légals
Interlocuteurs
Carrières
Références
Partenaires
Pourquoi utiliser les outils de test de Verifysoft?
Erreurs de programmation

Actualités
Actualités
Brochure 2007
Actualités 2006
Brochure 2006
Embedded World 2006
Actualités 2005
Actualités 2004
Actualités 2003

Presse Professionnelle
Verifysoft dans la presse
Programmez 6/2006: Conformiq distribué par Verifysoft
Communiqué de presse

Newsletter
     Newsletter 1/2007 (01/10/07)
     Newsletter 3/2006 (14/12/06)
   Newsletter 2/2006 (04/05/06)
   Newsletter 1/2006 (06/02/06)
   Newsletter 2/2005 (02/09/05)
   Newsletter 1/2005 (14/02/05)

Produits (selon les languages de programmation):

Pour les projet en C++
Vue générale des Outils de Test pour C/C++

Pour les projet en Java
Vue générale des Outils de Test pour Java

Pour les projet en CSharp
Vue générale des Outils de Test pour CSharp

Produits (suivant le type d´analyse):

Générateurs automatiques de test (Conformiq)
Présentation du produit: Automatic Test Generators (Conformiq)
Model Driven Quality Assurance (MDQA)
Conformiq Qtronic vs. Conformiq Test Generator

Conformiq Test Generator
   Conformiq Test Generator: Points forts
   Tester avec le Conformiq Test Generator
   Conformiq Test Generator: Description du processus
   Les questions fréquemment posées
     Plaquette du produit (pdf)
     Plaquette technique du produit (pdf)
     Plaquette du produit (bénéfices) (pdf)
   En savoir plus
     Cas d´étude: The World's Most Tested Transaction Switch (pdf-file, 1,78 MB)

Conformiq Qtronic
   Les différentes versions de Test de Conformiq Qtronic
   Description de l´outil Conformiq Qtronic
     Qtronic Plaquette du produit (pdf)
   Qtronic Test Script Generation Support (anglais)
     TTCN-3, Qtronic and SIP (pdf, 534 KB, anglais)

Test Unitaire
Test Unitaire
CTA++ Test Unitaire pour C++ (anglais)
CTA++ Product Flyer (pdf)

Analyse de la Couverture de Test
CTC++ Couverture de test pour C/C++
   Niveaux de Couverture de Test
   Testwell CTC++: trouvez les goulots d´étranglement
   CTC++ Rapport de Couverture
   CTC++ Couverture de test: informations techniques (Testwell)
   CTC++ Actualités du produit
   CTC++ les disponibilités
   CTC++ Integration dans Visual Studio 5.0/6.0
   CTC++ pour cibles Symbian
   CTC++ Kernel Coverage (anglais)
   Utilisation de CTC++ avec un compilateur IAR
   Couverture de test pour des produits Beck IPC@CHIP
   La norme DO-178B avec CTC++
   DO-178B Certifications for avionics software with Testwell CTC++ (anglais)
Couverture de Test pour Java
CTC++ for Java and C# add-on

Outils de Mesure de Complexité de Codes
Testwell CMT++ et CMTJava (Outils de mesure de complexité)
   En savoir plus sur CMT++/CMTJava
   Mesure de Métrique McCabe
   Mesures de Métriques de LOC
   Mesure des métriques Halstead
   Index de maintenabilité
   Présentation de CMT++ (17 Slides)
   CMT++/CMTJava: Release History (anglais)
CMT++ Brochure du produit (PDF-file)
Article extrait de MSCoder: Complexité et Qualité du code (PDF-file)
   CMT++: Description technique (Testwell)
   CMTJava: Description technique (Testwell)

Analyse statique de code (Detection of Run-time Errors, Règles de programmation)
Coverity Page principale

Solutions de Test pour les Systèmes Embarqués
Solutions de Test pour les Systèmes Embarqués

Autres pages
Centre de Maintenance
Evaluations
Rapports d´évaluation
Commandes
L´étendue et les conditions de maintenance des produits Testwell
Liens Utiles

Sommaire du Site

last modified: 08.02.2008

© 2004-2008 Verifysoft Technology GmbH

FR 91 +18 (+17)