Nouvelle brochure d'entreprise et de produits

(Offenburg, 3 avril 2024)

Nous faisons constamment évoluer notre offre et, ajoutons ainsi de nouveaux outils et séminaires à notre gamme.
Notre brochure d'entreprise et de produits a donc été mise à jour et élargie.

Des nouvelles fonctionnalités et de nouveaux outils sont désormais inclus :

Testwell CTC++ avec des justifications pour la couverture de code manquante et un nouveau format de rapport
Les mises à jour pour les outils CodeSonar, Imagix 4D et CodeSentry
La philosophie de l'entreprise
et encore plus de clients ...

En savoir plus : Company and Product Brochure 2024

MIGTEC distribue les outils Testwell en Australie et en Nouvelle-Zélande

(Offenburg/Allemagne, Sydney/Australie, 22 mars 2024)

Verifysoft a désigné MIGTEC PTY LTD comme distributeur de l'analyseur de couverture de code, Testwell CTC++ et des outils de mesure de complexité Testwell CMT++ et CMTJava pour l'Australie et la Nouvelle-Zélande.
MIGTEC est une société australienne indépendante de services professionnels créée en 1999.
L'entreprise se concentre sur la fourniture de solutions techniques informatiques aux principales organisations mondiales.
MIGTEC est un leader du secteur qui fournit des solutions spécialisées et des conseils en matière de QA testing (Quality Assurance Testing), de requirements management et de développement de logiciels.
En savoir plus : Site web de MIGTEC

Winbond s'appuie sur Testwell CTC++ pour les organisations industrielles

(Herzliya/Israël, 12 mars 2024)

Winbond est un fournisseur de mémoires dont le siège se trouve à Taïwan et qui possède des filiales aux États-Unis, au Japon, en Israël et en Chine. La société emploie 2 800 personnes dans le monde.
Elle produit des semi-conducteurs et plusieurs types de circuits intégrés (CI), notamment des mémoires dynamiques et statiques à accès aléatoire, des mémoires flash en série, des microcontrôleurs et des puces Super I/O. Winbond participe activement à l'élaboration de nouvelles réglementations et normes de sécurité dans les organisations industrielles.
Ils ont choisi Testwell CTC++ pour mesurer la couverture du code dans le cadre de leurs développements critiques en matière de sécurité. Hezi Pereg, responsable du département logiciel chez Winbond Israël, explique que Testwell CTC++ répond à toutes leurs exigences, génère un rapport de couverture clair et informatif, et permet d'analyser le rapport à partir de la CLI (Command-line interface), ce qui est extrêmement utile dans leurs processus de CI.
Lire le témoignage complet de l'utilisateur ici.

Avec AMCS technologies, Testwell CTC++ au service de la sécurité des chantiers de construction

(Collégien/France, 8 mars 2024)

AMCS technologies concepteur et fabricant de systèmes électroniques haut de gamme au service de la sécurité des chantiers de construction utilise Testwell CTC++. Spécialisée dans le zoning et l’anticollision des engins de levage, la société est devenue une référence dans son activité et, dans le contexte des normes de sécurité fonctionnelle (SIL ou "Safety Integrity Level" 2), fait appel à notre outil de couverture de Code.
"Dans le cadre de la certification SIL2 d'un de nos produits nous avons été amenés à remplacer un outil existant par Testwell CTC++. L'outil nous a permis d'avoir une analyse plus pertinente de la couverture de code en conformité avec les exigences de la norme IEC 61508. Son intégration avec d'autres logiciels et son utilisation en mode console sont deux critères qui ont motivés notre décision finale. En résumé, nous sommes pleinement satisfaits de cet outil." Nicolas Angelini, Senior Software Engineer , R&D department- AMCS technologies .
Plus d´infos ici.

MedConf 2024 - 17e conférence sur le développement de logiciels et d'appareils pour le secteur médical

Du 16 au 18 avril 2024, MedConf 2024 se tiendra à Unterhaching, près de Munich.
Dès le début, les thèmes des normes et directives, du développement de logiciels, de la gestion des risques ainsi que de l'assurance qualité dans la technique médicale ont été au centre de MedConf. Au fil des années, de nombreux nouveaux thèmes y ont été intégrés, à commencer par le développement et la mise en réseau des appareils, la sécurité et la sûreté, l'intelligence artificielle, les applications médicales, l'agilité dans la technique médicale et l'automatisation des laboratoires... Programmes des conférences.
En tant qu´exposant, pour les personnes intéressées, nous pouvons mettre à disposition des billets de conférence au prix d'une inscription anticipée (jusqu'au 15 avril 2024). Contactez-nous, pour obtenir votre code promo.
Nous nous réjouissons déjà de pouvoir vous rencontrer sur notre stand.
Plus d'informations.

Embedded World 2024, LE rendez-vous incontournable pour l'ensemble de la communauté de l'embarqué

The embedded world Exhibition & Conference réunit une fois par an à Nuremberg l'ensemble de la communauté des technologies embarquées, et offre une vue d'ensemble unique de ce secteur.
- Venez nous rencontrer du 9 au 11 avril 2024 Hall 4, stand 423 sur le salon Embedded World 2024 à Nuremberg (Allemagne).
Plus d'informations ici et inscrivez-vous pour obtenir votre ticket d'entrée gratuit .

La version 10.5.3 d'Imagix 4D disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 4 mars 2024)

Imagix a publié la version 10.5.3 d'Imagix 4D.
La version 10.5.3 améliore les performances de l'éditeur de fichiers, la prise en charge du code basé sur gcc et corrige certains bugs de l'interface graphique dans la boîte de dialogue des sources de données.

Testwell CTC++ version 10.1 disponible

(Offenburg/Allemagne, 1 mars 2024)

Verifysoft a publié la nouvelle version de Testwell CTC++ 10.1 avec la nouvelle fonctionnalité Justifications .
La couverture manquante peut désormais être justifiée, et cela influencent de manière transparente toutes les mesures de couverture. Les justifications peuvent être stockées dans les commentaires du code source ou dans des fichiers complémentaires.Une balise utilisée pour la présentation groupée dans les aperçus et une explication y sont associées.
Pour en savoir plus, consultez notre Vidéo YouTube.
Une vue d'ensemble des nouvelles fonctionnalités est disponible dans la Release-Notes.

Verifysoft à VECS 2024 - Göteborg (Suède)

VECS est l'un des plus grands événements automobiles en Europe du Nord, axé sur l'autonomie, l'électrification, les véhicules connectés et la mobilité.
Nous serons ravis de vous rencontrer les 14 et 15 mai 2024 à VECSS 2024 à Göteborg (Suède) sur le stand Verifysoft Technology, Stand C00 :05.
Avec notre code « Verifysoft20 » obtenez 20% de réduction sur votre billet d'entrée (Cette réduction ne s'applique pas aux inscriptions déjà enregistrées et n'est cumulable avec aucune autre pour cet événement). Utilisez le code maintenant!

Imagix 4D version 10.5.2 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 22 décembre 2023)

Imagix a publié la version 10.5.2 de son outil de rétro-ingénierie et d'analyse de code source Imagix 4D.
La nouvelle version accélère la création de documents Html en proposant alternativement un "mode concurrent" (multithreading).

Verifysoft : Leader du marché mondial avec un seul outil de test

(Offenburg, 8 novembre 2023)

Le logiciel de sécurité "Testwell CTC++" de Verifysoft Technology est utilisé dans le monde entier. La société travaille notamment pour Airbus et la NASA.
Avec un seul outil de test, Verifysoft Technology est devenu un leader mondial du marché.
Néanmoins, le fondateur et dirigeant Klaus Lambertz n'a pas perdu le sens des réalités. La raison en est que les gens sont plus importants pour lui que les profits rapides.
En savoir plus : Présence mondiale avec des logiciels pour la sécurité

Testwell CTC++ intégré avec Bazel

(Offenburg/Allemagne, 19 octobre 2023)

Testwell CTC++ offre plusieurs possibilités génériques pour intégrer la mesure de la couverture dans différents systèmes de construction. Bazel est un défi connu pour l´interaction avec des outils tiers.
Johan Herland et Mark Karpov, travaillant pour Tweag a Modus Create company , décrivent leur parcours pour établir une intégration stable de Testwell CTC++ avec Bazel pour un client de Tweag’s Scalable Builds Group.
Lire le rapport complet ici..

Verifysoft Technology à l´Ettenheimer Stadtlauf 2023.

(Offenburg/Allemagne, 16 octobre 2023)

