
Firmenbroschüre (1,6 MB)
Verifysoft-Präsentation
(Slides, 2 MB)

Hochschulprogramm

Software Testing Library
Follow us on
nützliche Links
|
|
|
|
|
|
|
Software-Testtools für Produktivität und Qualität
|
|
Coverity Static Analysis deckt kritische Softwarefehler in C/C++, Java und C# aufCoverity 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
|
|
|
|
Test-Management mit QMetryQMetry ist eine flexible Test-Management-Software, die nahtlos in andere ALM-Tools integriert werden kann. > weitere Infos
|
|  |
|
|
|
|
|
|
|
|
Testwell CTC++ Test Coverage Analyse für C/C++, Java, 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
|
|
|
|
|
Code-Komplexitätsmessungen für C/C++ und Java mit Testwell CMT++ und CMTJavaAnalysieren Sie die Komplexität Ihrer Software - einfache Handhabung, schnelle und klare Ergebnisse - McCabe-, Halstead-, LOC-Metriken, Maintainability Index > weitere Infos
|
|
|
|
|
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 |
| |