Verifysoft Technology GmbH

[Français][Deutsch]
Verifysoft Flyer
Company Flyer (1,6 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

Test Management with QMetry

QMetry facilitates the conventional testing cycle as well as agile life cycle while allowing you to link requirements to test cases and to defects. QMetry empowers you to monitor quality at every step of the test management cycle. Ultimately, you get an end to end coverage and traceability. Integration with ALM tools   > further information
  QMetry
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
 
Software Diagnostics

Software Diagnostics

Tools for debugging, monitoring, and visualization of complex software systems and their development processes. Software Diagnostics tools derivate software architecture information directly from implementations and obtain precise system dynamics information. The information is visualized based on virtual software landscapes and software maps. > Software Diagnostics Studio   > SD Developer Edition
 
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
New: CTC++ Training
 
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
AKKA Alcatel AMG AOA Attensity Barco BMW Bombardier Bosch BSI BT Bull Cinterion Comarch Continental Daimler Delta DGA dSpace ESA ESO Eurocopter GE Giesecke Gemalto Hitachi Infineon Intel Jena Optronik Knorr Bremse Liebherr Magneti Marelli Maquet MBtech Mentor Graphics NXP Oberthur Philips Raytheon RWE Sagem Schindler Schneider Electric SICK Siemens Sopra SPIE STMicroelectronics T-Mobile Texas Instruments Thales TomTom T-Systems Viessmann Volkswagen Webde Wincor Nixdorf Zeiss ZF Zodiac
© 2009-2012 Verifysoft Technology GmbH         last updated: 10 Jan 2012         Contact