Sujets de nos vidéos: Société/informations générales Testwell CTC++ Testwell CMT++/CMTJava Imagix 4D Toutes les vidéos
YouTube Playlists (lien vers YouTube)
Videos in other languages:
Société/informations générales
01:49 May 2023
Just for Run ...
The teams from Verifysoft Technology and our friends from HEICON Global Engineering from Schwendi near Ulm and Memmingen took part in the Offenburg city run / badenova running day on May 7 with a lot of verve and a lot of fun.
The 3 x 1 km relay led from the historic town hall through the city center of Offenburg.
Here our run in the video.
02:31 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.
02:18 Avril 2021
Verifysoft fournit les meilleures solutions de test logiciel depuis 2003.
Nos outils permettent à plus de 700 clients dans plus de 40 pays à travers le monde d'augmenter le potentiel de leurs logiciels.
L'équipe toujours plus motivée de Verifysoft est là pour vous aider avec des outils,
des séminaires et des conseils. Contactez-nous maintenant: www.verifysoft.com
Février 2020
Notre vidéo d´entreprise est maintenant en ligne en version française et 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 l´entreprise vous donne les réponses.
01:43 Juin 2021
Inevitable Changes Require Progress.
To Thrive We Must Verify.
Verifysoft Technology - Leading Software Testing Tools - since 2003 - worldwide.
Novembre 2018
Dans cette vidéo, vous aurez la possibilité de découvrir brièvement l'histoire et l'offre de Verifysoft Technology et surtout que la qualité logicielle n'a pas de frontières: En effet aujourd'hui, plus de 500 clients répartis dans près de 40 pays utilisent nos technologies pour assurer la sécurité et la sureté de leurs logiciels.
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 Technology 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!
L'entretien complet ici (en anglais).
Voir les différents chapitres de l'interview (en anglais :
(1) Who is Verifysoft Technology and what is Verifysoft's offering?
(2) How important is the Quality of Software?
(3) Who needs Verifysoft's Testing Tools?
(4) Who are the Customers of Verifysoft Technology?
(5) What is the Strategy of Verifysoft Technology?
(6) How is the Evolution of Verifysoft's Business?
(7) What is the "Spirit of the Verifysoft Team"?
Mars 2017
Découvrez dans cette vidéo, comment vous pouvez augmenter votre productivité et la qualité de votre logiciel, grâce aux technologies de Verifysoft Technology. Nous proposons des outils pour la couverture de code , l'analyse statique et l'analyse dynamique. Nos outils sont qualifiés pour une utilisation dans des projets critiques de sécurité et de sûreté selon les normes DO178-C, EN 50128, IEC 61508, CEI 62304 et ISO 26262.
04:15 Juin 2022
Nous sommes heureux d'avoir rencontré de nombreux clients et personnes intéressées sur notre stand au salon Embedded World qui s'est déroulé du 21 au 23 juin 2022 à Nuremberg/Allemagne.
Voici un aperçu des outils et des formations proposés ...
02:40 September 2022
Chez Verifysoft, ça court... Sous la devise "Just for Run", nous étions présents début septembre avec deux équipes à la "Ortenauer Laufnacht" à Willstätt-Sand en Allemagne. Même si cette fois-ci, nous n'avons pas (encore) réussi à monter sur le podium, nous avons eu beaucoup de "fun".
Nous sommes depuis toujours dans les rangs des médaillés avec nos outils de test de logiciels, pour que le développement logiciel de nos clients soit dans les meilleurs.
00:41 juin 2022
Le Challenge " Au Boulot à Vélo " a été lancé dès 2009 par l´association CADR67 et l'Eurométropole de Strasbourg. L'objectif est d'encourager l'utilisation du vélo, notamment pour les trajets domicile-travail, et bien sûr de partager un moment de plaisir.
Depuis que le Challenge 2022 est devenu un événement transfrontalier, Verifysoft y participe.
Mars 2012
Vidéo de DroidconNL 2011, le plus grand rassemblement de développeurs android.
Test de logiciels
« White-Box Testing » dans les projets de logiciels critiques pour la sécurité
1:05:15 Janvier 2022 English
Afin de garantir la qualité des logiciels, l'utilisation de tests approfondis fait partie de l'état de l'art. Dans les projets liés à la sécurité, l'étendue des tests et le type d'outils à utiliser sont définis par
des normes de sécurité telles que ISO 26262, DO-178C, EN 50128, IEC 61508, 62304, IEC 60880. Les experts en validation et certification de logiciels de HEICON montrent quels sont les facteurs importants pour mener
à bien les « White-Box Testing » dans les projets liés à la sécurité.
Combining Static and Dynamic Analysis
18:04 July 2018 English
Dr. Sabine Poehler and Royd Lüdtke (Verifysoft Technology) explain in this presentation how the combination of static and dynamic code analysis helps to develop safe and secure software. The presentation, held 2018 at Aero Testing Expo/Avionics Expo in Munich (Germany), was done in the context of the aeronautics standard DO-178C, but can of course be applied to any other industry.
Why measuring Code Coverage can safe life and a ton of Money
16:14 August 2018 English
Uncovered code can hide ticking time bombs. This video taken from a joined webpresentation of Verifysoft and QATestLab (Kiev) describes the benefits of code coverage. The example shows how the MP3 player Zune bug could have been avoided. Although all requirements had been tested and Statement Coverage had been achieved, an error came up in a crucial part of the software. Sebastian Götzinger shows that releasing uncovered code by acccident is avoidable.
Testwell CTC++ Test Coverage Analyser
Nouvelle vidéo: Testwell CTC++ en 8 minutes!
Janvier 2017 Français
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 dans notre vidéo!
Top 14 des avantages de Testwell CTC++ Test Coverage Analyser
Mai 2020
Testwell CTC ++ est un analyseur de couverture de code utilisé notamment pour mesurer la couverture de test dans les logiciels embarqués.
14 raisons d'utiliser cet outil leader ...
Découvrez notre vidéo!
Code Coverage for Safety Critical Applications
July 2018 English
Safety Standards like DO-178C in Aerospace Industry require Code Coverage for safety critical applications. In this video from Aviation Electronics Europe in Munich, we show how this requirement can be met easily with Testwell CTC++ Test Coverage Analyser.
ISO 26262 and Code Coverage
14:45 October 2018
ISO 26262 is an international standard for functional safety of road vehicles. In order to evaluate the completeness of test cases, ISO 26262 requires the measurement of structural coverage. Depending on the Automotive Safety Integrity Level statement coverage, branch coverage and/or MC/DC (Modified Condition/Decision Coverage) is required.
Testwell CTC++ couverture de test introduction
Avril 2014
Testwell CTC++ est un outil pour mesurer la couverture de test. L´outil peut être utilisé avec tous les compilateurs et toutes les cibles embarquées (microcontrôlleurs). Cette vidéo donne une brève introduction (Prime Example) à l´utilisation de l´outil.
LA vidéo de TESTWELL CTC++: Quelle importance a la qualité logicielle?, Testwell CTC++ couverture de test introduction (version français), Couverture de code pour cibles embarqués, Testwell CTC++ Test Coverage Analyser: General Presentation, Short Introduction (Prime Example), Témoignage de l'utilisateur: Embedded Office (en allemand avec des sous titres en anglais), Témoignage de l'utilisateur: Schleissheimer (en allemand avec des sous titres en anglais), Code Coverage for Embedded Targets, Code Coverage on Embedded Targets (for Testwell CTC++ Users), Usage of Testwell CTC++ for Embedded Targets (demo based on an Atmel ATmega 328p μController), Safety Standards and related Code Coverage Levels (ECS Stockholm), Code Coverage Levels and Safety Standards, Code Coverage and ISO 26262, Kit de qualification pour Testwell CTC++ (en allemand avec des sous titres en anglais) How to integrate Testwell CTC++ into your IDE, Usage of Testwell CTC++ for Embedded Targets (demo based on an Atmel ATmega 328p µController), Integration in Eclipse, Usage with gcc based Cross-compiler, Usage with IAR Embedded Workbench, MATLAB /Simulink interface example, Usage with Microchip MPLAB IDE, Usage with Microsoft Visual Studio 2008 IDE, Usage with Lauterbach Trace32, Usage with Renesas CS+ IDE, Thirty minutes web presentation about the Tool Qualification Kit for Testwell CTC++, Code Coverage on small safety-critical embedded targets, TOUTES LES 26 VIDEOS SUR TESTWELL CTC++
Testwell CMT++/CMTJava, Outils de mesure de complexité de code pour C, C++ / Java
Septembre 2014
Basés sur les propriétés statiques du programme du code, Testwell CMT++ et CMTJava fournissent des estimations sur les probabilités d´erreurs dans l´application, sur la durée requise pour la compréhension du code, sur le volume logique du code, etc ...
Comme l´équipe travaillant sur un projet n´a généralement pas le temps de vérifier tout le code, Testwell CMT++ et CMTJava vous permettent de localiser les modules risquant de poser des problèmes.
Regardez notre vidéo et voyez comment analyser votre code pour les métriques LOC, le nombre McCabe Cyclomatic, Halstead Metrics et l'indice de maintenabilité.
Imagix 4D
Mai 2019
Le «Code refactoring », soit le remaniement du code avec Imagix 4D. Afin de valoriser vos investissements, un remaniement du code permanent est essentiel pour augmenter la durée de vie des applications logicielles. Parfois, il est judicieux car plus rentable de remanier le code hérité. Dans ce cas, le programme pourrait être réutilisé dans de nombreux projets. Ainsi, le code est remanié pour une plus grande facilité de maintenance et une extensibilité améliorée, tout en conservant ses fonctionnalités.
Imagix 4D est l'outil idéal pour vous aider à effectuer le « Code refactoring ». Une visualisation complète et bien agencée de l'architecture existante facilite la compréhension rapide de l'interaction des composants et ainsi les modifications peuvent être effectuées en douceur.
Découvrez comment Imagix 4D peut vous aider à prendre en charge le "code refactoring".
Mai 2019
Imagix 4D est un outil pour explorer, comprendre et évaluer les logiciels en C, C ++ et Java. Imagix 4D est livré avec un outil central pour les revues semi-automatiques. Dans cette vidéo, nous expliquons les fonctionnalités et l'interface graphique d'Imagix 4D.
Mai 2019
Imagix 4D est un outil de reverse engineering et de code refactoring en C, C ++ et Java. Cette démonstration en direct vous montre certaines des fonctionnalités les plus importantes d’Imagix 4D.
Avril 2019
La développeuse de logiciels, Anna est responsable d'un ancien logiciel dont personne ne connait plus rien. La documentation du logiciel est obsolète ... Tout cela ressemble à un cauchemar qui ne semble pouvoir être résolu qu’avec beaucoup de temps et d’argent.
Anna découvre l'outil Imagix 4D, qui détermine l'état actuel du logiciel en fonction du code source. Grâce aux graphiques, à la documentation et aux rapports générés, Anna identifie rapidement les causes des erreurs et peut les corriger plus facilement que prévu. Anna informe immédiatement ses clients, qui sont plus que soulagés ...
July 2018
Imagix 4D, the " Swiss Army Knife " for software, is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. Imagix 4D automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions. With Imagix 4D you increase productivity, improve quality, and reduce risk. Watch here our presentation from Avionics Electronics Munich.
septembre 2021
Code hérité, programmes informatiques complexes ?
Imagix 4D vous aide à comprendre votre code.
Imagix 4D est le " couteau suisse " parmi les outils logiciels : un outil pour tous les cas.