Croissance interne chez Verifysoft Technology :
Bienvenue à Annika, Jessica, et Steve …

(Offenburg/Allemagne, 19 octobre 2021)

Dans le cadre de l'expansion de la société et du renforcement de ses équipes, Verifysoft Technology a recruté ces dernières semaines, trois nouveaux collaborateurs.
Titulaire d'une licence de l'université de Pforzheim avec une spécialisation en « développement de logiciels pour les systèmes embarqués », Steve Tima va mettre toute son expérience des projets logiciels (Akka, Fraunhofer et Valeo) au service du développement de notre Test Coverage Analyser, Testwell CTC++.
Après sa longue expérience professionnelle en tant que juriste et dans le domaine de la fiscalité, notamment chez Ernst & Young, Jessica Schönherr, en quelques semaines commence à devenir indispensable à toute l´équipe et, aux clients en particulier pour l'administration des ventes et du marketing.
En tant qu´assistante pour les ventes et le marketing, Annika Reuther débute sa toute première expérience dans le monde du travail dans une moyenne entreprise. En tout premier Annika a appris les différentes choses à savoir sur Verifysoft comme ses technologies, essentielles dans une société qui est éditeur et distributeurs de logiciels utiles pour améliorer au quotidien la qualité logicielle sur toute la planète (dans les avions, les voitures, les ascenseurs, les appareils médicaux …). Déjà très intégrée elle travaille activement sur la prospection internationale ou encore découvre le marketing avec son site web (Html 5), ses réseaux sociaux…
Notons qu´il fait bon vivre chez Verifysoft car deux étudiantes, rempilent pour une année en parallèle de leurs études.

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.

Plus d'informations sur Release notes

Adventure Team Event 2021

(Offenburg/Allemagne, 23 septembre 2021)

Pour l'événement de team building de cette année, Verifysoft Technology a parcouru les forêts et les vignes …... En marchant sur le superbe chemin de randonnée "Durbacher Weitblick" , à travers les paysages divers et variés de Durbach , vers les plus beaux panoramas de l'Ortenau. Le parcours y est aussi varié que le paysage lui-même : parfois doux et calme, parfois un peu plus accidenté et plus exigeant.
Tous ensemble, nous avons fait de ce moment une balade enrichissante et divertissante... Tous unis vers un même but comme chaque jour chez Verifysoft.
Vous trouverez ici des informations pour rejoindre notre équipe.

Verifysoft a maintenant son propre blog !

(Offenburg/Allemagne, 23 septembre 2021)

Nous aimerions partager notre expertise avec vous. Nous vous invitons donc à garder un œil sur les derniers articles de notre blog consacré aux tests logiciels. Nous vous informons ici des derniers développements et technologies dans le monde des tests logiciels et partageons notre expertise professionnelle - il y a quelque chose pour les débutants comme pour les utilisateurs avancés!
Découvrez notre blog!

Imagix 4D: La solution aux problèmes

(Offenburg/Allemagne, 23 septembre 2021)

En moyenne, plus de 50% du temps de développement d'un logiciel est consacré à la maintenance. Il y a souvent des problèmes pour comprendre les logiciels, modifier les logiciels, les documenter ... Y a-t-il une solution ? Oui! Imagix 4D permet la visualisation les logiciels et accélère la compréhension. Les métriques et les vérifications du logiciel améliorent la qualité - Le moteur de documentation automatise la génération de documents. Apprenez-en plus sur Imagix 4D dans notre vidéo!

Le magazine Embedded publie : 10 Criteria for selecting a Code Coverage Tool

Dans l'article (voir ci-dessous) , qui a été récemment publié sur le portail www.embedded.com , « 10 Criteria for selecting a Code Coverage Tool » y sont décrits. Il s'agit entre autres de : L'indépendance vis-à-vis du compilateur, la facilité d'utilisation, la compréhensibilité des rapports de couverture, le support de niveaux de couverture plus élevés pour le développement critique en matière de sécurité, l'intégration flexible, la faible surcharge d'instrumentation et le support de différents langages de programmation. En particulier dans le développement de logiciels critiques pour la sécurité, les normes industrielles prescrivent des exigences précises en matière de couverture de code, de sorte que les produits ne peuvent être certifiés sans la preuve d'une couverture de test suffisante. Mais également dans d'autres projets de développement, les entreprises attachent de plus en plus d'importance à la qualité des logiciels et mesurent la couverture du code…
Lire l´article (en anglais) dans son intégralité. .

