Verifysoft Technology – accueil

[English][Deutsch][Polski]

Verifysoft Flyer
Brochure de l´entreprise (2,7 MO)

Verifysoft et ses solutions
(diaporama)

Follow us on
twitter

Verifysoft Academic Program
Programme académique

 

Verifysoft Software Testing Library
Software Testing Library

 

ACTUALITES

CTC++, analyse de couverture de code : nouvelle version 6.5 permet la couverture de test dans toutes les cibles embarqués > en savoir plus

Nouvelle version de Conformiq Qtronic disponible. L´outil permet la génération automatique de cas de tests. > en savoir plus

Verifysoft presente "CTC++ for Java C#",un add-on qui permet désormais l´utilisation de l´outil de couverure de code Testwell CTC++ pour C, C++, Java et C#. > en savoir plus

 

Evénements/Salons

 

Liens utiles

 

Outils de test et d´analyse pour le développement des logiciels

 

Conformiq Qtronic

Conformiq Qtronic™ : génération automatique de cas de tests

Conformiq Qtronic™ est une solution pour l´automatisation des tests fonctionnels. À l´aide de cet outil révolutionnaire, vous n´avez plus à écrire de scripts de test. À la place, Conformiq Qtronic™ génère et exécute automatiquement des tests basés sur des modèles préconçus. > en savoir plus

 

Couverture de tests pour C/C++, Java et C# : Testwell CTC++

Meilleurs tests et plus de sécurité avec les plus puissants outils de couverture du marché: Testwell CTC++ et "CTC++ for Java and C# add-on". Tous niveaux de couverture: couverture de fonction, de décision, de condition, de condition multiple et de condition/décision modifiée (MC/DC) - répond à la norme DO-178B pour l´industrie aéronautique.
Systèmes embarqués: toutes cibles > en savoir plus
CTC++

 

Complex Code - CMT

Analyse de complexité de code : Testwell CMT++ et CMTJava

Analysez la complexité de vos applications afin de trouver des parties trop complexes - facile à utiliser, résultats rapides et clairs - métriques de McCabe, d´Halstead et lignes de code, "index de maintainabilité" > en savoir plus

 

Présentation du programme academique à l´IUT de Lyon

Lyon  
Lyon  
Dans le cadre du lancement de son programme académique, Verifysoft a réalisé le 25 mai 2009 une intervention à l´IUT (Institut Universitaire de Technologie) de Lyon sur les principes, techniques et outils de test pour la qualité des logiciels.
Le coût annuel de l´erreur logicielle (erreur de programmation) est estimé à 150 Milliards d´Euros en Europe selon une étude de l´Université de Kingston à Londres. Cette étude préconise comme solution d´améliorer le "savoir-faire" des développeurs. C´est pour cela que Verifysoft a décidé de lancer son programme académique afin de sensibiliser les futures générations de développeurs à la qualité du développement.
Dans le cadre de ce programme, les établissements scolaires spécilalisés dans l´enseignement informatique ont accès aux solutions proposées par Verifysoft à des tarifs très préférentiels et bénéficient également de l´accès à notre bibliothèque dédiée à la qualité logicielle.
La présentation donne des informations sur l´entreprise, le coût de l´erreur logiciel et la motivation pour y pallier, les outils de Verifysoft (mesure de complexité, couverture de code, génération automatique de cas de test, ...) et leur intervention au cours du cycle de développement, le programme académique ainsi que la bibliothèque en ligne.
[PDF]  Présentation (pdf, 1,2 MO)
Alcatel Areva Axalto Barco Bombardier Bosch BT Continental Daimler ESA ESO GE Giesecke Gemalto Intel Jena Optronik Knorr Bremse Mentor Graphics NXP Philips Sagem Siemens Sopra STMicroelectronics T-Mobile Texas Instruments Thales T-Systems Volkswagen ZF Zodiac

© 2008-2009 Verifysoft Technology GmbH         last updated: 01.07.2009         Mentions légales