Verifysoft Technology GmbH

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

 

Coverity Free Trial

Model Driven Quality Assurance

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

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 : 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 Areva Axalto Barco Bombardier Bosch BT Continental Daimler ESA ESO GE Giesecke Gemalto Intel Jena Optronik Knorr Bremse Mentor Graphics NXP Philips Sagem Siemens Sopra STMicroelectronics T-Mobile Texas Instruments Thales T-Systems Volkswagen ZF Zodiac
© 2009 Verifysoft Technology GmbH         last updated: 05.01.2009         Contact