Verifysoft Technology GmbH

Verifysoft Technology ist seit 2003 auf die Entwicklung, den Vertrieb und den Support von erstklassigen Softwaretest- und Analysetools spezialisiert. Mit einem internationalen Team betreuen wir vom Firmensitz in Offenburg (Deutschland) aus über 750 Kunden mehr als 40 Ländern. Hierbei werden wir von unseren Distributoren in den USA, Großbritannien, Italien, Israel, Indien, Korea, Japan, China und Singapur unterstützt.

Code Coverage: alle Compiler, alle Targets, alle Coverage-Stufen
Testwell CTC++ ist der führende Code Coverage Analyzer für embedded Software. Das Tool arbeitet mit grundsätzlich allen Compilern und allen – selbst kleinsten - embedded Targets. Neben C und C++ wird auch die Testabdeckung für Java gemessen. Hierbei werden alle Coveragestufen bis zur MC/DC- und Multicondition-Coverage abgedeckt, so dass Testwell CTC++ in zahlreichen sicherheitskritischen Softwareprojekten eingesetzt wird, die nach Normen wie DO-178C, ISO 26262 oder IEC 61508 zertifiziert werden müssen. Ein entsprechendes TÜV-Zertifikat steht zur Verfügung.

Fehler früh mit Statischer Code Analyse aufdecken
CodeSonar ist ein Werkzeug für die Statische Code-Analyse, welches speziell für den Test von embedded Software konzipiert wurde. Das Tool wird von Firmen eingesetzt, die eine "Null-Fehler-Toleranz" in ihren Projekten haben. CodeSonar ist außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. N eben Aufdecken von Bugs checkt CodeSonar selbstverständlich auch Programmierrichtlinien wie zum Beispiel MISRA ab.

Sie haben Code bei dem Sie nicht "durchblicken"?
Imagix 4D ist ein Werkzeug, um komplexen, in C, C++ und Java geschriebenen Third-Party- und Legacy Source Code zu verstehen, zu dokumentieren und zu verbessern. Imagix 4D automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten. Das Werkzeug deckt Probleme in der Datennutzung und bei Task-Interaktionen auf. Mit Imagix 4D steigern Sie Ihre Produktivität und Qualität und reduzieren Risiken.

Sie wollen die Performance Ihrer Software verbessern?
Für Anwendungen, die zeitkritische Aufgaben erfüllen müssen, kann die Performance mit Codee, einem Statischen Codeanalysetool, analysiert und verbessert werden.

Sicherheitslücken in zugelieferter Software erkennen
Komponenten in Thrid-Party-Software, die bei der eigenen Softwareentwicklung genutzt werden, sind oft unbekannt. Allerdings können diese Sicherheits-Schwachstellen enthalten. CodeSentry analysiert Binärcodes auf seine Zusammensetzung, erstellt eine Software-Stückliste (Software Bill of Materials, SBOM) und warnt vor potenziellen Sicherheitslücken.

Notwendige Kenntnisse über Softwarequalität durch unsere Seminare
Verifysoft bietet Ihnen ein breites Spektrum von Seminaren. Hierdurch werden Sie in die Lage versetzt, Software effizient und effektiv testen zu können und Ihre Qualität zu erhöhen.

Expertise

Verifysoft Technology hat umfangreiche Erfahrung in sicherheitskritischen Projekten. Wir sind Spezialist für Test- und Analysewerkzeuge, die insbesondere bei der Entwicklung von embedded Software eingesetzt werden. Unser Fachwissen geben wir in Seminaren für Entwickler, Projektmanager und Qualitätsverantwortliche weiter.

Weitere Informationen

Kurzprofil Verifysoft Technology