logo

Online-Präsentationen

20 November 2018

Videothemen:     Firma/Allgemeines     Testwell CTC++     Testwell CMT++/CMTJava     GrammaTech CodeSonar     Julia Static Analyzer     Imagix 4D

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

Verifysoft-Firmenvideos

Verifysoft Company Introduction Software Quality has no borders
Verifysoft Company Introduction "Software Quality has no borders"
02:24     November 2018
In this short video we describe the the history and the offering of Verifysoft Technology. Software Quality has no borders: Today more than 500 customers in almost 40 countries rely on our tools to ensure software safety and security.
Klaus Lambertz, Interview August 2017
Verifysoft: Langfristige Kundenbindung ist wichtiger als der "schnelle Euro"
23:13     August 2017
Erfahren Sie im Interview mit Verifysoft-Geschäftsführer Klaus Lambertz warum Software-Qualität auch in nicht-sicherheitskritischen Bereichen wichtig ist, weshalb es unseren Kunden nutzt, dass wir seit Gründung ohne Venture-Capital arbeiten, warum uns die langfristige Kundenbindung wichtiger ist als der "schnelle Euro" und warum ein motiviertes Team wichtig für den Firmenerfolg in über dreißig Ländern ist.
Komplettes Interview vom August 2017 mit folgenden Einzelthemen:
(1) Wer ist Verifysoft und was bietet die Firma an? (02:14)
(2) Wo ist Softwarequalität wichtig und wie wichtig sind Softwaretests? (06:40)
(3) Wem nutzen Tools von Verifysoft? (04:18)
(4) Wie entwickelt sich die Firma? (03:39)
(5) Wie lief die Gründungsphase? (02:27)
(6) Was sind Werte und Strategie von Verifysoft und wie profitieren Kunden davon? (03:59)
(7) Wie wichtig ist das Team bei Verifysoft? (02:03)
Verifysoft-Mitarbeiter berichten: Werden Sie Teil unseres motivierten Teams
Verifysoft-Mitarbeiter berichten: Werden Sie Teil unseres motivierten Teams
03:59     November 2018
Verifysoft-Mitarbeiter berichten über ihre Motivation und die Vorteile im Verifysoft-Team. Erfahren Sie jetzt was unser Team so einzigartig macht und warum sich eine Bewerbung bei uns lohnt.
Verifysoft Products in 3 Minutes
Verifysoft's Testing Technologies in 3 Minutes
02:49     March 2017
Learn in this video how you can increase your productivity and the quality of your software with Verifysoft's testing tools. We provide Static Analysis, Dynamic Analysis and Code Coverage. Our tools are qualified for usage in safety and security critical projects according to the standards DO178-C, EN 50128, IEC 61508, IEC 62304 and ISO 26262.
Verifysoft at Testing Stage Kiew 2018
Verifysoft at Testing Stage Kiev (Ukraine) 2018
01:06    December 2017
At Testing Stage on 13 and 14 April 2018 in Kiev (Ukraine), Sebastian Götzinger, IT-Trainer at Verifysoft Technology, gives several speaches and master classes. Verifysoft's International Sales Manager Polina Handzhiyska gives a preview about the contribution of the software quality specialists in this video.
Verifysoft Technology auf der Embedded Testing 2018 in München
Verifysoft Technology auf der Embedded Testing 2018 in München
01:29    März 2018
Embedded Software in den Bereichen wie Automotive, Luftfahrt, Automatisierung und Medizintechnik muss fehlerfrei funktionieren. Verifysoft-Geschäftsführer Klaus Lambertz empfiehlt daher den Besuch von Fachkonferenzen wie der Embedded Testing in München.
Verifysoft und GrammaTech auf der Embedded World 2018
Verifysoft und GrammaTech auf der Embedded World 2018
04:15     März 2018
Auf der Embedded World 2018 zeigten Verifysoft Technology und GrammaTech zahlreiche Innovationen für den Softwaretest von Embedded, M2M und IoT-Devices. Der Code Coverage Analyser Testwell CTC++ wird mit verschiedensten C und C++-Dialekten, mit allen, auch "exotischen" Compilern und kleinsten Targets eingesetzt. Dank der Binär- und Quellcodeanalyse sowie der Verbindung von Statischer und Dynamischer Analyseverfahren kann die Sicherheit Ihrer Software mit GrammaTech CodeSonar deutlich gesteigert werden.


