Aufgezeichnete Webinare
Melden Sie sich hier zu unseren aktuellen Webinaren bzw. Seminaren an.
Codee: Optimize the Performance of Embedded C Code, Reduce Power Consumption and Memory Usage
50:25 July 2024 Webinar with Codee (Spain)
Optimizing Embedded C is crucial to enhance system efficiency and performance, reduce power consumption and memory usage, and ensure greater reliability and speed in resource-constrained devices.
Codee will streamline your development process, making your embedded systems more robust and efficient than ever before.
In the quest for peak performance in C/C++ applications, conventional compilers often fall short.
Codee overcomes these limitations by enhancing performance through the creation of compiler-friendly code, all while preserving readability and maintainability.
This recorded webinar explores how Codee provides a systematic and predictable approach to enforcing C/C++ performance optimization best practices.
Discover how Codee delivers precise, line-by-line recommendations for enhancement, uniquely tailored to your specific setup—defined by your compiler, hardware, and processor—to ensure optimal efficiency
and quality from the start.
Die Welt der Statischen Analyse
38:34 Juli 2024 Webinar mit Royd Lüdtke (Direktor Statische Codeanalyse, Verifysoft)
Dieses Webinar gibt einen Überblick über die Statische Codeanalse.
Unter anderem werden folgende Thmen behandelt:
Nebenläufigkeitsanalyse (Race Conditions, Data Race, Deadlocks), Programmierrichtlinien,
Security-Analyse (Static Application Security Testing - SAST, DevSecOps, 0-Day-Vulnerabilities vs. N-Day-Vulnerabilities, Software Composition Analysis - SCA,
Software Bill of Materials - SBOM,
Überprüfung auf Softwarehärtung (Sicherheitsattribute), CodeSentry, Statische Performance Analyse (Codee), Energieverbrauchsoptimierung
Statische Codeanalyse und dynamische Tests – komplementäre Verfahren zur Qualitätssicherung
51:02 April 2024 Webinar mit Klaus Lambertz (Geschäftsführer, Verifysoft)
Statische Codeanalyse und Tests zur Laufzeit in Verbindung mit Code Coverage sind bewährte Verfahren zur Verbesserung der Codequalität.
Der Vortrag zeigt die Vorteile, aber auch die Grenzen beider Verfahren auf.
Um eine gute Codequalität zu gewährleisten, müssen beide Verfahren komplementär eingesetzt werden.
Der Vortrag geht auch auf geeignete Kriterien zur Auswahl von Werkzeugen für die Statische Codeanalyse und die Messung der Code Coverage ein.
Unit- und Software Integration-Tests in sicherheitskritischen Projekten (229)
1:06:35 Juli 2023 Deutsch Webinar mit Martin Heininger (HEICON Global Engineering)
00:00 Einführung
19:05 Wie werden die erwarteten funktionalen Testergebnisse festgelegt?
27:15 Welche Testmethoden werden genutzt, um normale Testfälle zu erstellen?
30:10 Welche Testmethoden werden genutzt, um Testfälle für den Robustness-Test zu erstellen?
32:20 Rolle der strukturellen Quellcode-Testabdeckung
37:37 Wie werden Test-Reviews effient und erfolgreich durchgeführt?
42:05 Zusammenfassung
45:25 Testwell CTC++ Test Coverage Analyzer
57:25 Fragen und Antworten (Back-to-Back-Testing, vollständige Testabdeckung, sporadische Fehler, TÜV-Zertifizierung, ISO 25119,
Überdeckung verschiedener Coverage-Tools, Tool-Qualifizierung in verschiedenen Normen, Vollständigkeit von Unit-Tests)
Herausforderungen beim Einsatz von KI bei sicherheitsrelevanten Systemen / Softwaretest
1:07:31 Mai 2023 Deutsch (von Dipl.-Ing. Martin Heininger, HEICON)
00:00 Einführung Verifysoft
02:55 Einführung HEICON
08:19 Definition der Künstlichen Intelligenz
19:10 Stand der Stadardisierung (ISO 29119, Testing and QA of Machine Learing Systems, White Box Testing of Neural Networks, ...)
46:30 Nutzung von KI im Requirement und Test-Engineering
49:45 Fazit
51:34 Testwell CTC++ Code Coverage Analyzer
Praxiserprobter Verifikationsprozess der gleichzeitig die Normen IEC 61508, DIN EN 50128, EN 50567 und ISO 25119 erfüllt (210)
1:02:41 November 2022 Deutsch (von Dipl.-Ing. Martin Heininger, HEICON)
Wann setzt man statische Tests ein?
Ist ein Walkthrough effizienter und effektiver als eine Inspektion?
Warum verhindert nur eine integrierte Teststrategie eine Kostenexplosion?
Wann bietet die strukturelle Coverage Messung einen echten Mehrwert?
ISO 26262: Praxisbasierte Auswahl von Verfahren und Maßnahmen der Software Entwicklung (209)
1:05:49 Oktober 2022 Deutsch (von Dipl.-Ing. Martin Heininger, HEICON)
Informale, semi-formale und formale Notations-Prinzipien
Prinzipien der Sicherheitsarchitektur
Behandlung von Programmierrichtlinien
Review - Statische Analyse
Unit-, Integrations- und Systemtests
Testwell CTC++ Code Coverage Analyser
Fragen und Antworten (Wie sieht es mit der Dokumentation aus?, Requirements mischen – natürliche Sprache und UML?)
Einstieg in die Code Coverage Messung (206)
41:52 Juni 2022 Deutsch (von Dr. Sabine Poehler, Verifysoft)
Was ist Code Coverage?
Was fordern die Sicherheitsstandards?
Code Coverage Stufen
Wer ist verantwortlich?
Wie hilft die Code Coverage Messung?
Was passiert bei zu niedriger Code Coverage?
Code Coverage zu hoch?
Technische Herausforderungen bei der Code Coverage Messung
Instrumentation-Overhead
Kriterien für die Auswahl eines Code Coverage Tools
32:46 Juni 2022 Deutsch (von Royd Lüdtke, Verifysoft)
02:02 Sicherheitsschwachstellen in Applikation
04:23 Sicherheitsattribute
07:43 0-Day und N-Day-Schwachstellen
11:25 Security Vulnerability Datenbanken
13:38 Software Security Assurance und Software Supply Chain Security
15:40 Static Application Securit Testing (SAST) als Bestandteil von DevSecOps
17:15 Common Weakness Enumeration (CWE)
19:59 Anteil an extern entwickeltem Code
21:41 Einsatz statischer Analysetechniken
26:22 Software Composition Analysis
White-Box-Testen in sicherheitskritischen Softwareprojekten
58:43 Januar 2022 Deutsch (von Martin Heininger, HEICON Global Engineering)
Um die Qualität von Software abzusichern, ist der Einsatz umfangreicher Tests Stand der Technik. In sicherheitsrelevanten Projekten wird der Prüfumfang und die Art der einzusetzenden Werkzeuge durch Sicherheitsnormen wie ISO 26262, DO-178C, EN 50128, IEC 61508, 62304, IEC 60880 definiert. Software-Validierungs- und Zertifizierungsexperten von HEICON zeigen, welche Faktoren wichtig sind, um White-Box-Tests in sicherheitsrelevanten Projekten erfolgreich durchzuführen.
46:29 Mai 2021 (von Royd Lüdtke, Verifysoft)
Royd Lüdtke, Director Static Code Analysis, Verifysoft Technology GmbH, erklärt in dieser Präsentation:
In der Entwicklung sicherheitskritischer Software längst Standard, helfen Werkzeuge zur statischen Codeanalyse mittlerweile zunehmend in allen Bereichen der Software-Entwicklung die Qualität zu verbessern. Aber was ist eigentlich „Statische Codeanalyse“?
Der Vortrag gibt Neueinsteigern eine kurze Einführung in die komplexe Thematik.
32:32 Mai 2021 (von Jan-David Baltzer, Verifysoft)
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.
Testwell CTC++ (deutsch, recorded Webinar, 158)
20:06 April 2021 Deutsch (von Dr. Sabine Poehler, Verifysoft)
Testwell CTC++ ist ein führender Code Coverage Analyser, der in Software-Entwicklungsfirmen für embedded Software und Applikationen weit verbreitet ist. Dieses aufgezeichnete Webinar zeigt
die Vorteile von Testwell CTC++ und der dahinterstehenden Firma Verifysoft Technology..
Pleiten, Pech und Pannen: gefährliche Softwarefehler
12:43 März 2020 Deutsch (von Royd Lüdtke, Verifysoft)
Vortrag von Dipl.-Ing. Royd Lüdtke, Static Code Analysis, Verifysoft Technology Offenburg
Fehlerhafte Software führt immer zu Problemen. Im besten Fall gibt es unzufriedene Nutzer. Oft kommt es zu Imageschäden und Vermögensverlusten. Bei sicherheitskritischer Software riskiert man Explosionen, Verletzte oder sogar Tote. Dipl.-Ing. Royd Lüdtke, Direktor für Statische Codeanalyse bei Verifysoft, zeigt bekannte und weniger bekannte Softwarefehler: Rückruf von Herzschrittmachern, Microsoft Xbox One, ICE 3 Velaro D, Kampfflugzeug F-16, Explosion der Ariane 5, Therac-25, Lenkwaffenkreuzer USS Yorktown, Vermögensverluste bei Knight Capital, Marsroboter Sojourner, ...
Risiken und Kosten minimieren mit Statischer Codeanalyse
42:04 März 2020 Deutsch (von Royd Lüdtke, Verifysoft)
Vortrag von Dipl.-Ing. Royd Lüdtke, Static Code Analysis, Verifysoft Technology Offenburg
Statische Codeanalyse - nur für kritische Software? Tools für die Statische Codeanalyse senken Kosten und Risiken. Sie decken u.a. Kontroll- und Datenflussanomalien auf, sorgen für mehr Sicherheit gegen Angriffe (Security), erhöhen die Performance und die Wartbarkeit von Software. Statische Codeanalyse ist für sicherheitskritische Software unabdingbar, bringt aber für alle Softwareprojekte große Vorteile. Statische Analysetools sind dringend empfohlen, denn jede Software birgt Risiken. ...
Auswahlkriterien für Statische Code-Analyse-Tools
27:42 März 2020 Deutsch (von Royd Lüdtke, Verifysoft)
Vortrag von Dipl.-Ing. Royd Lüdtke, Static Code Analysis, Verifysoft Technology Offenburg
Statische Code-Analyse-Werkzeuge tragen dazu bei, Kosten und Risiken in Softwareprojekten zu minimieren. Die Auswahl eines geeigneten Tools zur statischen Codeanalyse ist allerdings nicht einfach.
Der Vortrag zeigt Beurteilungskriterien auf, die bei einer Entscheidungsfindung unterstützen. ...
Code Coverage auf kleinen embedded Targets: Herausforderungen und Lösungen (116)
15:34 Februar 2020 Deutsch (von Sebastian Götzinger, Verifysoft)
Sicherheitsnormen verlangen die Messung der Testabdeckung auf embedded Targets.
Bei kleinen Zielsystemen ist die hierfür notwenige Source Code Instrumentierung herausfordernd.
Der Vortrag zeigt Lösungsansätze sowie deren Vor- und Nachteile:
- Aufteilung des Codes
- Auslagerung der Laufzeitbibliothek
- Optimierung der Zählart durch die BitCov bzw. ByteCov Technologien des Host-Target-Verfahrens beim Code Coverage Analyser Testwell CTC++.
Vortrag von Sebastian Götzinger auf dem ESE-Kongress 2014 in Sindelfingen.
37:45 March 2019 (by Dr. Paul Anderson, GrammaTech)
6. Static Code Analysis Day 2019:
This talk will describe how machine learning techniques work and will show how they are able to find several previously unknown bugs in high-profile software systems. It will demonstrate how software developers can use these techniques to find defects that are otherwise very difficult to anticipate.
Why measuring Code Coverage can safe life and a ton of Money
16:14 August 2018 English (by Sebastian Götzinger, Verifysoft)
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.
Safety Standards and related Code Coverage Levels (ECS Stockholm)
27:34 December 2015 English (by Olivier Casse, Verifysoft)
This presentation has been held at Embedded Confernece Scandinavia in Stockholm (November 2015). Olivier Casse (Verifysoft France) shows which code coverage levels are required by saftety standards and how to achieve them with Testwell CTC++.