Verifysoft Technology GmbH

[English][Français][Polski]
Verifysoft Flyer
Firmenbroschüre (2,5 MB)

Verifysoft-Präsentation
(Slides, 1,7 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

Seminare und Workshops

Testen von Embedded Systems mit Professor Dr. Ing. Fischer:
        26.-27.04.2010   München
        21.-22.06.2010   Berlin
        25.-26.10.2010   Stuttgart

CMMI / Model Based Testing (kostenfrei)
        18.05.2010   Offenburg

Inhouse-Schulungen
Testen von Embedded Systems
Professionelles Programmieren mit ANSI C
Objektorientiertes Programmieren mit C++

Verifysoft Seminar Softwaretest
 
Conformiq Qtronic

Automatische Testfallgenerierung und -ausführung mit Conformiq Qtronic™

Schnellere und bessere Testfälle für Funktions- (Black-Box-), System-, Akzeptanz-, Regressions- und Integrationstests mit Conformiq Qtronic™.
Erhöhen Sie Qualität und Produktivität bei der Erstellung von Testfällen! Conformiq Qtronic™ generiert automatisch Testfälle basierend auf Designmodellen (QML, UML) Ihrer Software. > weitere Infos
 
Coverity

Finden Sie kritische Softwarefehler mit Coverity Prevent™, dem führenden statischen Analysetool für C/C++, Java und C#

Coverity ist das weltweit fortschrittlichste statische Analysetool für die Garantie sicherer und zuverlässiger Software.
Coverity deckt kritische, schwer zu findende Probleme und Sicherheitslücken während der Codingphase bzw. des System-Build-Prozesses auf. Kostenloser Trial für Großprojekte verfügbar. > weitere Infos
 
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 grundsätzlich für alle Targets     > weitere Infos
 
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
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
© 2010 Verifysoft Technology GmbH         last updated: 05.03.2010         Impressum