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

Hochschulprogramm

Software Testing Library
Follow us on
nützliche Links
|
Software-Testtools für Produktivität und Qualität
|
|
|
|
|
|
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 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.
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
|
|
|
|
|
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
|
|
|
|
|
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
|
| |