C´est aux côtés de centaines de participants (club d'athlétisme d'Ettenheim (LVE), les nombreux élèves de la cinquième à la septième classe de la "Junior-Cup“, les sociétés Oberle, Bürstner…) que l´équipe de Verifysoft Technology a participé à la course par équipe, course de fitness - 2 tours / 4 km de l´Ettenheimer Stadtlauf (Ettenheim-ville allemande de l´Ortenau, Land du Bade-Wurtemberg).
Nous noterons ici la prouesse de Hans Decoux, originaire d'Altdorf, qui n'a pas hésité à courir les dix kilomètres complets huit jours avant son 80e anniversaire, et un chaleureux remerciement à Melanie, Roland et Klaus nos fidèles représentants.
Voici notre course en vidéo.

Verifysoft : la meilleure qualité logicielle depuis plus de 20 ans

(Offenburg/Allemagne, 30 septembre 2023)

L'histoire de Verifysoft commence en été 2003 avec deux employés dans le parc technologique d'Offenburg. L'entreprise, dont les premiers meubles de bureau proviennent des encombrants, prend en charge le support et la distribution des logiciels de test de la société finlandaise Testwell.
Aujourd'hui, Verifysoft est propriétaire du leader mondial de l'analyse de couverture de code et fait partie des principaux fournisseurs de logiciels de test et d'analyse avec plus de 750 clients sur tous les continents. La satisfaction des clients et des collaborateurs est toujours au centre de ses préoccupations. En savoir plus

Adventure Team Event 2023

(Offenburg/Allemagne, 28 septembre 2023)

Une sortie en pleine nature pour Verifysoft avec les draisines du Palatinat du Sud (die Südpfalz-Draisinenbahn). La draisine est une sorte de mélange de vélo et de train, un « vélo rail » ou cyclo-draisine que l´on actionne en pédalant. Dans un cadre verdoyant du Palatinat, fait de plaines et de forêts, les draisines du Palatinat du Sud nous ont transporté sur 12 kilomètres (A/R Bornheim-Bornheim).
De légères montées en douces descentes, nous ont permis de nous retrouver tous ensemble pour partager ce moment de plaisir et de « petite » remise en forme.
Vous trouverez ici des informations pour rejoindre notre équipe.

Contromax fait confiance à Testwell CTC++ pour le développement de servomoteurs pour l'aéronautique

(Daejeon/Corée du Sud, 21 septembre 2023)

Contromax est un fabricant de servomoteur pour l'aviation, basé à Daejeon (Corée du Sud). Les produits de l'entreprise sont exclusivement des composants critiques pour la sécurité et le vol, dont le logiciel doit être testé selon les normes de sécurité DO-178.
Pour mesurer la couverture de code dans le développement de logiciels critiques pour la sécurité, Contromax a choisi le Code Coverage Analyzer, Testwell CTC++.
Thomas Chae, Team Lead Aircraft Server Systems chez Contromax, explique que Testwell CTC++ est plus efficace que d´autres outils sophistiqués et compliqués basés sur une interface graphique. Il a également noté l'état d'esprit orienté client et l´expertise de l´équipe de Verifysoft.
Contromax a présenté Testwell CTC++ à un constructeur d'avions, qui a été fasciné par les possibilités et le prix de l'outil.
Lisez ici le témoignage complet du client.

Nouveau témoignage utilisateur: La société Broadcom utilise Testwell CTC++ pour analyser la couverture de code.

(San Jose/USA, Bangalore/Inde, 5 septembre 2023)

Broadcom Corporation fait partie de Broadcom Inc. leader mondial des technologies d'infrastructure qui s'appuie sur le riche héritage technique d'AT&T/Bell Labs, Lucent et Hewlett-Packard/Agilent. La société développe et fournit des semi-conducteurs et des solutions logicielles d'infrastructure.
Broadcom Corporation a choisi depuis longtemps Testwell CTC++ pour mesurer la couverture de code.
« …Avec Testwell CTC++, nous avons pu obtenir la couverture des décisions, des lignes et des conditions multiples comme nous le souhaitions. … nous constatons que l'équipe de Testwell CTC++ a accordé une attention particulière à la facilité d'utilisation de l'outil et, surtout, à la lisibilité des rapports. Sans oublier la nouvelle couverture Condition/Décision modifiée qui donne plus d'informations sur la couverture … » déclare Bharadwaj Sreenivasan, Ingénieur R&D, chez Broadcom Corporation.
Lire le témoignage de l'utilisateur ici / Accéder à tous les témoignages.

LexingtonSoft - Code Coverage Best Practices

Shift Left: Code Coverage Benefits – Étude d'une grande entreprise du Fortune 100.

(Boston/USA, Offenburg/Allemagne, 17 août 2023)

La couverture du code est une mesure prometteuse de l'efficacité des tests.
Les conclusions de diverses organisations révèlent que l'augmentation de la couverture du code diminue les défauts liés au terrain et augmente le niveau de confiance dans la qualité du code. Le document "Code Coverage Best Practices" explique comment l'un des géants mondiaux de la consommation a déployé avec succès Testwell CTC++ pour intégrer les tests unitaires et la couverture de code dans son flux d'intégration continue. Télécharger le white paper (livre blanc) de notre partenaire Lexington Soft.

Verifysoft propose un "Safety Package" pour l'analyseur de couverture de code Testwell CTC++.

(Offenburg/Allemagne, 25 mai 2023)

Verifysoft propose dès à présent un Safety-Package pour l´analyseur de couverture de code Testwell CTC++.
En plus du Certificat TÜV, les clients Testwell CTC++ reçoivent avec le Safety-Package des documents complémentaires tels qu´un "Safety Manual" et l´accès à la "Known-Bugs-List". Ainsi grâce à un abonnement, le client est informé activement des mises à jour des documents inclus.
Avec le Safety-Package, Testwell CTC++ peut être utilisé sans autres mesures de qualification pour tous les niveaux de sécurité des normes IEC 61508, ISO 26262, EN 50128 et IEC 62304 dans le développement de logiciels critiques pour la sécurité.
En savoir plus.

Imagix 4D version 10.5.1 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 23 mai 2023)

Imagix 4D version 10.5.1 a été publiée. L'accent de cette nouvelle version est axée sur AUTOSAR-C++ 2014. En effet Imagix 10.5.1 fournit une liste de contrôle pour AUTOSAR-C++ 2014 qui spécifie les directives de codage pour l'utilisation du langage C++14 tel que défini par ISO/IEC 14882 :2014, dans les systèmes critiques et liés à la sécurité.
L'utilisation de la fonction de révision d'Imagix guide l'utilisateur dans la vérification des règles et automatise la plupart des calculs.
Les règles exigeant une documentation de la part de l'utilisateur n'ont pas d'étapes automatisées mais demandent de joindre la documentation. Les règles automatisées listent toutes les violations avec précision pour autant que le projet ait été analysé sans erreur et que le code soit complet. Les règles partiellement ou non automatisées peuvent encore énumérer tous les emplacements potentiels et nécessiter un examen humain pour décider des problèmes et des violations. La liste de contrôle Imagix comprend toutes les règles définies par AUTOSAR.
Voir pour la liste complète des règles et leur niveau d'automatisation.
D'autres possibilités ont été apportées :
- L´exécution de certaines opérations de l'outil de révision par le biais de commandes en mode batch.
- Le chargement du code source dans l'outil via les fichiers journaux de Microsoft Visual Studio Build.
Enfin, la version 10.5.1 complète la prise en charge de C++ 2022 et corrige également quelques bogues.
Les clients disposant d'une maintenance valide, peuvent télécharger la nouvelle version sur le site web d'Imagix..

Présentation de Testwell CTC++ au salon "Future Mobility Asia 2023" à Bangkok

(Bangkok/Thaïlande, Offenburg/Allemagne, 19 mai 2023)

Notre analyseur de couverture de code Testwell CTC++ présent lors du salon "Future Mobility Asia 2023", qui s'est tenu du 17 au 19 mai 2023 à Bangkok, en Thaïlande, a suscité un grand intérêt.
L´outil a été présenté par notre distributeur en Asie du Sud-Est GOPALAM EMBEDDED SYSTEMS. Testwell CTC++ est l´outil leader pour mesurer la couverture de test des logiciels embarqués. Il analyse le code source pour tous les niveaux de couverture de test exigés par les normes de sécurité. Testwell CTC++ est certifié par TÜV Süd pour une utilisation dans le développement de logiciels critiques pour la sécurité.

Stadtradeln 2023 à Offenburg – Verifysoft participe

(Offenburg/Allemagne, 8 mai 2023)

C'est parti : de nombreux collègues se rendent déjà depuis des années au travail à vélo ("old school" exclusivement à la force musculaire). Pour Verifysoft, il est donc tout naturel que notre équipe participe à la Stadtradeln 2023 du 8 au 28 mai.
Conclusion unanime des cyclistes : "On se sent mieux et on est plus performant quand on commence la journée activement". Le fait de "collecter des kilomètres" dans le cadre de la Stadtradeln 2023 d´Offenburg est une motivation supplémentaire pour faire quelque chose pour la santé et le climat - et c'est vraiment amusant, comme le montre notre vidéo de 2022.

Verifysoft Technology et Heicon Global Engineering à l'Offenburger Stadtlauf / journée de course badenova

(Offenburg/Allemagne, 7 mai 2023)

C'est avec beaucoup d'élan et de plaisir que les équipes de Verifysoft Technology et nos amis de HEICON Global Engineering de Schwendi près d'Ulm et Memmingen, ont participé à l'Offenburger Stadtlauf / badenova Lauftag, le 7 mai dernier.
Le relais de 3 x 1 km partait de l'hôtel de ville historique et traversait le centre-ville d'Offenburg.
Voici notre course en vidéo.

Nouveau témoignage utilisateur: L´Université des Sciences de Gestion de Lahore (LUMS - Lahore University of Management Sciences), au Pakistan

(Lahore/ Pakistan, mai 2023)

