logo

Online Presentations

22 August 2017

Video topics:     Company/General     Testwell CTC++     Testwell CMT++/CMTJava     GrammaTech CodeSonar     Imagix 4D

Verifysoft Company Presentations

Klaus Lambertz, Interview August 2017
The customers’ satisfaction is more important than making a fast buck for our quarterly result
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)
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 and GrammaTech at Embedded World 2018
Verifysoft and GrammaTech at Embedded World 2018
04:13     March 2018
At the 2018 edition of Embedded World, Verifysoft Technology and it’s partner GrammaTech showed the latest evolutions of their software testing tools for static and dynamic code analysis. Learn in this video about Testwell CTC++ which shows Code Coverage even for cutting edge and extreme programming methods, binary and source code analysis, and the combinaion of static and dynamic analysis techniques for better software quality and faster time to market.
Droidcon Amsterdam 2011 Video
Droidcon 2011 Amsterdam co-sponsored by Verifysoft Technology
01:21     March 2012
Video footage from droidonNL 2011, largest android developer gathering.


Testwell CTC++ Test Coverage Analyser

Code Coverage Analyser Testwell CTC++: Produktvideo

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.

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.



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
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?
Integration Between GrammaTech CodeSonar and Wind River Workbench
11:15     May 2017
With this integration, software developers can annotate and resolve the software vulnerabilities that CodeSonar highlights without leaving the Wind River Workbench development environment, thereby significantly boosting productivity. Supporting the native Wind River VxWorks® real-time operating system as well as the POSIX API, CodeSonar provides advanced, whole program static analysis of application software and device drivers running in either kernel or user mode. For developers of complex Internet of Things (IoT) devices, CodeSonar delivers a must-have capability as it finds security and quality problems as well as problems specific to multi-core development such as deadlocks, livelocks, resource starvation, and race conditions. CodeSonar identifies bugs that can result in system crashes, unexpected behavior, and security breaches, reducing the risk of shipping costly, brand-damaging defects. It finds these bugs during the development phase, before software is tested, thereby saving cost and time.
GrammaTech at the Embedded World 2018
GrammaTech at the Embedded World 2018
02:27     March 2018
Interview with Mark Hermeling, Senior Director of Product Marketing at GrammaTech.
Embedded World 2018: GrammaTech with Innovations for CodeSonar
Embedded World 2018: GrammaTech with Innovations for CodeSonar
02:03     March 2018
GrammaTech CodeSonar is the leading tool for advanced static source code and binary analysis. GrammaTech is working on a groundbreaking technology that combines static and dynamic analysis techniques. A completely new plug-in for CodeSonar which detects state violations during host-based testing by analyzing memory usage will be available later this year. For developers, this means more efficiency, less security risks, and shorter time-to-market.


Imagix 4D

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.