logo

20 November 2018

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

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

Verifysoft-Firmenvideos

Verifysoft Technology - Der Imagefilm></a>
        <div>
        <a href=Verifysoft Technology - Der Imagefilm "
07:22     November 2019
Software ist heute nicht mehr wegzudenken. Aber wie wichtig ist die Softwarequalität und wie wird diese garantiert?
Verifysoft Technology unterstützt Softwareentwicklungsprojekte weltweit mit erstklassigen Testwerkzeugen.
Hiermit werden Qualität und Produktivität der Computerprogramme in Luft- und Raumfahrt, Automotive, Medizintechnik und anderen Bereichen entscheidend erhöht.
Was bietet Verifysoft seinen über 600 Kunden in 40 Ländern?
Warum ist uns die Kundenzufriedenheit wichtiger als der schnelle Euro?
Weshalb ist uns eine positive Arbeitsatmosphäre wichtig?
Antworten gibt der Verifysoft-Imagefilm.
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)
Support-Engineer bei Verifysoft: ein Job für anspruchsvolle Software-Entwickler
Support-Engineer bei Verifysoft: ein Job für anspruchsvolle Software-Entwickler
07:23     Oktober 2019
Du bist auf der Suche nach Herausforderungen? Komm zu uns ins Verifysoft-Team als Supportmitarbeiter. Langweilig und für Leute, die nicht entwickeln können? Von wegen! Axel Wenz berichtet über seine Aufgaben als Supporter, notwendige Stärken und Voraussetzungen für den Job, sehr große Vielfalt bei der Lösung von Aufgaben mit internationalen Kunden und das weite Aufgabenspektrum.
Werkstudentin bei Verifysoft: mittendrin und nicht nur dabei
Werkstudentin bei Verifysoft: mittendrin und nicht nur dabei
08:47     September 2019
Abwechslungsreiche Aufgaben, Mitwirkung bei fast allen Tätigkeiten, flexible Arbeitszeiten und ein Übernahmeangebot in eine Festanstellung erwarten Werkstudenten bei Verifysoft. Anna Kallenberg war und ist bei Verifysoft mittendrin und nicht nur dabei. Bei Kunden in fast 40 Ländern und rasant steigender Geschäftsentwicklung geht es dann auch schon mal nach New York…
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 und GrammaTech auf der Embedded World 2018
Verifysoft und GrammaTech auf der Embedded World 2019
05:20     März 2019
Verifysoft Technology war 2019 mit der 15. Teilnahme in seiner 16-jährigen Firmengeschichte wieder auf der Embedded World vertreten. Während unsere Tools seit Jahren in der sicherheitskritischen Softwareentwicklung zur Sicherstellung der Safety eingesetzt werden, liegt der Fokus wegen der Vernetzung der Embedded Software im Internet of Things jetzt zusätzlich auf der Angriffssicherheit – der Security.


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.

Das Kind ist in den Brunnen gefallen

Das Kind ist in den Brunnen gefallen
26:00     März 2019     Deutsch
Vortrag von M.Sc. Jan-David Baltzer, Static Code Analysis, Verifysoft Technology Offenburg
Mit wachsender Laufzeit von Softwareprojekten steigen typischerweise deren Umfang und Komplexität. Die umgesetzte Software zu verstehen und zu bewerten gestaltet sich oft als schwierig. Um dieses, bereits in den Brunnen gefallene Kind zu beurteilen und gegebenenfalls herauszuziehen führt nichts am zugrunde liegenden Quelltext vorbei. Dieser Vortrag demonstriert einen praktischen Lösungsansatz anhand eines potenziell unbekannten Projektes und dem Reverse-Engineering-Tool Imagix 4D.



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

Narrow-Solution Static Analysis Tools vs. CodeSonar