" Nous avons travaillé sur un projet lié à la détection des différences dans certains types de codes. Cela dure depuis quelques mois et fait partie d'un cours de niveau supérieur dans notre université. Le seul outil que nous ayons trouvé pour répondre à nos besoins était Testwell CMT++, car il fait un travail incroyablement complet et produit toutes les mesures statiques d'un code, y compris les plus élémentaires comme le nombre d'opérandes et d'opérateurs. Nous avons été très impressionnés lorsque nous l'avons découvert et que nous avons commencé à l'utiliser et nous sommes très reconnaissants du niveau de travail que nous avons atteint depuis que nous l'avons reçu. Cela nous aidera également dans nos recherches futures, étant donné que c'est le seul outil qui fournit une liste aussi complète de métriques pour les contrôles de qualité du code et les études comparatives "
Muawiz Feroze Khan, Project Member of LUMS - Lahore University of Management Sciences - Pakistan

Imagix 4D version 10.5.1 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 23 mai 2023)

Imagix 4D version 10.5.1 a été publiée. L'accent de cette nouvelle version est axée sur AUTOSAR-C++ 2014. En effet Imagix 10.5.1 fournit une liste de contrôle pour AUTOSAR-C++ 2014 qui spécifie les directives de codage pour l'utilisation du langage C++14 tel que défini par ISO/IEC 14882 :2014, dans les systèmes critiques et liés à la sécurité.
L'utilisation de la fonction de révision d'Imagix guide l'utilisateur dans la vérification des règles et automatise la plupart des calculs.
Les règles exigeant une documentation de la part de l'utilisateur n'ont pas d'étapes automatisées mais demandent de joindre la documentation. Les règles automatisées listent toutes les violations avec précision pour autant que le projet ait été analysé sans erreur et que le code soit complet. Les règles partiellement ou non automatisées peuvent encore énumérer tous les emplacements potentiels et nécessiter un examen humain pour décider des problèmes et des violations. La liste de contrôle Imagix comprend toutes les règles définies par AUTOSAR.
Voir pour la liste complète des règles et leur niveau d'automatisation.
D'autres possibilités ont été apportées :
- L´exécution de certaines opérations de l'outil de révision par le biais de commandes en mode batch.
- Le chargement du code source dans l'outil via les fichiers journaux de Microsoft Visual Studio Build.
Enfin, la version 10.5.1 complète la prise en charge de C++ 2022 et corrige également quelques bogues.
Les clients disposant d'une maintenance valide, peuvent télécharger la nouvelle version sur le site web d'Imagix..

Testwell CTC++ avec une intégration IAR améliorée

(Offenburg/Allemagne, 28 avril 2023)

L'analyseur de couverture de code Testwell CTC++ de Verifysoft dispose déjà dans sa version standard de nombreuses intégrations, configurations et convertisseurs pour une grande variété d'environnements clients. Avec la version 6.12, une mise à jour de l'intégration avec IAR Embedded Workbench est maintenant disponible. En outre, les versions précédentes de Testwell CTC++ et d'IAR sont également prises en charge. indépendamment de la prise en charge complète du nouveau générateur de rapports HTML de Testwell CTC++, la mise à jour comprend également de nombreuses améliorations liées aux dernières versions d'IAR.

Testwell CTC++ version 10.0.1 disponible

(Offenburg/Allemagne, 11 avril 2023)

Verifysoft a publié la version 10.0.1 de Testwell CTC++ Code Coverage Analyzer.
Il s'agit uniquement d'une version de correction de bogues.
Pour plus d'informations, voir la documentation sur les modifications.

Chez Verifysoft, ça court ...

(Freiburg, Offenburg/Allemagne, 26 mars 2023)

Course de 10 km réussie pour l'équipe de course de Verifysoft dans le cadre du marathon de Fribourg fin mars.
Le prochain rendez-vous pour nos sportifs est déjà fixé : Ils seront heureux de participer au relais 3 x 1 km le 7 mai dans le cadre de la 27ème journée de course "badenova Lauftag Offenburg" organisée par la ville d'Offenburg en collaboration avec le LG Offenburg, en compagnie de nos amis et partenanires de HEICON Global Engineering de Schwendi près d'Ulm.

Verifysoft à Embedded World Nuremberg: les points forts

(Nuremberg, Offenburg/Allemagne, 22 mars 2023)

Verifysoft était présent avec 10 personnes à Embedded World à Nuremberg et a montré des outils de première classe pour augmenter et sécuriser la qualité des logiciels pour les logiciels embarqués.
Nous tenons à remercier les nombreux visiteurs pour les discussions intéressantes qu´on a pu partager.
Vous pouvez obtenir un aperçu des événements du salon et des points forts de notre stand en consultant notre vidéo du salon et notre résumé sur notre site web.

Verifysoft-Interview avec Easy Engineering

(Bucarest/Roumanie, Offenburg/Allemagne, 20 mars 2023)

Easy Engineering a publié une interview de Verifysoft Technology.
Klaus Lambertz, PDG de Verifysoft, parle des domaines d'application des outils de test de logiciels, des nouveautés en matière d´outils, des tendances du marché et des perspectives d'avenir.
Lire ici l'interview complète.

Certificat TÜV Süd pour Testwell CTC++

(Munich, Offenburg/Allemagne, 9 mars 2023)

Le "Testing Laboratory for Safety Components" de la TÜV SÜD Rail GmbH a certifié que Testwell CTC++ est:

"suitable" pour l'utilisation dans le "safety-related" développement conformément à l'IEC 61508:2010 (pour tout SIL),
"qualified" pour l'utilisation dans le "standard-compliant" processus de développement conformément à l'ISO 26262:2018 (pour tout ASIL),
"suitable" pour l'utilisation dans le "safety-related" développement conformément à l'EN 50128:2011/A2:2020 (pour tout SIL),
et "suitable" pour l'utilisation dans le "safety-related" développement conformément à l'IEC 62304:2006+A1:2015 (pour toutes les "software safety classes").

Certificat.
Pour plus d'informations sur l'utilisation de Testwell CTC++ dans le développement de logiciels critiques, veuillez nous contacter.

Toujours d´actualité chez Verifysoft Technology:
la croissance interne

(Offenburg/Allemagne, 2 mars 2023)

Cette fois c´est l´équipe de développement de Testwell CTC++ qui s´agrandit encore.
Au commande notre Product Manager, Dr. Sabine Poehler, Responsable du Développement Stratégique de la ligne de produits "Testwell" chez Verifysoft.
Toujours dans le cadre de l'expansion du développement de l'outil d'analyse de couverture de code Testwell CTC++, Verifysoft a recruté.
Pour venir étoffer son pôle de développement, sur le site d’Offenburg en Allemagne, deux collaborateurs ont rejoint l´équipe de Sabine Poehler :
- Jan David B. courant de l´année passée, il était de 2017 à 2021 responsable du support et de la formation pour les outils d'analyse de code statique. Depuis 2022 il fait partie du Team développement.
- Michael W. titulaire d´un Master of Science en ingénierie mécanique de l'Université des sciences appliquées d'Offenburg (HS Offenburg), a déjà plusieurs années d'expérience professionnelle en tant que développeur de logiciels dans le domaine de l'ingénierie assistée par ordinateur dans des sociétés telle que Dassault Systemes GmbH (Berlin) et d´autres grandes sociétés. Depuis quelques mois il a rejoint l´équipe de développement de Testwell.
Pour rappel, la gamme de produits "Testwell" n´a jamais cessé d´évoluer depuis 1989, à son origine trois ingénieurs de chez Nokia, créé la société Testwell à Tampere (Finlande) (en savoir plus: Wikipedia Testwell CTC++).
La suite vous la connaissez, Verifysoft achète les outils de test de l’éditeur finnois Testwell le 1er juillet 2013 et…

Imagix 4D version 10.5 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 1 février 2023)

