Verifysoft Technology GmbH

[English][Français]
Verifysoft Presentation
Verifysoft-Präsentation

Compliance with DO-178C, EN 61508, EN 62304, ISO 26262

Verifysoft Flyer
Firmenbroschüre

CodeSonar Free Trial

Verifysoft Academic Program
Hochschulprogramm

 

Verifysoft Software Testing Library
Software Testing Library

 

 

nützliche Links

Seminare Testing Embedded Systems

Software-Testtools für Produktivität und Qualität

GrammaTech

GrammaTech Logo

GrammaTech CodeSonar®

CodeSonar® von GrammaTech ist ein Tool für die statische Codeanalyse von in C, C++ und Java geschriebener Software. CodeSonar wird von Firmen eingesetzt, die eine "Null-Fehler-Toleranz" in ihren Projekten haben. GrammaTech CodeSonar ist das leistungsfähigste System für die Quellcodeanalyse, welches aktuell auf dem Markt verfügbar ist. Das Werkzeug ist außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. weitere Infos
 
 
CTC++

Testwell CTC++ Test Coverage Analyse für C/C++, Java, C#

Testwell CTC++ zeigt alle Stufen der Code-Coverage an (Function-, Decision-, Statement-, Condition-, MC/DC- und Multicondition-Coverage). Das Tool arbeitet mit allen Compilern und allen embedded Targets. Testwell CTC++ erfüllt die Anforderungen von Normen wie DO-178C, IEC 61508 und ISO 26262.     > 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
 
Conformiq

Automatische Generierung von Black-Box-Tests mit Conformiq

Generieren Sie Ihre Testfälle für Funktions-, System-, Akzeptanz-, Regressions- und Integrationstests automatisch statt diese mühsam und zeitintensiv manuell zu schreiben. &nbsp: > weitere Infos
© 2010-2016 Verifysoft Technology GmbH         last updated: 15 April 2016         Impressum