Software Testing (allgemein)

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.

Grundlagen von Test- und Code-Coverage

Grundlagen von Test- und Code-Coverage
25:54     Oktober 2018     Deutsch
In diesem Video zeigen wir Grundlagen der Test- und Code-Coverage. Neben Test- und Coveragestufen werden die Anforderungen der Sicherheitsnormen wie ISO 26262 oder DO-178C an die Code-Coverage angesprochen.

Code Coverage: Instrumentierung und Herausforderungen bei kleinen embedded Targets

Code Coverage: Instrumentierung und Herausforderungen bei kleinen embedded Targets
18:35     Oktober 2018     Deutsch
Diese Präsentation beschreibt die Code Instrumentierung sowie Lösungen für Herausforderungen bei kleinen embedded Targets, die durch erhöhten RAM- und ROM-Bedarf sowie begrenzte CPU-Zeit entstehen.

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

Code Coverage Analyser Testwell CTC++: Produktvideo

DER TESTWELL CTC++ FILM: Wie wichtig ist korrekter Software-Code?
08:06     Oktober 2016     Deutsch
Testwell CTC++ ist das führende Code-Coverage-Tool zur Messung der Testabdeckung auf dem Host und auf allen (selbst kleinsten) embedded Targets. Das Tool kann in sicherheitskritischen Projekten genutzt werden, die beispielsweise nach DO-178C, ISO 26262, IEC 60880, IEC 61508 oder EN 50128 zertifiziert werden müssen.
Hunderte von Firmen und Institutionen in über 30 Ländern nutzen Testwell CTC++ erfolgreich. Erfahren Sie im Video warum Testwell CTC++ die beste Wahl zur Messung der Testabdeckung ist.

How works Testwell CTC++ with all Coverage Levels

How works Testwell CTC++ Test Coverage Analyser for all Code Coverage Levels
14:31     October 2018     English
Advantages, technology and demo of Testwell CTC++ Code Coverage Levels explained by Dr. Sabine Poehler (Product Manager Testwell Tools at Verifysoft)

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.

Kees Valkhof, LELY, Netherlands

Testwell CTC++ User Testimonial: "Our reputation is built on products which work properly"
04:17     September 2016     English
Excellent product quality including high quality software is essential for Lely. Lely’s configuration manager Kees Valkhof has given us an insight into the software testing demands of this supplier for agricultural solutions and why they are using Testwell CTC++ for measuring code coverage.

Video Penetration Test

Auswertung von PenetrationTests durch Code Coverage
22:36     Dezember 2018     Deutsch
Um eine Software oder ein ganzes System auf Sicherheitslücken zu untersuchen, die Angriffe von außen auf das System ermöglichen, werden Penetration Tests durchgeführt. Die Auswertung dieser Tests lässt sich deutlich vereinfachen, wenn während des Penetration Tests die Code-Abdeckung gemessen wird. Das (Ideal-)Ziel ist dabei, stark vereinfacht, das Gegenteil der klassischen 100%-Coverage: Möglichst wenige Teile der Software sollen unter dem Penetration Test zur Ausführung kommen. Im Vortrag werden die Ziele eines solchen Ansatzes genauer formuliert. Der Schwerpunkt liegt dann aber vor allem auf der praktischen Durchführung und Auswertung eines kombinierten Penetrations- und Abdeckungstests.



Testwell CMT++ / CMTJava Code Complexity Measurement Tools