Imagix 4D version 10.5 axée sur MISRA C++ est disponible dès à présent.
Imagix 10.5 propose une liste de contrôle pour la version actuelle de MISRA C++ 2008, qui permet de mettre en œuvre toutes les règles (à l'exception du chapitre 14).
La fonction de vérification d'Imagix aide l'utilisateur à vérifier les règles de MISRA C++ et automatise tous les calculs. Pour les règles qui nécessitent une documentation de la part de l'utilisateur, il n'y a pas d'étapes automatiques, mais une demande de joindre la documentation. Les violations de règles clairement vérifiables sont signalées avec précision, à condition que le projet ait été analysé sans erreur et que le code source soit complet. Les violations de règles potentielles non évidentes, qui nécessitent une vérification humaine, sont également répertoriées, avec indication des passages correspondants dans le code, afin de pouvoir ensuite faire l'objet d'une évaluation humaine finale.
L'utilisation de la fonctionnalité MISRA C++ dans Imagix 4D nécessite une extension de licence.
Imagix 10.5 offre également une prise en charge pour le chargement de données à partir de fichiers sources qui se trouvent dans des chemins de répertoire avec des jeux de caractères internationaux.

Embedded World 2023, LE rendez-vous incontournable pour l'ensemble de la communauté de l'embarqué - Venez nous rencontrer Hall 4, stand 423

Nous nous réjouissons de pouvoir vous rencontrer personnellement du 14 au 16 mars 2023 au salon Embedded World à Nuremberg (Allemagne).
Obtenez plus d'informations ici et inscrivez-vous pour obtenir votre ticket d'entrée gratuit au salon.

Testwell CTC++ intégré dans Automation & Testing Suite

(Offenburg/Allemagne, 27 janvier 2023)

L´analyseur de couverture de code Testwell CTC++ est désormais également intégré dans ATS (Automation & Testing Suite) de la société Schleissheimer GmbH. ATS (Automation & Testing Suite) prend en charge tous les domaines importants du processus de test, tels que la gestion des tests, la modélisation des tests, l'exécution des tests, leur évaluation et leur documentation. Une variété de tests possibles peuvent être exécutés sans matériel réel.
ATS (Automation & Testing Suite) s'appuie sur Testwell CTC++ pour mesurer la couverture de code (y compris la couverture MC/DC, des fonctions, des instructions et des décisions/branches).
Testwell CTC++ dispose d'intégrations avec de multiples chaînes d'outils, environnements de test et outils de qualité logicielle, comme ATS, CATIA Systems - AUTOSAR Builder, Cygwin, dSpace SystemDesk et TargetLink, Imagix 4D, Jenkins, Lauterbach, MATLAB Simulin, PikeTec TPT, Silver Virtual ECU et TestWeaver, et SonarQube.

Webinaire en replay disponible: Quoi de neuf dans la dernière version 10.0 de Testwell CTC++?

(Offenburg/Allemagne, 11 janvier 2023)

Verifysoft a récemment publié la nouvelle version 10.0 de son analyseur de couverture de code Testwell CTC++.
Testwell CTC++ 10 met l'accent sur la génération de rapports : un nouvel outil de rapport, ctcreport, prend en compte la génération de rapports HTML basés sur des modèles.
Ceci et d'autres nombreuses innovations de la version 10, telles que la structure et les fonctions du nouveau rapport HTML, des évolutions pour l'affichage des en-têtes, la manipulation de code compilé conditionnellement et ctclaunch pour Linux pour l'intégration des builds, font l'objet de notre webinaire enregistré.

Verifysoft lance les licences par équipe, « Team-based licenses » pour Testwell CTC++.

(Offenburg/Allemagne, 2 janvier 2023)

Afin de répondre aux exigences des processus et environnements actuels de développement de logiciels, Verifysoft propose désormais pour Testwell CTC++ des licences par équipe en plus des licences flottantes.
Pour les environnements de construction et de développement dynamiques et hybrides, des licences par équipe sont délivrées pour accorder le droit d'utiliser le logiciel au sein d'une équipe dédiée d'une taille déterminée. Techniquement, les licences sont délivrées en s'adaptant à l'environnement de construction afin de garantir que l'équipe entière puisse utiliser Testwell CTC++ sans restrictions techniques.
Les licences par équipe sont limitées dans le temps (généralement un an), et le titulaire de la licence s'engage à faire un rapport sur la taille de l'équipe ( une fois par an ) .
Le Verifysoft End-User License Agreement a été mis à jour en conséquence (cf. Verifysoft End-User License Agreement for Testwell-Tools).
Pour de plus amples informations, veuillez contacter notre équipe de vente.

Proven verification process that simultaneously fulfils the standards IEC 61508, DIN EN 50128, EN 50567 and ISO25119 - Webinaire enregistré en ligne

(Offenburg/Allemagne, 22 novembre 2022)

Choisir les bonnes méthodes des normes de sécurité fonctionnelle demande beaucoup d'expérience. Martin Heininger (HEICON Global Engineering) montre au cours de ce webinaire enregistré comment procéder.
- Quand utiliser les tests statiques ?
- Un walkthrough est-il plus efficace qu'une inspection ?
- Pourquoi seule une stratégie de test intégrée permet d'éviter une explosion des coûts ?
- Quand la mesure de la couverture structurelle offre-t-elle une réelle valeur ajoutée ?
Regardez l'enregistrement du webinaire ici. D'ailleurs, vous pouvez trouver tous nos webinaires sur notre site web.

ISO 26262: Experience-based selection of software development measures and methods - Webinaire enregistré en ligne

(Offenburg/Allemagne, 4 octobre 2022)

Notre webinaire "ISO 26262 - Experience-based selection of software development measures and methods" avec Martin Heininger, ingénieur diplômé (HEICON Global Engineering) est maintenant disponible sur notre chaîne YouTube.
Martin Heininger possède plus de 15 ans d'expérience dans le domaine des méthodes et des processus pour le développement de systèmes embarqués critiques en matière de sécurité. Le webinaire aborde les sujets suivants : Principes de notation informelle, semi-formelle et formelle, principes d'architecture de sécurité, traitement des directives de codage, révision/analyse statique, tests unitaires, d'intégration et de système.
Regardez le webinaire enregistré ici. D'ailleurs, vous pouvez retrouver tous nos webinaires sur notre site web.

Embedded World : De nombreux visiteurs sur le stand de Verifysoft

(Nuremberg/Allemagne, 23 juin 2022)

Du 21 au 23 juin 2022, Verifysoft a informé de nombreux clients et personnes intéressées sur le stand à Embedded World à Nuremberg, sur les outils de test et d'analyse ainsi que sur le programme de séminaires.
Après la " pause Corona ", nous étions très heureux de pouvoir continuer à travailler comme avant.
De plus amples informations sont disponibles sur notre site web et sur notre vidéo d´Embedded World.

Embedded World 2022: Sûreté et sécurité des logiciels avec les outils de Verifysoft Technology

Rencontrons-nous du 21 au 23 juin 2022 au salon Embedded World de Nuremberg et découvrez ou redécouvrez nos technologies conçues pour améliorer la sécurité et la sûreté de vos projets de logiciels pour les secteurs des Systèmes Embarqués, de l'IoT et du M2M (Machine to machine ).
Avec plus de 30 000 visiteurs et plus de 1 000 exposants, Embedded World est le principal salon international des systèmes embarqués.
Obtenez votre ticket d'entrée gratuit ici et découvrez tous nos outils d'analyse de code statique et dynamique.
En savoir plus

Imagix 4D version 10.4 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 8 mars 2022)

Imagix 4D version 10.4 a été publiée. L'accent de cette nouvelle version est mis sur la norme MISRA-C 2012. Imagix 4D 10.4 vous fournit une liste de contrôle couvrant toutes les directives et règles de MISRA-C 2012.
En outre, d'autres améliorations ont été apportées :
- Une option d'affichage supplémentaire "By Origin" pour les "probes" (sondes) dans les revues, définies par défaut.
- Un affichage des probes avec des entrées provenant de différents fichiers dans la même fenêtre.
- La création d'un graphe d'appel à partir de l'architecture inclut les membres des sous-systèmes sélectionnés ou visibles.
Plus d'informations sur Release notes.
Les clients disposant d'une maintenance valide, peuvent télécharger la nouvelle version sur le site web d'Imagix..

Erste Hilfe / First Aid / Premiers secours

First Aid for Old Code (Premiers secours pour vieux code)

(Offenburg/Allemagne, 4 mars 2022)

Les fabricants doivent garantir la qualité de leurs logiciels tout au long du cycle de vie d'un produit. Si de nouvelles fonctions sont ajoutées à des appareils plus anciens, mais que la documentation du logiciel est insuffisante et que plus personne ne connaît vraiment l'ancien code, cette tâche devient problématique.
En prenant comme exemple un logiciel pour un dispositif médical, notre article technique décrit une procédure idéale.
Lisez l'article complet ici (pdf en français)

« White-Box Testing in safety-related Projects » : Webinaire en replay disponible

(Offenburg/Allemagne, 31 janvier 2022)

De nombreux participants au webinaire « White-Box Testing in safety-related Projects » avec Martin Heininger, ingénieur diplômé (FH), de HEICON Global Engineering GmbH, ont appris fin janvier les cinq points les plus importants pour réussir les « White-Box Testing » dans les projets liés à la sécurité :
- Comment sont déterminés les résultats attendus des tests fonctionnels ?
- Quelles méthodes de test sont utilisées pour créer des cas de test à portée normale ?
- Quelles méthodes de test sont utilisées pour créer des cas de test de robustesse ?
- Quel rôle joue la couverture structurelle du code source ?
- Comment réaliser avec succès et efficacité des revues de tests ?
Vous avez manqué le webinaire ? Jetez un coup d'œil à son enregistrement !

Verifysoft annonce un chiffre d'affaires record pour 2021

(Offenburg/Allemagne, 10 novembre 2021)

Fin octobre, Verifysoft avait déjà dépassé son précédent record de 2019. D'ici la fin de l'année, nous dépasserons largement les objectifs ambitieux fixés pour 2021.
La pierre angulaire de ce succès est tout d'abord l'analyseur de couverture de code Testwell CTC++ qui est maintenant utilisé avec succès dans plus de 40 pays sur tous les continents. De nombreuses grandes sociétés ont considérablement étendu l'utilisation de Testwell CTC++ au cours de cette année. Actuellement, plus de 700 clients améliorent leurs logiciels grâce aux outils de Verifysoft.
Verifysoft fonctionne de manière rentable depuis des années et finance sa croissance exclusivement à partir de son cash-flow.

Imagix 4D: Version 10.3 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 5 octobre 2021)

