Verifysoft Technology GmbH

[English][Deutsch][Français]
Verifysoft Presentation
Company Presentation

Compliance with DO-178C, EN 61508, EN 62304, ISO 26262

Verifysoft Flyer
Company Flyer (1,6 MB)

Coverity Free Trial

Verifysoft Academic Program
Academic Program

 

Follow us on
twitter

 

Useful Links

Software Testing Solutions for Productivity and Quality

Manage your Test Cases, not your Test Management Tool

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
 
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 Transparency Platform   > SD Flight Recorder   > SD TraceXplorer ABAP
 
CTC++

Testwell CTC++ Test Coverage Analyzer for C/C++, Java, C#

Better softwaretests and more security with the leading code coverage tool: Testwell CTC++ shows all coverage levels: function-, decision-, statement-, condition-, MC/DC- and multicondition coverage.
Compliance with standards like DO-178C, IEC 61508 and ISO 26262.
Supports all compilers and all embedded 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
 
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
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: 19 October 2012         Contact