Video Topics: Testwell CTC++ Testwell CMT++/CMTJava CodeSentry CodeSonar Imagix 4D Codee Company Team Events SW-Testing ALL
YouTube Playlists (Link to YouTube)
Videos in other languages:
Verifysoft Technology: Company
07:03 December 2019
Software has become an integral part of our lives today. How important is the quality of software when you fly on an aircraft or when you drive your car? Faulty software can have fatal consequences. Verifysoft Technology has provided first class testing and analysis tools to software development teams. In short, we sell safety and security.
What does Verifysoft offer to over 600 customers in 40 countries?
Why is the customers’ satisfaction more important than making a fast buck?
Why is a positive working atmosphere important to us?
The Verifysoft image film provides answers.
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.
Team
21:01 August 2017
Klaus Lambertz, founder and CEO of Verifysoft Technology, talks about the contribution of Verifysoft to enhancing software security, as well as the development and strategy of the company. Incorrect software can cost human lives and Verifysoft helps to save them. Bugs in software could affect reputation and competitiveness in the market and in extreme cases result in company insolvency. In spring 2016 we exceeded the 500 customers´ mark. Actually we´ve got an exponential growth, we anticipate at least 100 new customers in the next year. Indeed, we have also got tested software on Mars, not only on earth!
Watch the entire interview of August 2017 with the following chapters:
(1) Who is Verifysoft and what is Verifysoft's offering? (04:15)
(2) How important is the Quality of Software? (02:16)
(3) Who needs Verifysoft's Testing Tools? (03:06)
(4) Who are the Customers of Verifysoft? (02:34)
(5) What is the Strategy of Verifysoft? (03:10)
(6) How is the Evolution of Verifysoft's Business? (04:44)
(7) What is the "Spirit of the Verifysoft Team"? (03:02)
01:49 May 2023
Just for Run ...
The teams from Verifysoft Technology and our friends from HEICON Global Engineering from Schwendi near Ulm and Memmingen took part in the Offenburg city run / badenova running day on May 7 with a lot of verve and a lot of fun.
The 3 x 1 km relay led from the historic town hall through the city center of Offenburg.
Here our run in the video.
Events
03:46 March 2025
Verifysoft presented at the Embedded World in Nuremberg (Germany) Software Testing and Analysis tools for Static Code Analysis, Static Performance Analysis, Code Coverage, Software Composition Analysis (Binary Code Analysis, SBOM), and for Understanding Legacy Code.
Explore the tools Testwell CTC++, CodeSonar, CodeSecure, Codee, and Imagix 4D in our video.
Software Testing
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
Testwell CTC++
THE TESTWELL CTC++ VIDEO: How important is correct software code?
08:06 December 2016 English
Testwell CTC++ is the leading tool for analysing code coverage on host and on all (even smallest) embedded targets. The tool is widely used for safety critical development, i.e. DO-178C, ISO 26262, IEC 60880, IEC 61508, and EN 50128.
Hundreds of companies and institutions in more then 30 countries all over the world use Testwell CTC++. Experience in this video why Testwell CTC++ is your first choice for measuring code coverage.
Testwell CMT++ / CMTJava
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.
Imagix 4D
03:08 October 2019
The software developer Anna is responsible for an old software project no one knows any more about. The software documentation gives little information that does not help at all... The whole thing is like a nightmare that seems solvable only with massive time and money wasting. Then Anna comes across the tool Imagix 4D, which determines the actual state of software based on the source code. Through the generated graphs, documentation and reports, Anna quickly identifies the causes of the errors and can fix them more easily than expected. Anna immediately informs her customers, who are more than relieved...
CodeSonar
44:34 May 2021
Dr. Paul Anderson explains in this presentation:
Many teams use static analysis tools primarily to enforce coding standards like MISRA that are designed to make programming in highly risky languages such as C and C++ much less hazardous. However, because C and C++ are such dangerous languages, programs that seem perfectly compliant with these standards may still contain serious defects and security vulnerabilities due to the inadvertent introduction of undefined behavior. The primary purpose of advanced static analysis tools is to see past the superficial syntactic properties of programs and into their deep semantic meaning, and by doing so, find those bugs. This talk will describe how these tools work, and will show some concrete examples of real bugs that they found in production code, despite the code having gone through style checking, manual review, and testing. Finally, you will get a taste of how users can customize the tools to their own domain, thereby allowing users to greatly increase the value they receive from using them.
CodeSentry
10:07 May 2021
Comprehensive Security Strategy: DevSecOps for Binary Code.
Get your Software Compostion Analysis (SCA) with GrammaTech CodeSentry.
Codee
00:32 April 2024
Codee is the first code analysis solution designed to automate performance optimization in your code. Codee is a new static analysis tool taht detects performance problems in C, C++, and Fortran. Codee can even fix some performance issues automatically. Video from Embedded World 2024.
Video Topics: Testwell CTC++ Testwell CMT++/CMTJava CodeSentry CodeSonar Imagix 4D Codee Company Team Events SW-Testing ALL