Imagix 4D version 10.3 est désormais disponible. L'objectif général de cette nouvelle version est d'améliorer les performances pour les grands ensembles de codes. L´amélioration de la rapidité concernent le chargement initial des projets (en particulier les ComboProjects ), la création et la restauration des architectures, l'exécution des rapports de vérification des flux et la génération de la documentation. Par exemple, un projet d'environ 1M d'instructions devrait voir une réduction de 30 à 50% du temps CPU pour les rapports de vérification de flux. Il y a également des réductions dans l'utilisation de la mémoire des très grands projets.
Autres changements par rapport à 10.2.0 :

La résolution des appels de Java vers C/C++ via la JNI a été étendue.
Les améliorations de l'interface graphique concernent l'affichage du code source dans les organigrammes et le défilement.

Verifysoft accueille G3TEK Embedded Technologies comme distributeur des outils Testwell en Turquie

(Offenburg/Allemagne, Ankara/Turquie, 27 août 2021)

Verifysoft a nommé G3TEK Embedded Technologies comme distributeur de Testwell CTC++ Code Coverage Analyzer en Turquie. G3TEK est basé à Ankara/Turquie et fournit des services locaux et des solutions de développement logiciel pour les applications embarquées/ temps réel. L'entreprise aide ses clients à réduire leurs dépenses et à respecter les délais. Elle propose des solutions dans les domaines de la défense, de l'aérospatiale, de l'énergie, des systèmes ferroviaires et de l'automobile. G3TEK fournit des outils de développement logiciel pour les applications embarquées/ temps réel, des RTOS certifiables DO-178 B/C, des bibliothèques middleware, des outils de modélisation UML et SysML, des outils d'analyse statique, des outils de développement d'interfaces graphiques et des émulateurs JTAG.
De plus amples informations sont disponibles sur le site web de G3TEK.
Testwell CTC++ est le principal analyseur de couverture de code pour les logiciels embarqués. L'outil est actuellement utilisé avec succès par plus de 700 clients dans 39 pays.

Nouvelle vidéo: Verifysoft en images- pour la qualité de vos logiciels

(Offenburg/Allemagne, 23 Avril 2021)

Verifysoft fournit les meilleures solutions de test de logiciels du marché, des séminaires et des conseils depuis 2003.
L'équipe Verifysoft toujours plus motivée est là pour augmenter la qualité et la productivité de vos projets de développement logiciel.
Beaucoup de choses se sont produites ces dernières années. Nous avons sélectionné les moments les plus représentatifs, dans notre nouvelle vidéo. Regardez la vidéo ici!

Verifysoft Technology et son partenaire Grammatech félicitent leur client de longue date, Jet Propulsion Laboratory, pour leur atterrissage réussi de Perseverance

(Ithaca / USA, Offenburg / Allemagne, 24 février 2021)

Dans le cadre du programme d'exploration de Mars par la NASA, l'atterrissage de l'astromobile (rover) "Perseverance " a été une autre étape passionnante, pour en découvrir encore davantage sur nos voisins martiens.
Jet Propulsion Laboratory (JPL) est un client de longue date de Grammatech et Verifysoft. JPL utilise régulièrement l'outil d'analyse statique CodeSonar et l'analyseur de couverture de code Testwell CTC++ sur leurs projets logiciels. En tant que tel, nous sommes très fiers d'avoir participer indirectement à leur succès et contribuer à atteindre les objectifs du projet.

Pradat-Peyre: Pratique des Tests Logiciels

L´expérience et l´expertise Verifysoft Technology au service de l´édition du livre sur les tests logiciels

(Paris, Offenburg, 10 février 2021)

La quatrième édition du livre référence français des tests logiciels de Dunod "Pratique des Tests Logiciels" vient de sortir.
Les auteurs sont le professeur Jean-François Pradat-Peyre (Directeur adjoint UFR SEGMI at Université Paris Nanterre ) et Jacques Printz. L'avant-propos du livre a été rédigé par le fondateur et PDG de Verifysoft Technology, Klaus Lambertz (lien). Sur 256 pages, le livre couvre tous les sujets pertinents relatifs aux tests de logiciels. Verifysoft a pu apporter son expertise dans le domaine des tests de systèmes embarqués avec un exemple pratique et illustrer sur les avantages de combiner l'analyse de code statique et l´analyse de code dynamique. Lire ce chapitre ici.

Verifysoft Technology a encore réalisé de très belles ventes et des bénéfices conséquents durant cette « année Corona 2020 ».

(Offenburg, 11 Janvier 2021)

Verifysoft Technology a clôturé « l'année de crise » 2020 avec le deuxième meilleur chiffre d'affaires de l'histoire de la société.
En 2020, les ventes d'outils de test et de séminaires étaient environ 13% inférieures à l'année record 2019, mais elles étaient toujours clairement dans le « vert ». Grâce à la très bonne qualité de nos outils et aux efforts dévoués de nos revendeurs et de l'équipe de Verifysoft, nous avons pu clôturer l'année écoulée sur une note positive malgré le Corona. Pour 2021, nous prévoyons à nouveau une augmentation significative des ventes et une expansion de notre base de clients, qui comprend actuellement plus de 600 entreprises dans 39 pays sur tous les continents.

Les développeurs de logiciels ont des problèmes.
Les nouvelles signées Jan-David Baltzer

(Offenburg, 9 juin 2020)

Nous avons enfin trouvé le temps de vous présenter les histoires de notre collègue Jan-David B., sur les problèmes des développeurs de logiciels, restées au fond de son tiroir depuis trop longtemps. D'une manière amusante, ces nouvelles en disent long sur les capacités de l´outil d'exploration et d'analyse de code source (inconnu), Imagix 4D.
Nous espérons que vous apprécierez leurs lectures..

worlds-best-software-solution-providers-2020

Verifysoft Technology a été élu "World's Best QA & Solution Providers 2020"

(Dublin/OH/USA, Offenburg/Allemagne, 12 mai 2020)

Verifysoft a été élu "World's Best QA & Solution Providers 2020" par CIO Look. CIOLook est une plateforme qui est en charge de publier le point de vue des entrepreneurs, des propriétaires de sociétés et des innovateurs sur leur manière de diriger leur entreprise dans le monde entier.
Plus d´informations: Verifysoft Technology GmbH: A Prominent Code Coverage Analyzer for Embedded Software (pdf) sur la page: CIO Look

Top 14 des avantages de Testwell CTC++: nouvelle vidéo disponible

(Offenburg/Allemagne, 6 mai 2020)

Testwell CTC++, Code Coverage Analyzer est l´outil leader pour mesurer la couverture de code sur hôte, sur toutes les cibles embarquées (même les plus petites) et tous les microcontrôleurs.
Notre vidéo montre le " Top 14 des avantages de Testwell CTC++":
- La prise en charge de tous les niveaux de couverture, de toutes les cibles intégrées, de tous les compilateurs. - La prise en charge de C, C++, Java et C#. - Le fonctionnement avec les constructions de langage "exotiques", l'intégration dans votre IDE, l'utilisation via la ligne de commande permettant les Automated Builds / Continuous Integration, l´absence de modification du code source d'origine, les rapports clairs et compréhensibles, la conformité aux normes de sécurité, le kit de qualification, un support technique efficient, un excellent feedback client ...
Plus d´informations

Verifysoft Technology - La vidéo de la société

(Offenburg/Allemagne, 14 Janvier 2020)

Notre vidéo de la société est maintenant en ligne en version anglaise:
Le logiciel est devenu une partie intégrante de nos vies aujourd'hui. Quelle est l'importance de la qualité du logiciel lorsque vous volez dans un avion ou lorsque vous conduisez votre voiture? Un logiciel défectueux peut avoir des conséquences fatales.
Verifysoft Technology fourni des outils de test et d'analyse incontournables, aux équipes de développement logiciel. En bref, nous vendons de la sécurité et de la sûreté.
Que propose Verifysoft à plus de 600 clients dans 40 pays?
Pourquoi la satisfaction des clients est-elle plus importante que le profit?
Pourquoi une bonne atmosphère de travail est importante pour nous?
La vidéo de la société Verifysoft vous donne les réponses.

Embraer, l'un des plus importants constructeurs d'avions commerciaux au monde, utilise Testwell CTC++, Code coverage Analyzer.

(São Paulo/Bresil, Offenburg, 28 novembre 2019)

Embraer, l'un des plus importants constructeurs d'avions commerciaux au monde, utilise Testwell CTC++ pour répondre à tous les objectifs du DAL A requis par la norme DO-178C. "L'installation de Testwell CTC++ est simple et l'utilisation de l'outil simple et facile à intégrer. Les résultats du rapport sont visuels et facilement compréhensibles. Le code couleur facilite l'identification des lacunes lorsque les tests doivent être améliorés."
Lire le témoignage client complet ici
Mateus Lucas Alves Ferreira, Product Development Engineer
João Carlos Davison, Software Specialist in R&D Projects
Embraer, Brésil

Comment Imagix 4D facilite la compréhension des programmes au niveau du code source

(Offenburg/Allemagne, 25 septembre 2019)

À mesure que la durée des projets logiciels croit, leur taille et leur complexité augmentent également. Cela rend de plus en plus difficile le suivi, que ce soit pour la maintenance, l'amélioration ou la vérification des exigences existantes ou modifiées. Cela est également renforcé par les fluctuations des intervenants et souvent l'intégration d'éléments de programme supplémentaires, qu'ils soient achetés, free ou issus de projets existants.
Cet article montre comment Imagix 4D prend en charge l'exploration et la compréhension de code source inconnu. Après une introduction au contexte du problème, les différentes méthodes d’Imagix 4D et leur contribution à la solution sont abordées ci-après.
Lire le texte complet ici (en anglais)