Nouveau témoignage utilisateur: L´Institut de mathématiques et de statistiques de l'université de São Paulo, Brésil

(São Paulo/ Brésil, septembre 2021)

"L'introduction de l'outil de couverture Testwell CTC++ dans nos projets de recherche a permis d'améliorer considérablement notre capacité à prendre en compte des critères de couverture complexes dans les tests logiciels (en particulier les critères de convergence MC/DC).
Testwell CTC++ a également permis à nos chercheurs de réaliser des expériences très proches du processus de test réalisé dans l'industrie du logiciel. En outre, Testwell CTC++ s'est avéré très facile à installer et à utiliser par les développeurs de logiciels. Compte tenu de notre bonne expérience de l'utilisation de Testwell CTC++, nous avons l'intention de l'adopter dans nos cours pour aider à tester les logiciels critiques pour la sécurité."
Alexandre Locci Martins et Ana C.V. de Melo de l´Institut de mathématiques et de statistiques de l'université de São Paulo.
Lire le témoignage complet ici

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++ Test Coverage Analyser 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.

Sortie de la nouvelle version 9.1.2 de notre Code Coverage Analyzer, Testwell CTC++.

(Offenburg/Allemagne, 5 août 2021)

Verifysoft Technology GmbH a publié une nouvelle version de l'outil de couverture de code Testwell CTC++.
La version 9.1.2 est maintenant disponible au téléchargement pour tous les clients.Si vous êtes client et que vous ne disposez pas des informations d'identification pour notre plateforme de téléchargement, veuillez nous contacter.
Pour en savoir plus

Suivez notre série de vidéos " 1 minute at Verifysoft " avec les membres de l'équipe de Verifysoft :

(Offenburg, 22 juin 2021)

Dans notre série de vidéos " 1 minute at Verifysoft ", quelques membres de notre équipe présentent leur " quotidien " chez Verifysoft Technology : À quoi ressemble leur travail, quels sont les défis, pourquoi s'impliquent-ils avec Verifysoft et que se passe-t-il pendant leur temps libre ?
En savoir plus sur notre chaîne YouTube

Nouvelle vidéo: Require Progress. Verifysoft Technology.

(Offenburg/Allemagne, 2 juin 2021)

Inevitable Changes Require Progress.
To Thrive We Must Verify.
Verifysoft Technology - Leading Software Testing Tools - since 2003 - worldwide.
Regardez la vidéo ici!

Webinaire Testwell: Code Coverage Analyser, Testwell CTC++

Webinaire gratuit Testwell: le mardi, 28 septembre 2021, 10h00 (heure de Paris)(en anglais)
Les sujets abordés sont les suivants :
• Mesurer la couverture de code avec Testwell CTC++
• Avantages et points forts de l'outil
• Scénarios de déploiement de nos clients
• Introduction de l'outil : comment commencer ?
Enregistrez-vous, dès maintenant!

Webinaire: Imagix 4D and Refactoring is just a Bowl of Cherries

Verifysoft vous invite pour le webinaire « Imagix 4D and Refactoring is just a Bowl of Cherries” le jeudi, 7 octobre 2021, 15h00 (heure de Paris), en anglais
L'accent sera mis sur les aspects suivants :
• L´amélioration ou la modification d’une application
• La réduction du nombre de cas de test et donc de l’effort de test, en diminuant la complexité
• Une architecture clairement organisée, associée à des composants faiblement couplés, simplifie l'extensibilité et améliore la sécurité
• La conformité aux normes de codage améliore la lisibilité du code et peut avoir un impact positif sur la robustesse d'une application
Enregistrez-vous, dès maintenant!

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!

Imagix 4D: Version 10.2 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 8 avril 2020)

Imagix 4D 10.2 est actuellement disponible. L'objectif général de la nouvelle version est la prise en charge améliorée des grands ensembles de code source.
Cette nouvelle version propose les améliorations suivantes:

• Additional options in generating architectures from source code
• Improved performance working with large projects, including in Architecture Diagrams
• More automation of loading code into Imagix 4D, using Soong, Gradle and JSON build systems
• Extensible interface to load code from any build logs

Plus d´informations sur Release notes et une description de la création de projets basés sur des artefacts de build Android .

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.

L´expérience et l´expertise de 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. La préface 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 ainsi illustrer 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.