YouTube Playlists (Lien vers notre chaine YouTube)
Vidéos dans d'autres langues:
Test de logiciels
The World of Static Analysis
37:25 July 2025 Recorded Webinar English
Recorded Webinar with the following topics: Introduction Verifysoft, Introduction Static Analysis, Concurrency Analysis (Race Conditions, Datarace, Deadlock),
Compliance with Coding Guidelines, Checking for Maintainability (Metrics), Security Analysis (Static Application Security Testing (SAST), DevSecOps, O-Day and N-Day-Vulnerabilities),
CodeSonar, Software Composition Analysis (SCA), Problems of Binary Files, Software Bill of Materials (SBOM), Software Hardening (Security Attributes), CodeSentry,
Static Performance Analysis (Codee), Energy Consumption Optimization
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.
Explanation of different Code Coverage levels
05:28 June 2019
This video explains code coverage levels such as Function Coverage, Statement Coverage, Decision Coverage, Path Coverage, MC/DC Coverage, and Multicondition Coverage (by Sabine Poehler, Product Manager Testwell Tools, Verifysoft Technology).
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.
37:36 May 2021
Dr. Paul Anderson, Vice President of Engineering, GrammaTech Inc. USA, explain in this presentation:
An N-day vulnerability is a known security problem for which a fix is available, but where the fix has not been applied due to oversight, poor practice, or misunderstanding. To identify such risky components, Software Composition Analysis tools are available to scan the source code for matches against a database of known code vulnerabilities in versioned components. This problem is particularly acute for organizations that receive software binary code from their suppliers because the source code is unavailable to scan. This talk introduces a new technique for identifying N-day vulnerabilities in binary components. Under the hood are a set of identification algorithms that use a variety of techniques including machine learning that work in concert to produce a software bill of materials enumerating the components used in the compilation of the binary. This is then cross-checked against vulnerability databases to produce a report that assesses the risk of the program as a whole.
Functional Safety Methods for the Software Development
59:33 November 2022 English
Selecting the right methods of Functional Safety Standards require a lot of experience. Martin Heininger (HEICON Global Engineering) shows during this recorded webinar how to proceed.
Topics: Can we use one process for different safety standards? Functional Safety Standards, Requirements Engineering, Architecture, Design and Coding principles, Software Verification in General,
Component-, Integration- and System-Testing, Take Home Message
ISO 26262: Experience-based selection of software development measures and methods
1:04:13 October 2022 English
Registered Webinar by Dipl.-Ing. Martin Heininger (HEICON Global Engineering)
Informal - Semi-formal - Formal Notation Principles, Safety architecture principles, Handling of coding guidelines, Review - Static Analysis, Unit-, Integration- and System-Test, Take Home Message,
Testwell CTC++ Code Coverage Analysis, Questions and Answers (Do assessors accept a pracmatic approach?)
Challenges in the use of AI Systems for testing Safety critical Software
1:02:07 March 2023 English
Introduction Verifysoft Technology and HEICON Global Engineering, Definition of articial intelligence (AI), Status of Standardization, Comparison of AI algorithms and classical software,
Use of AI in Requirements / Test engineering, Conclusion, Testwell CTC++ Code Coverage Analyzer
Software-Tests and Analysis with CodeSonar, Testwell CTC++, Imagix 4D
1:43 September 2021 English
I want to test my software - what do I do?
Standards and requirements to fulfill.
When do I start testing?
The later an error is discovered, the more expensive it will be: Static Analysis with GrammaTech CodeSonar can help.
Then Dynamic Analysis (Unit Tests) together with Code Coverage (Testwell CTC++) need to be done.
Legacy code / unknown code need to be understood: Imagix 4D helps.
Thèmes de vidéos : Testwell CTC++ Testwell CMT++/CMTJava CodeSentry CodeSonar Imagix 4D Codee Société Equipe Salons Tests logiciels Toutes les vidéos