Entretien avec Verifysoft Technology

Verifysoft soutient les sociétés de développement de logiciels avec des outils qui garantissent une haute qualité dans le développement de logiciels. Leurs outils de test et d'analyse découvrent les erreurs dans les programmes informatiques et fournissent une vue d'ensemble pour savoir si le logiciel a été suffisamment testé.
Depuis sa fondation en 2003, Verifysoft peut se prévaloir d'une croissance régulière. Les outils sont utilisés par plus de 700 entreprises sur tous les continents pour améliorer la qualité de leurs logiciels.
Lisez ici l'interview complète de Klaus Lambertz, directeur de Verifysoft : Easy Engineering mars 2023

Le magazine Embedded publie : Measuring code coverage for embedded software

Depuis longtemps déjà, les logiciels embarqués sont utilisés pour des applications critiques où la sécurité est très importante. Comme les utilisateurs des dispositifs embarqués sont souvent des clients qui sont connectés avec d'autres dispositifs IoT (Internet des objets), les aspects de sécurité doivent également être pris en compte. Cela signifie que la qualité des dispositifs embarqués est extrêmement importante - tant du point de vue de la sécurité que de celui de la sûreté fonctionnelle.
Pour des dispositifs embarqués sûrs et fiables, les tests sont un élément indispensable de l'assurance qualité. Ce n'est pas sans raison que les normes relatives au développement de logiciels critiques pour la sécurité fixent des exigences précises en matière de méthodes et de couverture de test.
Lire l´article (en anglais) dans son intégralité. .

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

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é. .

Couverture de code sur les dispositifs embarqués

(Maidstone/Royaume-Uni, Offenburg/Allemagne, 20 juin 2019)

Les logiciels destinés aux dispositifs embarqués nécessitent de nombreux tests avant que les produits concernés n'arrivent à maturité sur le marché. En particulier lorsqu'il s'agit d'environnements critiques en matière de sécurité, la preuve des tests est exigée par diverses certifications et normes de sécurité telles que la norme IEC 61508.
Cependant, dans la plupart des cas, la couverture du code se heurte aux contraintes de la capacité de stockage limitée des cibles et des performances des CPU. Ainsi, il est vital de choisir la bonne approche afin de faciliter le suivi de l'analyse de la couverture du code sur les systèmes embarqués.
Lire l´article dans sa totalité ici.

Le magazine "Electroniques" publie: Les cibles les plus petites ont elles aussi droit à leur couverture de test

(Paris/France, Offenburg/Allemagne, novembre 2018)

Le magazine "Electroniques" publie dans son numéro 98 de novembre: Même sur les systèmes embarqués, les logiciels doivent être testés suffisamment avant que le produit puisse être lancé sur le marché. Cependant, une telle surveillance dans les progrès des tests, exigée par de nombreuses normes de sécurité, n’est pas tout à fait anodin à ce stade. Souvent, le volume des ressources de cibles embarquées est limité, la mémoire et le processeur peuvent facilement atteindre leurs limites. Mais avec un peu de créativité, il est cependant possible de mesurer et prouver la couverture de test dans le domaine des systèmes embarqués.
Lire l´article dans sa totalité ici.

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.

Testwell CTC++ Code Coverage Analyser: Témoignage d'un client de l'industrie médicale

... ISD a choisi l'outil de couverture de test Testwell CTC++, de Verifysoft, pour les aider dans leur validation. Leur produit étant un système embarqué dans sa forme la plus simple, donc sans système de fichiers, des compteurs sont nécessaires pour stocker les informations et les télécharger ensuite de la cible vers la source. Un des plus gros challenges est la taille limitée de la mémoire chez les systèmes d'ISD. Testwell CTC++ requiert très peu de ressources pour être instrumenté et son add-on Host Target rend l'intégration dans n’importe quel système très simple ... Il n'y a aucune restriction quant au compilateur, à l'IDE, ou aux outils de debug. ... Embedded-Computing.com, 12 mai 2017

La compréhension des codes hérités est difficile. ... Par conséquent, le besoin d'un outil complet de réingénierie/rétro-ingénierie se fait sentir. Nous avons trouvé que l'utilisation d'Imagix 4D était optimale car elle génère un maximum de représentations picturales sous forme d'organigrammes, de diagrammes de flux, de diagrammes de classe, de métriques et, dans une certaine mesure, de visualisations dynamiques. ...
Imagix 4D est un bon outil en termes de variété des langages supportés, d'interface utilisateur graphique, de génération maximale de diagrammes, et offre des choix pour visualiser l'information en utilisant des techniques de filtrage.
Rashmi Yadav, Ravindra Patel, et Abhay Kothari: Feedback de l´évaluation de l'outil de rétroconception Imagix 4D! (Lien vers Springerplus, publié en ligne en 2016).