Verifysoft Technology étend son réseau de distributeurs en Chine.

(Beijing/Chine, Offenburg/Allemagne, 5 avril 2019)

Verifysoft Technology et QTronic China ont signé un accord de distribution pour le support et les ventes de Testwell CTC++, "Code Coverage Analyzer" en Chine. QTronic China, basée à Beijing et dirigée par M. Lionel Belmon, fait partie du groupe QTronic dont le siège est à Berlin (Allemagne). Testwell CTC++ est intégré à TestWeaver de QTronic, un outil de test automatisé pour le test et la validation des fonctions de contrôle. QTronic génère, exécute et évalue automatiquement des milliers de scénarios de test. La couverture de test résultante est indiquée par Testwell CTC++. C'est pourquoi l'équipe de support et de vente de QTronic possède déjà une connaissance approfondie de Testwell CTC++.
En raison de la demande croissante sur le marché chinois, QTronic China sera le deuxième distributeur avec Beijing Siener Electronics.
Plus d´informations sur les Distributeurs Verifysoft Technology.

Exonetik Inc. s´équipe de Testwell CTC++ pour aller encore plus loin dans l´interaction homme-machine.

(Sherbrooke (Québec)/ Canada, Offenburg/Allemagne, 5 avril 2019)

"Au cours des dernières années, l’équipe d’Exonetik a travaillé avec des leaders de l’industrie (du transport terrestre, de l´aérospatial, du médical, de la robotique, et des biens de consommation) pour résoudre des problèmes que personne n’avait réussi à solutionner avec les technologies d’actionnement conventionnelles … Leur technologie de rupture, utilisant des actionneurs à fluide magnéto-rhéologique permet à leurs partenaires de rapidement mettre sur le marché des produits fiables et innovants avec des fonctions et des performances sans précédent…"
"Testwell CTC++ est un outil permettant d’obtenir rapidement et facilement une analyse de la couverture de code avec des résultats intuitifs, simples et lisibles .... sans même utiliser l'équipe de support Verifysoft.
Cette réussite a suffi à convaincre l’équipe de la facilité d’utilisation de Testwell CTC++ et du faible impact que son adoption aurait sur les processus de développement."
A lire dans le témoignage client complet. (version originale en anglais)

Architectgroup devient SLEXN Inc.

(Seoul/ République de Corée, Offenburg/Allemagne, 4 avril 2019)

Notre distributeur pour la République de Corée a créé la société SLEXN Inc. spécialisée dans le domaine du test logiciel. SLEXN Inc. fournit des produits et services pour accompagner ses clients à développer des logiciels plus fiables, plus sûrs et plus sécurisés: SLEXN fournit des services professionnels d'ingénierie de solutions de tests.
Ayant débuté en tant que société de conseil basée sur une technologie logicielle, SLEXN Inc. est aujourd’hui, composé de techniciens dans tous les domaines. Partant des besoins du client ils lui construisent une infrastructure informatique axée sur la valeur et l’innovation. Ils s´efforcent de fournir les réalités des services informatiques en proposant des solutions logicielles professionnelles et durables, plutôt que de simples conseils en stratégie unique. Mettant ainsi en œuvre des stratégies et des technologies concrètes afin de générer une plus grande valeur dans le nouvel environnement des clients (écosystème) avec un aperçu précis de l'évolution technologique.

Sortie de la Version 7.0 de Testwell CMT++ et la Version 4.0 pour Testwell CMTJava, outils de Mesure de complexité.

(Offenburg/Allemagne, 25 Mars 2019)

Les nouvelles versions de l´outil de mesure de complexité de code Testwell CMT++ et Testwell CMTJava disponibles: En effet Verifysoft Technology publie la Version 7.0 de Testwell CMT++ et la Version 4.0 pour Testwell CMTJava. En tant que nouvelle fonctionnalité, les rapports peuvent maintenant être générés au format JSON. Après l’installation, vous trouverez la liste détaillée des modifications dans le fichier version.txt.
Pour en savoir plus : Testwell CMT++ 7.0 und Testwell CMTJava 4.0
D’ores et déjà vous pouvez demander votre licence d'évaluation pour Testwell CMT++ et testwell CMTJava .

Verifysoft Technology est maintenant actif dans 36 pays

(Offenburg/Allemagne, 20 Septembre 2018)

Les outils de test et d'analyse de logiciels de Verifysoft Technology sont maintenant utilisés dans 36 pays sur tous les continents. L’Institut supérieur de recherche de Porto (ISEP), une université polytechnique et son institut de recherche portugais, a rejoint la liste des plus de 500 clients de Verifysoft. Le grand intérêt que suscitent les solutions de Verifysoft Technology confirme leur niveau de performance.Les outils de Verifysoft sont utilisés dans tous les domaines du développement de logiciels et naturellement les logiciels critiques pour la sécurité et la sûreté.
"Nos principaux marchés sont en Europe, en Asie de l’Est et en Amérique du Nord. Nous sommes particulièrement fiers de nos références dans des pays comme l'Indonésie, le Sri Lanka, le Vietnam et l'Afrique du Sud", explique Polina Handzhiyska ( Responsable des ventes internationales). "Les prochains pays sont déjà dans les starting-blocks. Nous sommes convaincus que nous serons bientôt actifs sur plus de 40 marchés."

Le magazine "Insights Success" annonce: Verifysoft Technology est l'un des 10 fournisseurs de solutions de test de logiciels les plus performants

(Dublin/Ohio, USA, Offenburg/Allemagne, 26 Juin 2018)

Le magazine "Insights Success" se concentre principalement sur les sociétés émergentes ainsi que sur les sociétés leaders, en croissance rapide, sur leur méthodes pour faire des affaires et surtout leur manière de proposer des solutions efficaces et collaboratives pour accroître leur part de marché. Verifysoft Technology a été sélectionné par "Insight Success" comme l'un des 10 premiers éditeurs de logiciels. Depuis sa création en 2003, Verifysoft est présent dans plus de 40 pays et a enregistré une croissance de plus de 40% l'an dernier. La société considère les tests logiciels comme incontournables et anticipe une nouvelle croissance du marché. Verifysoft Technology s'est imposé comme l'un des principaux fournisseurs d'outils de test de logiciels efficaces et fiables. Son propre outil, Testwell CTC ++, reste fiable en toutes circonstances, et dans tous les challenges.
La direction de Verifysoft Technology est convaincu qu'ils ont un très bon produit et accorde la plus haute priorité à la satisfaction de leur client.
Lire l´article dans sa totalité ici.

Aviation Electronics Munich Presenation by Klaus Lambertz

Aviation Electronics Munich (Allemagne): Les trois présentations de Verifysoft Technology à propos de la qualité dans le Software pour la sécurité et la sûreté.

(Munich/Allemagne, 20 Juin 2018)

Verifysoft Technology fournit des outils de test logiciel "haute technologie" pour l'analyse de code statique et la couverture de code.
Testwell CTC++ Code Coverage Analyzer, et Imagix 4D sont largement utilisés pour le développement de logiciels critiques pour la sécurité et la sûreté. Comme les outils sont conformes à la norme de qualité aérospatiale DO-178C, les technologies de test de Verifysoft ont suscité un vif intérêt lors de « Aviation Electronic Europe / AST Testing in Aerospace » à Munich (Allemagne).
Trois conférences ont été présentées durant le salon Si vous avez manqué nos présentations, vous pouvez regarder nos vidéos sur notre chaine YouTube:
Code Coverage for Safety Critical Applications (par Klaus Lambertz),
Imagix 4D: The Swiss Army Knife for Software (par Jan-David Baltzer),
From Compliance to Benefit: Combining Static and Dynamic Analysis (par Dr. Sabine Poehler et Royd Lüdtke).

Verifysoft Technology au "Testing Stage 2018" de Kiev (Ukraine)

(Offenburg/Allemagne, Kiev/Ukraine, 19 avril 2018)

Verifysoft Technology a participé au "Testing Stage 2018" à Kiev (Ukraine). Les deux jours de conférence des 13 et 14 avril ont compté plus de 1000 participants et plus de 50 conférenciers.
Dédié au Software, "Testing Stage 2018" a réservé une zone spéciale pour l´ "Embedded Track".
Notre IT-Trainer Sebastian Goetzinger a animé un atelier d'une journée avec au programme : "Efficient Unit-Tests for Embedded Systems", "Code Coverage on small safety-critical embedded targets" (voir la vidéo ici) et un Master-Class sur le "Code Coverage on μ-Controller".
Au cours du Testing Stage, Verifysoft a présenté ses solutions de tests logiciels: Testwell CTC++ Code Coverage Analyzer et Imagix 4D, un outil qui aide les gestionnaires de projets et les développeurs à comprendre, documenter et améliorer le code complexe, tiers ou existant.

Volvo Car Corporation: Testwell CTC ++ pour l´intégration continue et les tests des contrôles moteur

(Gothenburg/Suède, Berlin, Offenburg/Allemagne, 27 Mars 2018)

Le constructeur automobile suédois Volvo Cars utilise Testwell CTC++, "Code Coverage Analyzer" avec Silver et TestWeaver de la société allemande QTronic GmbH pour l'intégration continue et les tests du logiciel de contrôle du moteur.