GrammaTech CodeSonar im Vergleich mit anderen Statischen Analyse Tools
4:59     Juli 2019    
Es gibt zahlreiche unterschiedliche Statische Analyse Tools. Narrow Tools, beispielsweise kommerzielle Tools und Open Source Tools wie CPP Check können dazu genutzt werden, Bugs im Code zu finden. Im Vergleich mit qualitativ hochwertigen Tools wie GrammaTech CodeSonar werden jedoch die eingeschränkten Möglichkeiten anderer Tools offensichtlich. CodeSonar ist mehr als nur ein Tool für Entwickler. Es ist ebenfalls eine Lösung für Manager und Security Auditors.

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-Presentation
Imagix 4D zeigt den Ist-Zustand Ihrer Software
1:36     September 2019
Das Leben als Softwareentwickler ist kein Lollipop-Schlecken wenn alte Software gewartet und weiterentwickelt werden muss. Produktdokumentationen sind oft veraltet und ehemalige Entwickler, die sich auskennen sollten, nicht mehr greifbar.
Jetzt hilft Imagix 4D: der Ist-Zustand der Software wird ermittelt und grafisch aufbereitet.
Ziel: entspannte Feierabende für Software-Entwickler statt schlafloser Nächte und Panik-Attacken…
Refactoring using Imagix4D
Webinar: Refactoring using Imagix4D
18:22     Mai 2019
Um die Nutzungsdauer von Softwareapplikationen zu erhöhen und damit Investitionen zu sichern, ist kontinuierliches Refactoring unumgänglich. Oft lohnt es sich, Refactoring auch für Legacy Code durchzuführen, um diesen in aktuellen Projekten wiederverwenden zu können. Hierbei erfährt der Code eine Überarbeitung im Hinblick auf eine bessere Wart- und Erweiterbarkeit unter Beibehaltung der Programmfunktionalität.
Imagix 4D ist das ideale Tool, um bei Sie bei Ihrem Refactoring Prozess zu unterstützen. Eine leicht verständliche Visualisierung der bestehenden Architektur, ermöglicht ein schnelles Verständnis der Interaktion zwischen verschiedener Komponenten. Dadurch können Modifikationen reibungslos vollzogen werden.
Erfahren Sie, wie Imagix 4D Sie beim Refactoring unterstützen kann.
Imagix 4D Features and GUI
Imagix 4D Features and GUI
07:16    Mai 2019
Imagix 4D is a tool to explore, understand and rate software in C, C++ und Java. Imagix 4D comes with a central tool for semi automated reviews. In this video we explain the features and the GUI of Imagix 4D.
Live Demo (partial) of Imagix4D for Reverse Engineering and Refactoring
Live Demo (partial) of Imagix4D for Reverse Engineering and Refactoring
06:11    Mai 2019
Imagix 4D is a tool for reverse engineering and refactoring C, C++, and Java code. This live demo shows you some of the most important features of Imagix 4D.
Anna hat ein Problem
Imagix 4D im Podcast: Softwareentwicklerin Anna hat ein Problem
03:08     December 2018
Die Softwareentwicklerin Anna ist verantwortlich für ein altes Software-Projekt mit dem sich keiner mehr richtig auskennt. Die Software-Dokumentation gibt wenig her... Das Ganze ist wie ein Alptraum, der nur mit massivem Zeit- und Geldaufwand lösbar scheint.
Da stößt Anna auf das Tool Imagix 4D, welches den Ist-Zustand von Software auf Basis des Quellcodes ermittelt. Durch die generierten Schaubilder, Dokumentationen und Berichte erkennt Anna schnell die Fehlerursachen und kann diese einfacher beheben als gedacht. Anna informiert umgehend ihre Kunden, die mehr als erleichtert sind...
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.
Imagix 4D - Live Demo
Imagix 4D - Live Demo
18:26     März 2019     Deutsch
Vortrag von M.Sc. Jan-David Baltzer, Static Code Analysis, Verifysoft Technology Offenburg
Live-Demo des Reverse-Engineering-Tools Imagix 4D
  • Schnelles Verständnis von unbekanntem C, C++ und Java Code durch aussagekräftige Visualisierung
  • Einfache Beurteilung der Code-Qualität durch diverse statische Prüfungen und Erhebung von Metriken
  • Unterstützung bei Code Reviews
  • Visualisierung und Dokumentation von Versionsunterschieden