Embedded World 2018:
Verifysoft and GrammaTech with new Testing Technologies for Embedded, M2M, and IoT Devices
Watch here our video about Verifysoft at Embedded World 2018 and GrammaTech's innovations.
The Embedded World is the world's leading meeting place for the embedded systems community. More than 1,000 exhibitors and 30,000 trade visitors came from 73 countries to Nuremberg in Germany.
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.
Code Coverage also for cutting edge programming methods
Verifysoft Technology presented a new user interface for the Code Coverage Analyser Testwell CTC++ which allows to switch between different Coverage Levels. Testwell CTC++ analyses for all coverage levels up to MC/DC and even Multicondition Coverage. The tool works with all compilers and all – even smallest - embedded targets and microcontrollers. Users compare the tool to an off road vehicle which is simple to use and can be driven on whatever terrain. Our Test Coverage Analyzer is used with many different C and C++ dialects, with "exotic" compilers, small targets and for measuring code coverage where cutting edge programming methods are used.
Testwell CTC++ fits to safety standards like DO-178C and ISO 26262 to ensure code quality in safety critical sectors like aerospace, automotive, transport, healthcare and nuclear power industries. This is the reason why Testwell CTC++ is used by hundreds of companies and organisations in more than 35 countries on all continents.
Imagix for understanding complex code
Imagix 4D is a tool which helps project managers and developers to understand, document and improve complex, third party or legacy code. The tool automates the analysis of control flow and dependencies. It detects problems in data usage and task interactions.
Visitors have also been very interested in our seminars about Testing of Embedded Software, ISO 26262 and Functional Safety.
GrammaTech with Innovations: CodeSonar/Libraries and CodeSonar/X
GrammaTech CodeSonar is the leading tool for advanced static source code and binary analysis. It provides the deepest analyis for C and C++ and finds critical software vulnerabilities for maximum application security by analyzing all of your code - including thrid-party, open source, and internally developed code.
GrammaTech CodesSonar checks now also binary libraries which are commonly used in embedded development.
Today’s embedded, M2M, and IoT devices are being developed in an increasingly agile, rapid-deployment paradigm, delivering highly sophisticated capabilities to the market more quickly than any time in history. To do so, teams are utilizing legacy code, open source, 3rd-party, and new proprietary code, to develop software for new devices that are being deployed to highly connected ecosystems, exposing them to new risks – including serious cyber threats.
Thanks to the Binary Analysis, GrammaTech CodeSonar increases the security of this software significantly. 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.