18 August 2022
Short profile Verifysoft Technology
Since 2003, Verifysoft Technology has specialized in the development, distribution and support of premium software testing and analysis tools. With an international team, we support over 700 customers in more than 40 countries from our office in Offenburg (Germany). We are also supported by our distributors in the USA, Great Britain, Italy, Israel, India, Korea, Japan, China and Singapore.
Code Coverage: all compilers, all targets, all levels of coverage
Testwell CTC++ is the leading code coverage analyzer for embedded software. The tool works with basically all compilers and all - even the smallest - embedded targets. In addition to C and C++, the test coverage for Java and C# is also tested. All coverage levels up to MC/DC and Multicondition coverage are covered, allowing Testwell CTC++ to be used in numerous safety-critical software projects which have to be certified according to standards such as DO-178C, ISO 26262 or IEC 61508. A Qualification Kit is available to verify suitability.
You got source code and “can't understand it?"?
Imagix 4D is a tool to understand, document and improve complex third party and legacy source code written in C, C++ and Java. Imagix 4D automatizes the analysis of the control flow and its dependencies. The tool detects problems in data usage and task interactions. With Imagix 4D you increase your productivity and quality and reduce risks.
Detect errors early with static code analysis
GrammaTech CodeSonar is a static code analysis tool designed specifically for testing of embedded software. The tool is used by companies that have a “zero error tolerance” in their projects. GrammaTech CodeSonar is exceptionally precise and finds an average of twice as many critical errors as tools from other providers. In addition to detection bugs CodeSonar naturally checks for programming guidelines such as MISRA.