Verifysoft Technology GmbH

[Français][Deutsch][Polski]
Verifysoft Flyer
Company Flyer (2,5 MB)

Company and Products
(Slide Presentation)

Coverity Free Trial

Follow us on
twitter

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

Conformiq Qtronic

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
 
Coverity

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
 
CTC++

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
 
CMT++

Code Complexity Measures for C, C++ / Java : Testwell CMT++ and CMTJava

Check the code complexity of your applications - easy to use, quick and clear results - McCabe-, Halstead-, LOC-metrics, Maintainability Index > more
Alcatel Axalto Barco Bombardier Bosch BSI BT Bull Continental Daimler ESA ESO GE Giesecke Gemalto Hitachi Infineon Intel Jena Optronik Knorr Bremse Mentor Graphics NXP Oberthur Philips RWE Sagem Siemens Sopra STMicroelectronics T-Mobile Texas Instruments Thales TomTom T-Systems Volkswagen Webde ZF Zodiac
© 2009 Verifysoft Technology GmbH         last updated: 11.01.2010         Contact