Verifysoft Technology sponsorise la Journée Française des Tests de Logiciels organisée par le Comité Français des Tests Logiciels (CFTL).
Cette journée aura lieu le 30 Mars 2010 à l'espace CAP15, 1-13 quai Grenelle, 75015 Paris.

Ce sponsoring accentue l'engagement qu'a Verifysoft à faire connaître l'environnement des tests et à sensibiliser les acteurs du métier.
En effet ayant une activité dans les outils de test et d'analyse de logiciel, Verifysoft veut faire prendre conscience que la vérification et le test de logiciel est important dans le processus de développement.

Le CFTL est une association de type Loi 1901. Elle propose des formations et la Journée Française des Tests de Logiciels.
Lors de cette journée dédiée entièrement aux tests de logiciels, le CFTL organise des conférences qui traitent sur deux sujets majeurs :
- le management de projets de tests
- les retours d'expériences

Pour plus d'informations : http://www.cftl.net/

Vérifysoft Technology s’est spécialisé dans la distribution, le conseil et le support technique des outils de test et d’analyse de logiciel. Verifysoft est distributeur d’outils de partenaires Finlandais ( Testwell ) et Américains ( Conformiq Qtronic ) mais distribue aussi leurs propres outils.
Grâce à une équipe internationale et francophone, nous assurons le suivi dans plus de 10 pays européens. Nos développeurs et nos ingénieurs du support technique ont plusieurs années d’expérience dans le secteur du test de logiciels. Plusieurs outils de notre gamme ont été développés par Verifysoft Technology en étroite coopération avec nos partenaires.

Notre société a été créée en 2003 par un groupe d'investisseurs privés et d’experts en logiciel. Le siège social se situe au « Parc de Technologie » à Offenburg à seulement 20 km de Strasbourg.

Testwell CTC++ :
Testwell CTC++ est un outil de couverture de test pour C et C++. En effet il montre les parties du code déjà testées et celle qui doivent encore l’être. Cet outil englobe toutes les catégories de couvertures de test : function, decision, statement, condition, multiple condition (MCC) et modified condition / decision coverage (MC/DC) et répond ainsi aux exigences des normes de qualité, telles que la DO-178B. CTC++ fonctionne avec tous les compilateurs et toutes les cibles embarquées.
Avec l´add-on "CTC++ for Java and C#", l´outil mesure également la couverture de test pour le code Java et C#. ( les add-on sont développés par Vérifysoft)

Testwell CMT++ :
Testwell CMT++ permet d´analyser la complexité des codes écrits en C et C++. Dans un logiciel certaines parties développées peuvent être compliquées, ces parties ont potentiellement plus d’erreurs et elles sont également plus difficiles à tester.
L'outil CMT++ indique les métriques de Halstead, le nombre cyclomatique de McCabe, les métriques de ligne de code et l'index de maintenabilité.
Un outil avec les mêmes fonctionnalités est disponible pour Java: CMTJava.

Testwell CTA++ :
Testwell CTA++ est un outil de test unitaire pour C et C++. Avec cet outil, il est possible de tester des parties séparément dès le début du processus de développement, même si le projet n’est pas fini. En effet les parties manquantes sont simulées par l’outil. Si des erreurs sont trouvées, celle ci sont uniquement dans la partie du code qui a été testée. De cette façon la localisation de la source d’erreur est simplifiée.

Conformiq Qtronic :
Conformiq Qtronic est un outil pour l'automatisation de génération de cas de tests pour les tests fonctionnels (tests de boîte noire). A l'aide de Conformiq Qtronic, vous n'avez pas à écrire de scripts de test. A la place, Conformiq Qtronic génère et exécute automatiquement des tests basés sur des modèles de conception (Java, UML). Les modèles peuvent être créés avec le Qtronic Modeler ou être importés par des outils de modélisation, tel que Borland Together Architect, Rational Software Architect, Telelogic TAU, Rhapsody ou Artisan Studio.

Qualité

• Les métriques (McCabe, Halstead) et l'index de maintenabilité et leur influence sur la qualité
• Les erreurs logiciels et les outils qui simplifient le test

Tests

• Les différents niveaux de la couverture de test (couverture de fonction, couverture de décision, couverture de condition/branche, couverture de condition/décision modifée, couverture de condition multiple ...) avec exemples
• Génération automatique de cas de test avec Conformiq Qtronic (un outil basé sur Eclipse utilisant des modèles en UML)

Verifysoft Technology GmbH

Technologiepark Offenburg
In der Spoeck 10 (Industriegebiet West 4)
77656 Offenbourg (Allemagne)

Téléphone :
FRANCE: (+33) 03.68.33.58.84
Allemagne: +49 781 63 920-27

Télécopie : +49 781 63 920-29