Verifysoft Technology GmbH

[English][Français]
Verifysoft Flyer
Firmenbroschüre (1,6 MB)

Verifysoft-Präsentation
(Slides, 2 MB)

Coverity Free Trial

Verifysoft Academic Program
Hochschulprogramm

 

Verifysoft Software Testing Library
Software Testing Library

 

Follow us on
twitter

 

nützliche Links

Software-Testtools für Produktivität und Qualität

Test-Management mit QMetry

QMetry ist eine flexible Test-Management-Software, die nahtlos in andere ALM-Tools integriert werden kann.   > weitere Infos
  QMetry
 
Conformiq

Automatische Generierung von Black-Box-Tests mit der Conformiq Tool Suite™

Generieren Sie Ihre Testfälle für Funktions-, System-, Akzeptanz-, Regressions- und Integrationstests automatisch statt diese mühsam und zeitintensiv manuell zu schreiben.
Der Conformiq Designer™ generiert automatisch Testfälle basierend auf UML-Designmodellen, die Sie mit dem Conformiq Modeler™ oder Third-Party-Modeling-Tools erstellen. > weitere Infos
 
Coverity

Coverity Static Analysis deckt kritische Softwarefehler in C/C++, Java und C# auf

Coverity Static Analysis ist das weltweit fortschrittlichste statische Analysetool für die Garantie sicherer und zuverlässiger Software.
Coverity Static Analysis deckt kritische, schwer zu findende Probleme und Sicherheitslücken während der Codingphase bzw. des System-Build-Prozesses auf. Kostenloser Trial verfügbar. > weitere Infos
Fallstudien: Frequentis Wien, Schneider Electric
 
Software Diagnostics

Software Diagnostics

Werkzeuge für Debugging, Monitoring und Visualisierung komplexer Softwaresysteme und ihrer Entwicklungsprozesse, die Software-Architekturinformationen und dynamische Systeminformationen direkt aus Implementierungen ableiten. Die Informationen werden über virtuelle Software-Landschaften und Softwarekarten visualisiert. > Software Diagnostics Studio   > SD Developer Edition
 
CTC++

Testwell CTC++ Test Coverage Analyse für C/C++, Java und C#

bessere Softwaretests und mehr Sicherheit durch Code-Coverage: Function-, Decision-, Statement-, Condition-, Multicondition-, MC/DC-Coverage - im Einsatz u.a. für Luftfahrt (DO-178B) und TÜV-Zertifizierungen.
bei embedded Systemen für alle Targets     > weitere Infos
Neu: CTC++ Training
 
CMT++

Code-Komplexitätsmessungen für C/C++ und Java mit Testwell CMT++ und CMTJava

Analysieren Sie die Komplexität Ihrer Software - einfache Handhabung, schnelle und klare Ergebnisse - McCabe-, Halstead-, LOC-Metriken, Maintainability Index     > weitere Infos
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
© 2010-2011 Verifysoft Technology GmbH         last updated: 27 Jan 2012         Impressum