Verifysoft Technology GmbH

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

 

Coverity Free Trial

Model Driven Quality Assurance

NEWS

CTC++ Code Coverage Analysis: neue Version 6.5 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

Neue Seminare:
kostenloses Grundlagenseminar Softwaretest
Model Based Testing
Testing von Embedded Systems
> weitere Infos

 

nützliche Links

Neues Seminarangebot zum Thema "Softwaretest"

Neben dem kostenlosen Grundlagenseminar "Softwaretest" bietet Verifysoft Technology jetzt ein zweitägiges Seminar "Testen von Embedded Systems" an.
Professor Dr. Ing. Fischer von der Hochschule Offenburg vermittelt im Rahmen des am 30.09. und 01.10.08 im Technologiepark Offenburg stattfindenden Seminars die notwendigen Kenntnisse, um qualitativ hochwertige und zuverlässige Embedded Systems effektiv testen zu können.
Conformiq Software (Finnland) zeigt am Donnerstag, dem 11.09.2008 im Workshop "Model Based Testing" wie beim modellbasiertem Testen mit Conformiq Qtronic™ Einsparungen und Qualitätssteigerungen in der Testphase erreicht werden können.
Seminarprogramm
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.
Automatische Testfallerstellung basierend auf Designmodellen (QML, UML). > weitere Infos

Finden Sie kritische Softwarefehler mit Coverity, dem führenden statischen Analysetool für C/C++, Java und C#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++, 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 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