Le séminaire "Test des logiciels/logiciels embarqués" en région Rhône Alpes !

Forte de son expérience dans le domaine des outils de test et des systèmes embarqués, la société Verifysoft Technology poursuit sa tournée des séminaires en Région. Pour son prochain séminaire sur le test des logiciels/logiciels embarqués, direction la région Rhône-Alpes ! Pourquoi la région Rhône-Alpes? Suite à l´enthousiasme des participants d´une entreprise Grenobloise à la session 2015 qui s´est déroulée en région Ile de France, nous avons souhaité réaliser notre séminaire 2016 dans leur région.
Article Programmez! (09/06/2016)

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

Verifysoft, propriétaire et vendeur de l'outil, rappelons le leader du marché des logiciels d'analyse de code, Testwell CTC++, ainsi que des outils de test unitaire Testwell CTA++ et d'analyse Testwell CMT++ et CMTJava, annonce la nomination de la société Beijing Siener Electronics Tech. Development Ltd. comme distributeur en Chine. Beijing Siener, une entreprise chinoise privée dont le siege est situé à Pekin disposant d'une antenne à Shanghai, représente déja des entreprises comme HighTec EDV-Systeme GmbH, pls Development Tools, et GLIWA GmbH dans un marché chinois en croissance constante.
Professional Tester, Février 2016

Test logiciel: Verifysoft distribue l´outil de vérification de code et d´architecture Imagix 4D

La société américaine Imagix Corporation, éditeur de l´outil de vérification de code source et d´analyse d´architecture Imagix 4D, a choisi la société allemande Verifysoft Technology, spécialiste elle aussi d´outils de test logiciel, comme distributeur en Europe. Déjà utilisé par de grandes entreprises et par des organismes gouvernement aux aux Etats-Unis, Imagix 4D est un outil conçu pour comprendre, documenter et améliorer un code source écrit en C, C ++ ou Java.
Article L´Embarqué (25 janvier 2016)

Verifysoft muscle son outil de couverture de code embarqué critique écrit pour C/C++

Verifysoft, un fournisseur allemand d´outils logiciels de test et d´analyse de code embarqué, annonce la sortie de la version 8.0 de son outil de couverture de code Testwell CTC++.
Article L´Embarqué (7 janvier 2016)

Verifysoft annonce la version 8.0 de l'outil d´analyse de code Testwell CTC++

Verifysoft Technology GmbH annonce la sortie de la version 8.0 de son outil phare, l'analyseur de code Testwell CTC++.
Les principales nouveautés de Testwell CTC++ 8.0 incluent une architecture des rapports de couverture de code HTML ameliorée, nottament l'ajout de couverture par ligne dans ces rapports, l'introduction d'annotations, l'amélioration des comptes rendus des headers, et l'amélioration des données de couverture lors de la fusion de fichiers de test independants.
Professional Tester, 31 Decembre 2015

Testwell CTC++ arrive en version 8.0

Verifysoft Technology annonce la sortie de la version 8.0 de son outil phare Testwell CTC++, outil de couverture de code. Testwell CTC ++ supporte toutes les cibles embarquées et les microcontrôleurs, fonctionne avec tous les compilateurs / cross-compilateurs, et analyse tous les niveaux de couverture jusqu´à MC/DC et la couverture MCC.
Article Programmez! (15/12/2015)

Analyseur de couverture de code Testwell CTC++

Ce logiciel indique les parties du code qui n´ont pas été testées, évitant ainsi les tests redondants et le code mort. Grâce à sa simplicité d´utilisation et d´installation, il répond aux besoins de nombreuses entreprises
Article PEI! (15/08/2015)

Verifysoft délivre un kit de qualification pour son outil de test de logiciels Testwell CTC++

Edité par l´allemand Verifysoft, le kit de qualification de l´outil logiciel Testwell CTC++, qui sera disponible début avril, est constitué de cas de tests et de procédures spécifiques qui permettent de qualifier Testwell CTC++ pour les projets soumis aux normes ISO 26262 (automobile), CEI 61508 (systèmes industriels), EN 50128 (applications dans le ferroviaire) ou DO-178C (aéronautique). ...
Article L´Embarqué (23 février 2014)

Certification logicielle : Kit de qualification pour Testwell CTC++