Verifysoft: La satisfaction de nos clients est plus importante que l'atteinte rapide de notre résultat trimestriel

(Offenbourg/Allemagne, 22 août 2017)

Klaus Lambertz, fondateur et PDG de l'entreprise Verifysoft Technology, parle de l'implication de sa société dans l'amélioration de la sûreté et la sécurité des logiciels, ainsi que du développement et de la stratégie de son entreprise. Une ligne de code incorrecte dans un logiciel peut coûter des vies humaines et Verifysoft aide à les sauver. Les bugs dans les logiciels peuvent affecter la réputation et la compétitivité des entreprises sur leur marché et voir même, dans certains cas extrêmes, entraîner leur dépôt de bilan. Verifysoft connait actuellement une croissance exponentielle et nous prévoyons au minimum 100 nouveaux clients pour l'an prochain. Nous avons également testé des logiciels sur Mars, pas seulement sur Terre! Voir l'entretien complet ici.
Interview complète.

Verifysoft Technology élargit ses activités en Corée du Sud et Realtimewave devient distributeur

(Offenbourg/Allemagne, Seongnam/Corée du sud, 19 Juin 2017)

Verifysoft Technology a signé un contrat avec Realtimewave , ce dernier devient le deuxième distributeur pour la Corée du Sud. Realtimewave est basé dans la ville de Seongnam, au sud-est de Séoul. La société est spécialisée sur les marchés de l'aérospatiale et de la défense.
Plus d'informations sur nos distributeurs

Nouvelle vidéo: Testwell CTC++ en 8 minutes!

(Offenbourg, 18 janvier 2017)

Quelle importance a un code logiciel correct? De toute évidence, le succès de votre entreprise en dépend! Ce film sur Testwell CTC++ vous montre comment créer de la confiance envers la qualité de votre propre code.
Apprenez comment faire tous les tests nécessaires pour votre projet, mais pas plus que ce dont vous avez besoin.
Cette vidéo explique comment obtenir des rapports de tests complets sans modifier votre code source. Vous comprendrez ensuite pourquoi Testwell CTC++ est l'outil de couverture de code le plus performant.
Découvrez tous les avantages de cet outil en 8 minutes sur notre vidéo!

Lely Testwell CTC++ Customer Testimonial

"Garantir un comportement logiciel approprié est un vrai défi": Nouveau témoignage client à propos de Testwell CTC++ (Lely, Pays-Bas)

(Offenbourg / Allemagne, Maassluis / Pays-Bas, 27 octobre 2016)

«Notre réputation repose sur des logiciels qui fonctionnent correctement», explique Kees Valkhof, responsable configuration de Lely, qui nous a donné un aperçu des exigences en matière de tests logiciels pour les solutions agricoles. Il explique pourquoi Lely utilise Testwell CTC++ pour mesurer la couverture de code.
Dans le témoignage et la vidéo ci-dessous, M. Valkhof parle des avantages de Testwell CTC++: «Chez Lely, nous voulons pouvoir mesurer la couverture de nos tests unitaires ainsi que des tests effectués sur cible. Nous avons des cartes embarquées spécialisées qui nécessitent un compilateur croisé intégré. Comme nous utilisons plusieurs compilateurs, nous avons besoin d´un outillage générique, qui n´est pas lié à un ensemble d´outils spécifiques ou IDE. C´est la raison pour laquelle nous avons choisi Testwell CTC++. Cet outil répond à toutes ces exigences."
>Lire le témoignage complet
>Voir la vidéo

Verifysoft annonce l´interface de Testwell CTC++ avec MATLAB Simulink

(Offenburg/Allemagne, 12 Avril 2016)

Verifysoft annonce l´interface de Testwell CTC++ analyseur de couverture de code avec MATLAB Simulink.
Cette interface, qui est actuellement en cours de développement, sera validée par des clients sélectionnés en fonction de leurs besoins. Testwell CTC++ est l´outil le plus performant pour mesurer la couverture de code sur calculateur hôte et sur toutes les cibles embarquées (même très compactes). L´outil analyse tous les niveaux de couverture jusqu´à la couverture MC/DC et Multi Condition. Il peut être utilisé pour les analyses de logiciels écrits en C, C++, Java et C#. L´analyseur de couverture peut être utilisé avec les outils de tests unitaires.
Testwell CTC++ est intégré dans de nombreuses chaînes outillées, dans des environnements de test, et avec des outils de qualité logiciel tels que dSPACE SystemDesk, dSPACE TargetLink, Imagix 4D, SonarQube, CATIA Systems AUTOSAR Builder (DASSAULT SYSTEMES), PikeTec Time Partition Testing (TPT), QTronic TestWeaver, et beaucoup d´autres.
Testwell CTC ++ est également intégré dans de nombreux EDIs.
Ajouter un nouveau EDI ou une chaîne outillée à la liste d´intégration / d´interface de Testwell CTC++ est très facile. La principale condition est que l´EDI puisse être personnalisable (menus, processus...).
Simulink de The MathWorks est un outil standard de l´industrie qui possède des paramètres ajustables. Grâce à la technologie simple mais efficace basée sur un script de Testwell CTC++, il n´y a pas de fonctionnalités spécifiques ou ´patchs´ nécessaires pour l´interface. La plupart du temps, l´adaptation de Testwell CTC++ à d´autres outils nécessite seulement d´avoir des paramètres documentés.
Notre vidéo Testwell CTC++ (Verifysoft) et MATLAB / Simulink fournit une démonstration de preuve de concept complète sur la façon de recueillir la couverture des données avec Testwell CTC++ dans MATLAB Simulink, outil de The Mathworks.

Beijing Siener Electronics Tech. Development Ltd. devient distributeur des outils Testwell en Chine

(Offenburg / Allemagne, Pékin / Chine, le 28 Janvier 2016)

Verifysoft, propriétaire de l´outil de couverture de test Testwell CTC++ et de logiciels de test et d´analyses Testwell CTA ++, CMT ++ et CMTJava a annoncé aujourd´hui la nomination de Beijing Siener Electronics Tech. Development Ltd. en tant que distributeur en Chine.
Beijing Siener, société privée dont le siège est à Pékin / Chine avec des bureaux à Shanghai / Chine, représente déjà des sociétés telles que HighTec EDV-Systeme GmbH, pls Development Tools, et GLIWA GmbH sur le marché chinois en pleine croissance.
"Nous sommes ravis d´être revendeur pour Verifysoft parce que leur analyseur de couverture de code Testwell CTC ++ est inégalé dans l´industrie", a déclaré Peter Liu, directeur général de Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC ++ analyseur de couverture fonctionne avec toutes les cibles embarquées et soutient tous les compilateurs. L´outil facilite l´analyse pour les équipes de développement qui doivent répondre à des exigences en couverture de code et aux normes industrielles telle que l´ISO26262."
"La Chine est un marché important pour nous", a déclaré Klaus Lambertz, PDG de Verifysoft Technology. "Nous sommes heureux d´avoir un partenaire comme Beijing Siener pour soutenir d´avantage les utilisateurs de Testwell CTC ++ dans cette région et étendre d´autant plus notre clientèle en Chine."
Verifysoft Technology va présenter son outil phare Testwell CTC ++ lors du "Multicore Embedded Toolchains Workshop for Multicore ECU Development" à Shanghai les 8 et 9 mars 2016. > Plus d´informations

Verifysoft Technology, premier distributeur européen pour Imagix 4D, outil de vérification du code source et d´analyse de l´architecture

(Offenburg/Allemagne, San Luis Obispo/USA, 2 Janvier 2016)

Imagix Corporaton a choisi Verifysoft comme distributeur en Europe pour son outil de vérification du code source et d´analyse de l´architecture Imagix 4D. Verifysoft, représentant exclusif de l´outil Imagix 4D, met ses experts à la disposition des clients pour assurer le support technique en Allemagne, Autriche, Suisse, Liechtenstein, France, Pays-Bas, Belgique, Luxemburg, Pologne, République Tchèque, Slovaquie, Hongrie, Slovénie, Espagne et Portugal.
Logiciel incontournable pour la rétro-engénierie, la qualité d´analyse et la documentation des logiciels écrits en C, C++ et Java, Imagix 4D est d´ores et déjà utilisé par de nombreuses sociétés mondiales telles que General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, Siemens, ainsi que par les organismes gouvernementaux comme la "Federal Aviation Administration" (FAA) et la NASA. > plus d´informations sur Imagix 4D

Intégration de Testwell CTC++ avec Imagix 4D disponible

(Offenburg/Allemagne, San Luis Obispo/USA, 27 Novembre 2014)

Imagix et Verifysoft annoncent l´intégration de Testwell CTC++ avec Imagix 4D. Utilisé avec l´outil de couverture de test Testwell CTC++, Imagix 4D permet d´évaluer si les cas de tests produisent des résultats suffisants. Plusieurs plans de visualisation du flux du programme sont disponibles dans Imagix 4D. L´un d´entre eux est le diagramme de plan logique qui se focalise sur la logique du programme de la fonction. Des couleurs différentes illustrent la couverture de test de chaque partie de votre logiciel.

A.I. Corporation (AIC) Tokyo va distribuer les outils Testwell au Japon

