Über uns

Firmenbeschreibung

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, Australien und Singapur unterstützt. Wir entwickeln unsere Kernprodukte der Marke TESTWELL mit einem handverlesenen, schlagkräftigen Team und bieten zudem erstklassige komplementäre Tools, Seminare und Dienstleistungen an. Wir verstehen unsere Kunden und sind ihnen - auch langfristig - ein verlässlicher Partner. Verifysoft hat umfangreiche Erfahrung in sicherheitskritischen Projekten und ist Spezialist für Test- und Analysewerkzeuge, die insbesondere bei der Entwicklung von embedded Software eingesetzt werden. Bei Verifysoft steht der Mensch im Mittelpunkt. Mit Freude arbeiten wir in einer guten und fairen Arbeitsatmosphäre zum Wohle unserer Kunden, Kollegen und unserem sozialen Umfeld.

Produkte/Linecard

Testwell CTC++ ist ein Code-Coverage-Analysetool für C und C++. Es ermöglicht eine umfassende Messung der Testabdeckung und wird in sicherheitskritischen Bereichen wie Automobil (ISO 26262), Luftfahrt (DO-178C) und Medizintechnik (IEC 62304) eingesetzt. Das Tool unterstützt alle Coverage-Maße bis hin zu MC/DC und ist vom TÜV Süd zertifiziert. Es arbeitet unabhängig vom Compiler, lässt sich in jede Entwicklungsumgebung integrieren und ist auch für Embedded-Software geeignet. Dank des geringen Speicherbedarfs und flexibler Datenübertragung kann es direkt auf dem Target-System genutzt werden. Testwell CTC++ bietet flexible und detaillierte Berichterstellung, inklusive der Möglichkeit, Justifications für nicht getesteten Code zu erfassen. Verifysoft stellt umfassenden Support sowie regelmäßige Updates sicher, sodass Unternehmen weltweit von einer zuverlässigen Testabdeckung profitieren.

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. Neben Aufdecken von Bugs checkt CodeSonar selbstverständlich auch Programmierrichtlinien wie zum Beispiel MISRA ab.

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.

CodeSentry ist ein Tool zur Analyse des Binärcodes auf seine Zusammensetzung. Es wird in fast allen Unternehmen genutzt, oft ohne vollständige Kenntnis der enthaltenen Komponenten und potenziellen Schwachstellen. CodeSentry analysiert die Softwarezusammensetzung, erkennt Sicherheitsrisiken in Open-Source- und Drittanbieter-Code und bietet eine präzise Binärcodeanalyse – auch ohne Zugriff auf den Quellcode. Durch Machine-Learning-Technologie ermöglicht es eine effiziente und weniger fehleranfällige Sicherheitsbewertung als herkömmliche SCA-Tools.

Codee ist ein statisches Analysewerkzeug für C/C++ und Fortran, das frühzeitig im Entwicklungsprozess eingesetzt wird. Das Tool deckt Performanceprobleme im Quellcode auf und kann sie oft automatisch beheben. Schwachstellen können so frühzeitig und kostengünstig beseitigt werden.

Standorte/Lager

Technologiepark Offenburg
In d. Spöck 10-12, 77656 Offenburg
0781 12781180
Germany

Dienstleistungen

​Die Verifysoft Technology GmbH bietet eine Reihe von Dienstleistungen und Produkten zur Verbesserung der Softwarequalität und Produktivität an. Neben der Entwicklung und dem Vertrieb von Softwaretest- und Analysetools wie dem Testwell CTC++ und Testwell CMT++/CMTJava, bietet das Unternehmen auch Schulungen im Bereich Softwaretest an. Zusätzlich vertreibt Verifysoft ergänzende Tools führender Hersteller, darunter CodeSonar und CodeSentry. Diese Lösungen unterstützen Unternehmen dabei, die Qualität und Sicherheit ihrer Softwareprodukte zu erhöhen.

Zielmärkte

• Automobilindustrie

• Luft- und Raumfahrt

• Automatisierung

• Medizintechnik

• Eisenbahn- und Bahntechnik

• Telekommunikation & Netzwerktechnik

• Verteidigung & Sicherheit

• IT-Beratung

• Forschung und Lehre

• geschäftskritische Entwicklung