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:
        25.-26.10.2010   Stuttgart
Grundlagen des modellbasierten Testens
        14.10.2010   Offenburg         31.01.2011   München

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

Verifysoft Seminar Softwaretest
 
Conformiq

Steigern Sie Qualität und Produktivität Ihrer Black-Box-Test 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.
Das bisher unter dem Namen Coverity Prevent bekannte Tool 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
 
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: 21.07.2010         Impressum