Verifysoft → Verifysoft Technology GmbH → Homepage english

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

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

CMT++ Complexity Measures Tool for C/C++

Check the code complexity of your applications - easy to use, quick and clear results - McCabe-, Halstead-, LOC-metrics, Maintainability Index > 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

Automatic Test Case Generation and Execution with Conformiq Qtronic

Automatic test case generation for Functional (black box testing), System and Acceptance testing, Regression testing for all programming languages. > more
Workshop "Automatic Test Generation", Offenburg (Germany), 11 September 2008