Verifysoft Technology présente un kit de qualifications pour leur outil d'analyse de code Testwell CTC++. Ce kit est disponible pour les normes DO-178C, EN 50128, IEC 61508, et ISO 26262. Il simplifie l'accès à la certification pour votre logiciel embarqué ayant été analysé par Testwell CTC++. Cet outil de couverture de code analyse tous les niveaux de couverture jusqu'au MC/DC et MCC. Testwell CTC++ marche avec tous les compilateurs, mais aussi avec toutes les cibles embarquées et microcontrolleurs, même les plus petits!
The Official Daily 2014 (pdf, 25 février 2014)

Naissance de normes et de nouveaux outils

... Grâce à ces normes qui découlent de l´IEC 61508, on constate une réelle prise de conscience de la part des industriels, note Klaus Lambertz, directeur commercial et marketing de Verifysoft Technology, société spécialisée dans la distribution à valeur ajoutée de solutions de test. Désormais, un équipement pour lequel le processus de développement n´aura pas été scupuleusement appliqué se verra refuser son autorisation de mise sur le marché. ...
... Autre tendance notable en matière de tests logiciels: l´apparition sur le marché de plus en plus de solutions pour la gestion des projets de tests. ... Ces outils sont focalisés sur un ou plusieurs apects de la gestion de projet: cela va de la traçabilité entre les tests et les exigences (comme QMetry de la société éponyme) à la collaboration entre testeurs et développeurs ..., en passant par la création de tableaux de bords pour visualiser l´état d´avancement des projets (comme Software Diagnostics Studio de Software Diagnostics). QMetry se veut une solution globale pour gérer l´ensemble des activités liées au test. ... (par Frédéric Parisot)
www.mesures.com

De nouveaux outils facilitent la certification logicielle

Pour faire face à l´explosion de la complexité des programmes, les industriels des secteurs critiques ont mis en place des procédures de certification logicielle qui apportent la garantie d´un certain niveau de qualité, de sûreté et de fonctionnement. (par Frédéric Parisot)
Article Mesures (pdf, numéro 826 - juin 2010)
www.mesures.com

Automatisez vos cas de test avec Conformiq Tool Suite 4.2

Conformiq annonce la nouvelle version de son générateur automatique de cas de test Conformiq Tool Suite 4.2 qui comprend Conformiq Modeler 4.2 pour la création des modèles et Conformiq Designer 4.2 pour la génération automatique des tests.
Programmez! (24/06/2010)

Siemens Corporate Technology a publié un article sur Conformiq Designer et un autre outil de "model based testing"

Siemens Corporate Technology a publié un article sur le sujet "Model-based testing in industry: a case study with two Model Based Testing tools". Conformiq est considéré comme étant un outil fiable et facile d´utilisation.
> en savoir plus

Applications embarquées - Test logiciel: des méthodes sortent des sentiers battus

Toutes les applications embarquées dans les domaines critiques sont validées par des tests. Ce n´est pas encore assez systématique dans d´autres secteurs. Les outils de test continuent de se perfectionner, mais on note surtout des changements dans la manière de les utiliser. (par Frédéric Parisot)
Article Mesures (pdf, numéro 817 - septembre 2009)
Site web Mesures

Conformiq lance une solution de conception de test automatisé

Conformiq Inc. annonce la sortie de la version 2.1 de Conformiq Qtronic, qui utilise désormais la puissance de l´informatique multi-coeur, distribuée et parallèle, pour une génération automatique plus rapide des cas de test. En distribuant les calculs sur des systèmes informatiques multi-coeurs, parallèles et distribués, les testeurs peuvent accélérer leur processus de génération de cas de test et ainsi réduire les coûts.
Article Programmez! (19/08/2009)

Conformiq lance une solution de conception de test automatisé

Conformiq Inc. annonce la sortie de la version 2.1 de Conformiq Qtronic, qui utilise désormais la puissance de l´informatique multi-coeur, distribuée et parallèle, pour une génération automatique plus rapide des cas de test. En distribuant les calculs sur des systèmes informatiques multi-coeurs, parallèles et distribués, les testeurs peuvent accélérer leur processus de génération de cas de test et ainsi réduire les coûts.
Article Programmez! (19/08/2009)

Un programme académique chez Verifysoft

Pour l´éditeur Verifysoft, l´erreur logicielle "doit être nulle quand des vies sont en jeu." Ainsi, l´éditeur allemand proposera un programme académique dédié spécialement aux écoles et universités.
Article toolinux (26/02/2009)

Article dans MSCoder : Complexité et Qualité

La complexité de code est un facteur ayant un impact direct sur la durée de vie et l´exploitation d´un logiciel, notamment sur son taux de défauts, sa testabilité et sa maintenabilité. Un article dans le numéro 1/2007 de la revue professionnelle MSCoder explique comment on peut mesurer la complexité d´un logiciel.
Article MSCoder (numéro 01/2007, pdf 668 KB)