Verifysoft remercie ses clients et partenaires
(22 décembre 2004)
2004 a été une année satisfaisante pour notre entreprise.
Malgré un climat d´investissement dans le secteur informatique toujours hésitant, nous avons réussi - notamment au deuxième semestre - à augmenter considérablement notre chiffre d´affaires.
Nos clients existants ainsi que des nouveaux clients vont amélorier leur qualité de logiciel et faciliter leurs processus de développement avec les outils de test et d´analyse fournis par Verifysoft Technology.
Nos outils sont déjà utilisé avec succès dans de nombreux secteurs dont le transport, la télécommunication; la fabrication de cartes é puces, les technologies de médecine et de biologie, l´aéronautique et l´espace.
Grâce à la qualité et l´utilité de nos produits, nous comptons également pour 2005 sur une augmentation significative de nos ventes.
Nous remercions nos clients pour leur confiance et nos partenaires pour leur coopération. Pour la nouvelle année nous allons continuer à tout faire pour vous fournir les meilleurs outils et le meilleur support technique: pour la qualité de vos logiciels.
Nous vous souhaitons une bonne année 2005!
CTC++ "add-on package" v2.0 pour cibles Symbian disponible
(21 décembre 2004)
Une nouvelle version de l´outil de couverture de test CTC++ pour cibles Symbian est maintenant disponible.
La nouvelle version dispose de plusieurs nouveautés, dont:
La nouvelle version dispose de plusieurs nouveautés, dont:
- Support de l´instrumentation de coûts d´exécution (timing instrumentation)
- Nouvelle technologie pour la recherche des fuites mémoire à l´aide de l´instrumentation de coûts d´exécution (timing instrumentation)
- Utilisation plus facile.
CTC++ (couverture de test) intégration dans CodeWarrior disponible
(15 décembre 2004)
CTC++ a été adapté pour mesurer la couverture de test dans des projets Symbian qui utilisent le compilateur Metrowerks CodeWarrior sur plateforme Windows.
L´outil peut être utilisé directement via l´environnement de développement ou via des lignes de commande.
La nouvelle version est disponible gratuitement pour nos clients CTC++/Windows ayant un contrat de maintenance en vigueur.
Jusqu´à maintenant CTC++ pour Windows a déjé supporté Symbian dans les cas ci-dessous :
L´outil peut être utilisé directement via l´environnement de développement ou via des lignes de commande.
La nouvelle version est disponible gratuitement pour nos clients CTC++/Windows ayant un contrat de maintenance en vigueur.
Jusqu´à maintenant CTC++ pour Windows a déjé supporté Symbian dans les cas ci-dessous :
- pour l´émulateur EPOC, VC++ 6.0 compilateur, mode ligne de commande
- pour l´émulateur EPOC, via Visual Studio 6.0 IDE
- pour le cible, compilateur gcc, mode ligne de commande
ExCing Extreme Consulting (validation, vérification et certification de logiciels) et Verifysoft entament une coopération
(12 octobre 2004)
Afin de valider les applications, ExCing Extreme Consulting va utiliser des outils de mesure de complexité de code de différents fournisseurs, dont CMT++.
> site d´ExCing
ZF et Verifysoft Technology signent un accord cadre pour des outils de test
(22 septembre 2004)
Le groupe ZF et Verifysoft Technology ont signé un accord cadre permettant l´acquisition des outils de test et de l´analyse de logiciels à des conditions spéciales.
Avec un chiffre d´affaires de 8,9 millards d´Euros et plus de 50 000 employés le groupe ZF est un des tous premiers fournisseurs mondiaux de l´industrie automotive.
Le contrat cadre va permettre à plus de 100 sociétés du groupe ZF dans 25 pays d´obtenir des technologies distribuées par Verifysoft à des conditions préférentielles.
Jusqu´à présent les outils de tests étaient déjà utilisés par ZF Friedrichshafen AG et par ZF Lenksysteme GmbH (joint venture de ZF et Bosch) afin d´assurer une qualité de code irréprochable, nécessaire pour des applications dans le secteur de l´automotive.
Avec un chiffre d´affaires de 8,9 millards d´Euros et plus de 50 000 employés le groupe ZF est un des tous premiers fournisseurs mondiaux de l´industrie automotive.
Le contrat cadre va permettre à plus de 100 sociétés du groupe ZF dans 25 pays d´obtenir des technologies distribuées par Verifysoft à des conditions préférentielles.
Jusqu´à présent les outils de tests étaient déjà utilisés par ZF Friedrichshafen AG et par ZF Lenksysteme GmbH (joint venture de ZF et Bosch) afin d´assurer une qualité de code irréprochable, nécessaire pour des applications dans le secteur de l´automotive.
Conformiq Test Generator Presentation at ICSTEST® 2004 in London (UK)
Conformiq CEO Antti Laine will speak about "Large Scale Use of Model-based Testing in Testing of a Credit Card Authorization Switching System".
As a sponsor Conformiq is able to offer to You a reduced delegate place at 10% less than the standard rate.
Further information
CTC++ (couverture de test) intégration dans Visual Studio .NET disponible
(27 août 2004)
Testwell annonce la disponibilité de l´intégration de CTC++ dans Visual Studio .NET 2002 et .NET 2003 IDE.
Nos clients ayant un contrat de mainenance en cours reçevront le produit additionnel sans frais supplémentaires.
Avant le lancement de CTC++ pour .NET, le produit était déjé intégré dans plusieurs environnements de développement, dont Visual Studio 5.0/6.0, Borland 5.0, Wind River Tornado, ...
> plus d´informations concernant l´intégration de CTC++ dans .NET
Nos clients ayant un contrat de mainenance en cours reçevront le produit additionnel sans frais supplémentaires.
Avant le lancement de CTC++ pour .NET, le produit était déjé intégré dans plusieurs environnements de développement, dont Visual Studio 5.0/6.0, Borland 5.0, Wind River Tornado, ...
> plus d´informations concernant l´intégration de CTC++ dans .NET
Nos outils de test pour Java jusqu´à 50% moins cher
(26 juillet 2004)
Notre partenaire Man Machine Systems a baissé les prix de ses outils de test jusqu`à 50%.
Les outils sont maintenant disponibles aux prix suivants avec notre bon de commande par fax :
Les outils sont maintenant disponibles aux prix suivants avec notre bon de commande par fax :
- JEvolve, maintenant 429 Euros au lieu de 799 Euros
- JCover, maintenant 429 Euros au lieu de 739 Euros
- JVerify, maintenant 349 Euros au lieu de 590 Euros
- JSyntest, maintenant 349 Euros au lieu de 495 Euros
Plus d´informations
Testwell annonce le lancement de CTC++ version 6.0
(9 juillet 2004)
Testwell annonce une nouvelle version de CTC++: version 6.
CTC++ 6.0 est disponible pour les plateformes Windows, Linux, HPUX et Solaris.
La nouvelle version comporte plusieurs perfectionnements, par exemple:
CTC++ 6.0 est disponible pour les plateformes Windows, Linux, HPUX et Solaris.
La nouvelle version comporte plusieurs perfectionnements, par exemple:
- instrumentation de l´opérateur "ternary ?:"
- option "-ff" dans ctcpost pour indiquer la couverture de fonction d´une manière plus compacte
- amélioration de la "function call tracing capability"
- amélioration du "timing instrumentation mode" (pour certaines plateforms)
- ...
CTC++ l´outil d´analyse de couverture de Testwell supporte les produits Beck - IPC@CHIP -
(5 juillet 2004)
Beck IPC est une société du groupe Festo, qui propose des logiciels, des hardwares, des services et informations sur les techniques automatisées basées PC.
> plus d´informations
Testwell annonce le lancement de CTA++ version 3.0.3
(2 juillet 2004)
CTA++ v3.0.3 supporte maintenant Visual Studio .NET 2003 (VC++ 7.1). La nouvelle version comporte également quelques améliorations dans cta2html et ctastub. Elle est disponible pour toutes les plateformes supportées (Windows, Linux, Solaris et HPUX). Les clients ayant un contrat de maintenance en cours recevront la nouvelle version gratuitement.
Verifysoft devient distributeur pour Conformiq Test Generator™ en Allemagne, en Autriche et en Suisse
(Espoo/Helsinki, le 30 juin 2004)
Conformiq Software Ltd, l´une des principales société de conseil de tests de logiciels en Finlande annonce aujourd´hui la signature avec Verifysoft d´un accord concernant la distribution de Conformiq Test Generator™.
Conformiq Test Generator™ est un outil d´automatisation de test fonctionnel.Avec les outils de Conformiq vous décrivez le comportement attendu de votre logiciel (ou de votre système à tester) à l´aide d´un modèle graphique (UML). Conformiq se charge ensuite de générer automatiquement les plans de tests lisibles par l´utilisateur, les cas de tests et les suites de test exécutables.
La technologie de Conformiq a été développé pendant plus d´une décennie dans des projets de recherche des universités et dans des projets de grandes sociétés comme Nokia et KONE. Depuis 1998, la technologie à été transformé d´un projet de recherche à un produit commercial.
Plus d´informations
Conformiq Test Generator™ est un outil d´automatisation de test fonctionnel.Avec les outils de Conformiq vous décrivez le comportement attendu de votre logiciel (ou de votre système à tester) à l´aide d´un modèle graphique (UML). Conformiq se charge ensuite de générer automatiquement les plans de tests lisibles par l´utilisateur, les cas de tests et les suites de test exécutables.
La technologie de Conformiq a été développé pendant plus d´une décennie dans des projets de recherche des universités et dans des projets de grandes sociétés comme Nokia et KONE. Depuis 1998, la technologie à été transformé d´un projet de recherche à un produit commercial.
Plus d´informations
Testwell annonce le lancement d´une nouvelle version de CTA++ (v. 3.0.2)
(11 mars 2004)
Testwell annonce le lancement de la version 3.0.2 de l´outil de test unitaire CTA++ pour les plateformes Windows (VC++ 6.0/Visual Studio 6.0), Linux (egcs 1.1.2/2.91.66, gcc 2.96, gcc 3.2), Solaris (Sun C++ v5.3, gcc3.3.1), HPUX (HP C++ ver A.03.13).
Surla plateforme Windows, la "run-time library" de CTA++ ("CTA++ run-timelibrary") est amenée vers une DLL. Cela simplifie considérablementl´utilisation de l´outil lors de l´édition de liens pour le testbed; àla fois via Visual Studio et en mode ligne de commande.
Les clients ayant un contrat de maintenance en cours peuvent télécharger la nouvelle version gratuitement.
Surla plateforme Windows, la "run-time library" de CTA++ ("CTA++ run-timelibrary") est amenée vers une DLL. Cela simplifie considérablementl´utilisation de l´outil lors de l´édition de liens pour le testbed; àla fois via Visual Studio et en mode ligne de commande.
Les clients ayant un contrat de maintenance en cours peuvent télécharger la nouvelle version gratuitement.
Verifysoft annonce l´intégration de Testwell CTC++ dans Borland C++ 5.0.2
(19 février 2004)
Verifysoft annonce la disponibilité de l´outil de mesure de couverture de test (coverage analyzer) Testwell CTC++ pour l´environnement de développement "Borland C++ 5.0.2 ".
CTC++ est un outil de couverture de test (code coverage) trèspuissant développé par notre partenaire Testwell. L´outil est utilisépour des projets qui nécessitent une qualité de code important.
La nouvelle intégration, développée par Verifysoft é la demande des sociétés du secteur "automotive", permet aux développeurs qui travaillent avec Borland C++ de mesurer la couverture de test sans quitter leur environnement de développement. Jusqu´à maintenant la mesure de couverture pour Borland était déjà possible, mais en utilisant des "makefiles".
L´utilisation du "add-on host-target" permet la mesure du code 16 octets.
Des copies avec "pleines fonctionanalités" sont disponibles pour une évaluation.
Nous souhaitons remercier le projet Tools55 pour son aide lors de l´intégration.
CTC++ est un outil de couverture de test (code coverage) trèspuissant développé par notre partenaire Testwell. L´outil est utilisépour des projets qui nécessitent une qualité de code important.
La nouvelle intégration, développée par Verifysoft é la demande des sociétés du secteur "automotive", permet aux développeurs qui travaillent avec Borland C++ de mesurer la couverture de test sans quitter leur environnement de développement. Jusqu´à maintenant la mesure de couverture pour Borland était déjà possible, mais en utilisant des "makefiles".
L´utilisation du "add-on host-target" permet la mesure du code 16 octets.
Des copies avec "pleines fonctionanalités" sont disponibles pour une évaluation.
Nous souhaitons remercier le projet Tools55 pour son aide lors de l´intégration.
CMTJava v. 1.4 est maintenant disponible
(2 février 2004)
Testwell annonce la sortie d´une nouvelle version de CMTJava (version 1.4). La nouvelle version dispose d´une option pour la création des sorties en HTML (cmtjava2html). CMTJava est disponible pour Windows, Linux, Solaris et HPUX. Sur plateforme Windows son utilisation est directement intégrée à l´interface d´utilisateur de CMTJava.
CMT++ avec sortie HTML/nouvelle version de CTC++
(27 janvier 2004)
Testwell a annoncé la sortie d´une nouvelle version de CMT++ (version 3.5) et de CTC++ (version 5.2.1).
La principale amélioration dans CMT++ est l´introduction de "HTML reporting". Sur la plateforme Windows, cette capacité est intégré à l´interface d´utilisateur de CMT++.
La nouvelle version de CTC++ 5.2.1 est disponible pour les platesformes Windows, Linux, Solaris et HPUX La nouvelle version contient de petits perfectionnements.
Ces deux outils peuvent être téléchargés par nos clients ayant un contrat de maintenance en cours.
La principale amélioration dans CMT++ est l´introduction de "HTML reporting". Sur la plateforme Windows, cette capacité est intégré à l´interface d´utilisateur de CMT++.
La nouvelle version de CTC++ 5.2.1 est disponible pour les platesformes Windows, Linux, Solaris et HPUX La nouvelle version contient de petits perfectionnements.
Ces deux outils peuvent être téléchargés par nos clients ayant un contrat de maintenance en cours.