Company and Products
(Slide Presentation)

NEWS

CTC++ Code Coverage Analysis: new version 6.5: Code Coverage in all embedded targets with any compiler > more

Verifysoft Technology and Coverity Inc. (San Francisco/USA) have signed an agreement for the distributionship of the static analysis tools Coverity Prevent and Coverity Extend for Germany, Austria and Switzerland. > more

Conformiq Qtronic available: automatic test case generation and execution based on existing UML-models > more

Verifysoft Technology announced the availability of "CTC++ for Java and C#", an add-on for Testwell CTC++ Test Coverage Analyzer for C and C++. The add-on extends the code coverage capabilities of CTC++ from C and C++ to Java and C# > more

Useful Links

Software Testing Solutions for Productivity and Quality

Automated Test Design™ with Conformiq Qtronic™

Automatic test case generation for Functional (black box testing), System and Acceptance testing, Regression testing for all programming languages. > more

Find C/C++, Java, and C# Software Defects with the World's most advanced Static Analysis Tool

Coverity detects critical, hard-to-find, crash-causing defects and exploitable security vulnerabilities in source code during coding or during the system build process. > more

Testwell CTC++ Test Coverage Analyzer for C/C++, Java and C#

Better softwaretests and more security with the leading code coverage tool: CTC++ shows the coverage all the way to the Modified Condition/Decision Coverage (MC/DC) level as required by DO-178B projects
embedded systems: performs test coverage in all targets > more