Verifysoft Technology GmbH

Verifysoft Technology GmbH

Place Icon
In der Spöck 10-12, 77656 Offenburg - Deutschland

Karte

Kontaktdetails

Phone Icon 0781/1278118-0
Fax Icon 0781/6392-029

Kontaktformular

Wir senden Ihre Anfrage als E-Mail an die bei uns hinterlegte Kontaktperson bei Verifysoft Technology GmbH.

* Pflichtfeld

Ü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 700 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.

Als eigenständiges und solide wirtschaftendes Unternehmen unterstützt Verifysoft Kunden weltweit mit hochspezialisierter Software bei der Qualitätssicherung ihrer Softwareprodukte.
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.
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.

Code Coverage: alle Compiler, alle Targets, alle Coverage-Stufen
Testwell CTC++ ist der führende Code Coverage Analyser 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 und C# 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. Zum Nachweis der Eignung steht ein Qualification-Kit zur Verfügung.

Fehler früh mit Statischer Code Analyse aufdecken
GrammaTech 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. GrammaTech 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.

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.

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.

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.