Testwell CMT++/CMTJava Presentation
Testwell CMT++/CMTJava Code Complexity Measurement Tools
06:32     September 2014
Code complexity correlates with the defect rate and robustness of an application. Testwell CMT++ and CMTJava help you to write code with good complexity: easier and faster to test, to understand, and to maintain. Watch our video and see how to analyze your code for LOC metrics, McCabe Cyclomatic number, Halstead Metrics and Maintainability Index.


GrammaTech CodeSonar

GrammaTech CodeSonar?
GrammaTech CodeSonar
01:28     December 2016
CodeSonar® is a sophisticated static analysis tool for source code and binary code, that detects bugs and security vulnerabilities that other static analysis tools miss.
How Does CodeSonar Find More Bugs?
How Does CodeSonar Find More Bugs?
Paul Anderson, GrammaTech´s VP of Engineering, describes in this video how CodeSonar uses advanced static analysis techniques to pinpoint the hardest-to-find defects and security vulnerabilities.
GrammaTech CodeSonar Quick Demo
GrammaTech CodeSonar Quick Demo
04:01     August 2012
Brief demo of the static code analysis tool Grammatech CodeSonar®.
GrammaTech CodeSonar vs. PC-Lint
GrammaTech CodeSonar vs. PC-Lint and Cppcheck
04:38     April 2017
Advanced Static Analysis with GrammaTech CodeSonar compared to tools like PC-Lint® and Cppcheck.
GrammaTech CodeSonar?
GrammaTech verkündet Integration von CodeSonar in Wind River Workbench zur Verbesserung der Qualität und zum Schutz von IoT-Geräten
11:15     Mai 2017
Dank dieser Integration können Entwickler Softwareanfälligkeiten innerhalb der Workbench beheben und so die Produktivität signifikant erhöhen. Das ursprüngliche Wind River VxWorks Betriebssystem wird ebenso gut unterstützt wie POSIX API, CodeSonar stellt dabei eine hilfreiche Erweiterung dar. Es bietet die Fähigkeit Sicherheits- und Qualitätsprobleme zu finden, speziell im Bereich der Multi-Core Entwicklungen. Das Programm identifiziert Bugs, welche zu Systemabstürzen führen können oder Sicheitslücken hervorbringen, was zum markenschädigenden Problem werden kann. Die Integration macht aus CodeSonar und der Wind River Workbench eine ideale Einheit zur Softwareoptimierung.
GrammaTech at the Embedded World 2018
GrammaTech at the Embedded World 2018
02:27     März 2018
Interview with Mark Hermeling, Senior Director of Product Marketing at GrammaTech.
GrammaTech CodeSonar: Innovationen 2018 (Embedded World)
GrammaTech CodeSonar : Innovationen 2018 (Embedded World)
02:14     März 2018
Embedded World 2018:
Als Antwort auf die Herausforderungen bei der Softwareentwicklung von Embedded-, M2M- und IoT-Geräten, bei der Legacy-Code, Open-Source-, Third-Party- und proprietärer Code genutzt wird, überprüft GrammaTech CodeSonar jetzt auch Binärbibliotheken.
Aktuell arbeitet GrammaTech an einer bahnbrechenden Technologie, die statische und dynamische Codeanalyse kombiniert. Ein neues CodeSonar-Plug-in welches "State Violations" während des host-basierten Testens durch Analyse der Speichernutzung aufdeckt, wird im Laufe des Jahres verfügbar sein.
Für Entwickler bedeutet dies mehr Effizienz, weniger Sicherheitsrisiken und kürzeres Time-to-Market. Die Risiken von Cyberattacken auf Geräte in stark vernetzten Ökosystemen wird durch die Innovationen stark verringert.


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
16:53     December 2015
This video demonstrates how to use Imagix 4D to get information about code which is unfamiliar.
Debugging a Miss-Set Variable
Debugging a Miss-Set Variable
03:54     December 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.