20 November 2018
Video topics: Company/General Testwell CTC++ Testwell CMT++/CMTJava Imagix 4D GrammaTech CodeSonar Julia Static Analyzer
Videos in other languages:
Verifysoft Company Presentations
03:11 April 2019
Until now Testwell CTC++ is mainly used for software safety. But this leading code coverage analyser can also be deployed for security. In this area the tool is being used for Penetration-Tests in order to prove that code is not being executed through hacker attacks. Imagix 4D is a tool to easily understand unknown C, C++ and Java code by visualisation. It simplifies the evaluation of code quality through diverse static assessments and the application of metrics. Imagix 4D supports you through partly automated tests and the creation of reports of code reviews. It visualises and documents differences between various software versions.
04:46 April 2019
Verifysoft Technology participated in the Embedded World 2019, for the 15th time in its 16 years of company history. Until now our testing and analysis tools are mainly used for software safety. Because of the challenges of the Internet of Things and connected objects, now also software security matters.
02:24 November 2018
In this short video we describe the the history and the offering of Verifysoft Technology. Software Quality has no borders: Today more than 500 customers in almost 40 countries rely on our tools to ensure software safety and security.
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)
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.
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.
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.
01:21 March 2012
Video footage from droidonNL 2011, largest android developer gathering.
Software Testing (in general)
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
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.
Testwell CTC++ Test Coverage Analyser
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.
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.
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.
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.
General Presentation, Short Introduction (Prime Example), User Testimonial Embedded Office (in German with English subtitles), User Testimonial Schleissheimer (in German with English subtitles, Code Coverage for Embedded Targets, Code Coverage on Embedded Targets (for Testwell CTC++ Users), Usage of Testwell CTC++ for Embedded Targets (demo based on an Atmel ATmega 328p μController), Safety Standards and related Code Coverage Levels (ECS Stockholm), Code Coverage Levels and Safety Standards, Code Coverage and ISO 26262, Kit de qualification pour Testwell CTC++ (in German with English subtitles How to integrate Testwell CTC++ into your IDE, Usage of Testwell CTC++ for Embedded Targets (demo based on an Atmel ATmega 328p µController), Integration in Eclipse, Usage with gcc based Cross-compiler, Usage with IAR Embedded Workbench, MATLAB /Simulink interface example, Usage with Microchip MPLAB IDE, Usage with Microsoft Visual Studio 2008 IDE, Usage with Lauterbach Trace32, Usage with Renesas CS+ IDE, Thirty minutes web presentation about the Tool Qualification Kit for Testwell CTC++, Code Coverage on small safety-critical embedded targets, ALL 26 TESTWELL CTC++ VIDEOS
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.
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.
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.
04:01 August 2012
Demo of the static code analysis tool Grammatech CodeSonar®.
04:38 April 2017
Advanced Static Analysis with GrammaTech CodeSonar compared to tools like PC-Lint® and Cppcheck.
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.
02:27 March 2018
Interview with Mark Hermeling, Senior Director of Product Marketing at GrammaTech.
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.
GrammaTech CodeSonar, Performing a Security Audit with CodeSonar, How Does CodeSonar Find More Bugs?, GrammaTech CodeSonar Quick Demo, GrammaTech CodeSonar for Binary Code, Static Analysis Using CodeSonar from GrammaTech, Software Visualization, Software Visualization for System-of-Systems, GrammaTech CodeSonar for Java, Visualizing Static Analysis And Collaboration with CodeSonar - DESIGN West 2012, Protect Your Software Supply Chain, Tainted Data Analysis in CodeSonar , Integration Between GrammaTech CodeSonar and Wind River Workbench , ALL 14 GRAMMATECH CODESONAR-VIDEOS
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.
16:53 December 2015
This video demonstrates how to use Imagix 4D to get information about code which is unfamiliar.
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.