(Tokyo/Japon, Offenbourg/Germany, 26 août 2014)

I.A. Corporation et Verifysoft Technology ont signé un accord pour la distribution des outils de Testwell au Japon.
"Nous concluons un accord de distribution pour les outils de Testwell, car ces outils sont très efficaces et faciles à utiliser. Testwell CTC++ supporte tous les compilateurs et les cibles embarquées", a déclaré Hiroshi Ueda, directeur produit division de test embarqué chez AIC. "Je ne m´attendais pas à une couverture de code sur cible aussi facile que cela."
"Lors de ma visite à Tokyo, j´ai été très impressionné par le professionnalisme de l´équipe AIC", a déclaré Klaus Lambertz, PDG de Verifysoft. "AIC est le partenaire idéal pour promouvoir les outils de Testwell au Japon. Je suis sûr que Testwell CTC++ sera couronné de succès sur le marché Japonais. Pour l´industrie automobile, nous nous attendons à un succès similaire à celui en Allemagne, où tous les constructeurs automobiles, beaucoup de leur fournisseurs et de nombreuses entreprises de soins de santé et de transport utilisent avec succès Testwell CTC++ ".
site AIC
communiqué en japonais
distributeurs

Verifysoft cap sur la croissance: Expansion des locaux commerciaux

(Offenbourg, le 7 juillet 2014)

Verifysoft a terminé cette année 2013 avec un chiffre d´affaires record et un bénéfice conséquent.
Notre technologie est actuellement utilisée avec succès dans près de 400 sociétés dans plus de 30 pays à travers le monde. Parmi nos clients, nous avons tous les fabricants allemands d´automobiles, de nombreux fournisseurs, les principales entreprises européennes dans l´aéronautique et l´aérospatiale, ainsi que des sociétés leaders dans le domaine médical.
Suite à l´acquisition des technologies de tests de logiciels du fabriquant d´outils de tests finlandais Testwell en été dernier, Verifysoft a mis en place un réseau de distribution mondial avec des agences aux Etats-Unis, en Inde, Corée, Royaume-Uni, Italie, Roumanie, Finlande et Israël. Un accord avec une agence japonaise est en voie d´achèvement.
Après un premier semestre très réussi, nous nous attendons toujours à une nouvelle augmentation significative des ventes pour cette année. La raison est avant tout la très bonne qualité de nos outils de test.
En termes de personnel, l´entreprise Verifysoft a continué de croître. L´agrandissement des locaux dans le parc technologique d´Offenbourg était donc nécessaire.

Lexington Soft LLC va distribuer les outils Testwell aux états-Unis et au Canada

(Lexington/USA, Offenbourg/Allemagne, 12 mai 2014)

Testwell CTC++, l´outil de premier ordre d´analyse de couverture de tests sur cibles célèbres 25 ans de succès d´utilisation dans la communauté du test logiciel.
Lexington Soft LLC et Verifysoft Technology viennent de conclure un accord de distribution pour les outils Testwell aux États-Unis et au Canada.
Lexington Soft est un fournisseur de solutions d´entreprise logicielles intégrées pour le développement, le test et la qualité de logiciels. Depuis janvier 2012, Lexington Soft distribue déjà les outils Testwell en Inde avec succès. Dorénavant la société prendra également soin des clients Verifysoft aux États-Unis et au Canada. Ces territoires seront pris en charge par l´équipe commerciale de Lexington Soft depuis le bureau situé à Lexington, aux États-Unis.
> Plus d'informations

Verifysoft and Pertech sign agreement for distribution of Testwell tools in Israel

(Raanana / Israel, Offenburg / Germany, 8 August 2013)

Pertech Embedded Solutions and Verifysoft Technology have signed an agreement about the distributionship for Testwell tools in Israel. Pertech provides innovative embedded software, professional services and training programs to speed up time to market and reduce resource requirements for real time development projects. The company is based in Raanana close to Tel Aviv. Pertech serves a wide range of markets, including communications, aerospace, defense, medical, Internet, multimedia and automotive.
Distributors

Lexington Soft is Distributor for Testwell Tools in India

(Chennai / India, Offenburg / Germany, 1 August 2013)

Lexington Soft Private Limited and Verifysoft Technology have signed an agreement about the distributionship for Testwell tools in India. Lexington Soft is a provider of end to end enterprise software solutions for Software Development, Testing and Quality.The company is headquartered in Chennai and has further offices in Bangalore and Lexington (USA).
Distributors

ArchitectGroup devient distributeur pour les outils "Testwell" en Corée

(Seoul/Corée, Offenbourg/Allemagne, 3 juillet 2013)

L´ArchitectGroup basé à Séoul est devenu début Juillet 2013, distributeur pour les outils "Testwell" en Corée du Sud. La société est parmi les premiers fournisseurs d´outils de tests et de services autour de la qualité des logiciels. Parmi ses clients l´ArchitectGroup compte des sociétés telles que Samsung, Daewoo et LG... etc.
ArchitectGroup a déjà conquis son premier client pour Testwell CTC++: en effet, un important fabricant coréen de la technologie médicale va utiliser l´outil de couverture de test afin d´assurer la qualité de ses logiciels.
Distributeurs

Verifysoft acquiert les droits pour les outils Testwell CTC++, CMT++/CMTJava et CTA++ de la société Testwell Oy en Finlande

(Offenbourg/Allemagne, Tampere/Finlande, 1 juillet 2013)

Siège de Testwell à Tampere (Finland)
Verifysoft Technology (Offenbourg/Allemagne) a acquisles droits de propriété pour les outils d´analyse et de test delogiciels de Testwell (Finlande). L´aquisition comprend TestwellCTC++, CMT++/CMTJava und CTA++ ainsi que des outils pour le langagede programmation ADA.
Depuis 2003, Verifysoft Technology GmbH a distribué avec succès lesoutils de Testwell en France, dans les pays germanophones et le Benelux.
Ainsi, après l´acquisition par Verifysoft, les outils seront toujours disponibles sous le nom de "Testwell". Verifysoft prévoit d´augmenter les ventes par le biais d´un réseau mondial de distributeurs. Les principaux marchés européens seront traitées directement par Verifysoft.Testwell restera une société indépendante à Tampere (Finlande) avec comme mission de poursuivre le développement des outils pour le compte de Verifysoft Technology. Testwell sera également l´un des distributeurs de Verifysoft, au service des clients importants en Finlande.
> en savoir plus

GrammaTech Inc. s´associe avec Verifysoft Technology pour la revente de l´outil CodeSonar en Allemagne, en Autriche et en Suisse

(Ithaka, New York/USA, Offenburg/Germany, le 1 février 2013)

Verifysoft Technology est heureux d´annoncer un accord de distribution pour GrammaTech en Allemagne, en Autriche et en Suisse.
GrammaTech est un fournisseur d´outils de test de logiciels basé à Ithaca, New York. La société a été fondée en 1988 comme une spin-off de l´Université Cornell.
Le produit phare de GrammaTech, CodeSonar®, est le plus puissant système d´analyse de code source disponible aujourd´hui. D´une précision extraordinaire, l´outil de GrammaTech trouve, en moyenne, 2 fois plus de défauts graves dans les logiciels que les autres solutions d´analyse statique. Il a été conçu pour les organisations ayant une tolérance zéro pour les défauts de leur code, CodeSonar fournit une analyse statique pour les logiciels où la fiabilité et la sécurité sont primordiales. Depuis 2006 Verifysoft Technology a introduit avec succès les outils d´analyse statique d´un éditeur de San Francisco (Californie) dans les marchés germanophone. Notre ancien partenaire est désormais présent en Europe avec une équipe qui s´occupe de la vente.
Verifysoft Technology a donc décidé, pour des raisons stratégiques de ne pas prolonger le contrat de distribution avec la société californienne. Notre ancien partenaire se concentre sur des très gros projets, mais la plupart des clients Verifysoft développent des projets embarqués. GrammaTech peut être utilisé pour des projets de toute taille.

Testwell CTC++ montre la couverture de test pour PikeTec Time Partition Testing (TPT)

(Berlin, Offenburg/Allemagne, le 11 Septembre 2012)

Testwell CTC++ montre désormais la couverture de Time Partition Testing (TPT). TPT est un outil de test basée sur un modèle pour tester les systèmes embarqués, en particulier les tests des systèmes de contrôle. L´outil prend en charge tous les domaines importants du processus de test, qui sont la gestion de tests, la modélisation de test, l´exécution des tests, l´évaluation des tests et la documentation de test. TPT est utilisé pour mettre en place des scénarios de test en fonction des besoins. Si Testwell CTC++ révèle que la couverture de test est insuffisante, d´autres tests peuvent être mis en place avec TPT.

Verifysoft Technology lance son programme académique

(3 Fevrier 2009)

Dans une optique de sensibilisation des étudiants à la nécessité de l´utilisation d´outils de test pour logiciel, Verifysoft Technology propose son programme Académique.

Dans le cadre de ce programme nous proposons l´équipement de vos laboratoires ou encore salles de classes en France, Belgique, Suisse, Luxembourg par nos outils Testwell CTC++, Testwell CMT++/CMTJava.
Ces licences possèdent les même fonctionnalités que celles proposées aux professionnels.
Ce programme académique permet l´utilisation des outils dans un but de recherche pédagogique non commerciale.
Plus d´informations

Newsletter