Verifysoft Technology GmbH

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

Company and Products
(Slide Presentation)

Coverity Free Trial

Verifysoft Academic Program
Academic Program

 

Follow us on
twitter

 

Useful Links

Software Testing Solutions for Productivity and Quality

Conformiq

Automated Test Design™ with Conformiq Tool Suite™ (Conformiq Modeler™ and Conformiq Designer™)

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

Coverity Static Analysis

Coverity detects critical, hard-to-find, crash-causing defects and exploitable security vulnerabilities in C/C++, Java and C# 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-2010 Verifysoft Technology GmbH         last updated: 24.08.2010         Contact