Verifysoft Technology GmbH

[English][Français][Polski]
Verifysoft Flyer
Firmenbroschüre

 

Coverity Free Trial

Model Driven Quality Assurance

NEWS

CTC++ Code Coverage Analysis: neue Version 6.4 verfügbar: Code Coverage in allen embedded Targets > weitere Infos

Conformiq Qtronic verfügbar: automatische Testfallgenerierung durch Import von existierenden UML-Modellen > weitere Infos

Verifysoft weitet Code Coverage Tool Testwell CTC++ auf Java und C# aus. Das "CTC++ for Java and C# Add-on" erlaubt wie das Basistool CTC++ die Messung der Testabdeckung für alle Coverage-Niveaus > weitere Infos

Qualitätsoffensive für Großprojekte in C/C++ und Java: kostenloser Code-Scan mit Coverity Prevent. Sie arbeiten an Softwareprojekten mit mindestens 500.000 LOC? Nehmen Sie an unseren kostenlosen Code-Audit teil. Wir zeigen Ihnen mindestens dreißig gravierende Fehler in Ihrer Applikation. > weitere Infos

 

nützliche Links

Kostenloses Seminar "Softwaretest" mit Professor Dr. Daniel Fischer (Hochschule Offenburg)

Testing Seminar Verifysoft lädt zum nächsten kostenlosen Seminar zum Thema "Softwaretest" mit Professor Dr. Daniel Fischer, Professor für Angewandte Informatik, ein.
Vorgestellt werden verschiedene Methoden und Verfahren des Softwaretests, Testfallerstellung, Testprinzpien, Testqualitätsmessung und Senkung der Fehleranfälligkeit in Projekten.
Termin: Donnerstag, 19. Juni 2008, ab 10 Uhr im Technologiepark Offenburg > weitere Informationen und Online-Anmeldung

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.
Automatische Testfallerstellung basiertend auf Designmodellen (QML, UML). > weitere Infos

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

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++

CTC++ Test Coverage Analyse für C/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 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 Areva Axalto Barco Bombardier Bosch BT Continental Daimler ESA ESO GE Giesecke Gemalto Intel Jena Optronik Knorr Bremse Mentor Graphics NXP Philips Sagem Siemens Sopra STMicroelectronics T-Mobile Texas Instruments Thales T-Systems Volkswagen ZF Zodiac