More than 30,000 visitors from 73 countries came this year to the Embedded World Nuremberg in Germany.
As every year since 2005, Verifysoft Technology presented best in class software testing tools.
Verifysoft's Software Testing Solutions meet the requirements of standards like DO-178C, EN 50128, IEC 61508, 62304 or ISO 26262 and are used in safety and security critical projects.
We provide testing tools for Static analysis, dynamic analysis and for code coverage.
Testwell CTC++ is the leading Code Coverage Analyser for C and C++. It works also with Java and C#.
Testwell CTC++ provides meaningful and clear reports which show all coverage levels up to MC/DC und Multicondition coverage. Our coverage analyser works with all compilers and all embedded targets.
Testwell CTC++ fits to safety standards to insure code quality in 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 30 countries all over the world.
In addition to our coverage analyser, Verifysoft provides also static code analysis tools.
GrammaTech CodeSonar is specially designed for embedded software. CodeSonar finds more critical errors than any other static code analysis tool. The tool checks also for coding standards like MISRA C, MISRA C++, FDA-standards, CWE-, BSI-, "Power of Ten"- and JPL-regulations. Also own coding standards can be added.
Imagix 4D is a tool to understand and improve complex third party or legacy code.
With Imagix even complex code is easy to understand. The tool helps you with Control Flow Visualization and Architecture Visualization. Also Coding Standards like CWE rules are checked.
Verifysoft supports you to enhance your software qualify and the productivity of your software development teams. We provide tools, expert advise and seminars.