logo

Présentations en ligne

20 November 2018

Sujets de nos vidéos:     Société/informations générales     Testwell CTC++     Testwell CMT++/CMTJava     Imagix 4D

Videos in other languages: German Flag French Flag UK US Flag Chinese Flag Russian Flag Spanish Flag

Société/informations générales

Verifysoft Company Introduction Software Quality has no borders
"La qualité logicielle n’a pas de frontières" par Verifysoft Technology GmbH
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.
Klaus Lambertz, Interview August 2017
Verifysoft Technology: La satisfaction de nos clients est plus importante que l'atteinte rapide de notre résultat trimestriel
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"?
Verifysoft Products in 3 Minutes
" Verifysoft's Testing Technologies" en 3 Minutes (vidéo en anglais)
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.
Droidcon Amsterdam 2011 Video
Droidcon 2011-Amsterdam co-sponsorisé par Verifysoft Technology
Mars 2012
Vidéo de DroidconNL 2011, le plus grand rassemblement de développeurs android.
autres présentations

Test de logiciels

Combining Static and Dynamic Analysis

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

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

Testwell CTC++ le film

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!

Code Coverage for Safety Critical Applications

Code Coverage for Safety Critical Applications
08:57     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

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++ Prime Example

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.

Plus de vidéos sur Testwell CTC++:
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

Testwell CMT++/CMTJava Presentation
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

Imagix 4D: The
Imagix 4D: The "Swiss Army Knife" for Software
07:35     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.
Learning Unfamiliar Code
"Learning Unfamiliar Code" (en anglais)
Décembre 2015
Cette vidéo montre comment utiliser Imagix 4D pour obtenir des informations sur le code qui n'est pas familier.
Debugging a Miss-Set Variable
"Debugging a Miss-Set Variable" (en anglais)
Décembre 2015
This video demonstration is an introduction to how Imagix 4D can be used while debugging, how it complements a debugger and helps you to understand and resolve the control and data flow of your software.