Über uns

Beste Software-Qualität mittels exakter statischer Code-Analyse

Wir entwickeln statische Verifikationswerkzeuge, mit denen sich sicherheitskritische Softwarefehler zuverlässig erkennen und deren Ursachen klar veranschaulichen lassen. Entwickler und Tester können so höchste Softwarequalitä̈t erzielen, Time-to-Market-Vorgaben sichern und hohe Kosten vermeiden. 

Exakte automatische Analyseberichte.  Konkrete Fehlerpfade. 

Unsere innovative Verifikation basiert auf einer exakten statischen Code-Analyse mit höchste Präzision in der Fehlerfindung, die sich im Vergleich zu bestehenden Verfahren durch exakte automatische Analyseberichte sowie durch konkrete Fehlerpfade auszeichnet. Damit eignet sie sich besonders für sicherheitskritische Embedded Software und deren Zertifizierung, z.B. nach ISO 26262.

Software-Qualitätssicherung.  Logikbasierte Innovation.

Gegenüber anderen Werkzeugen der statischen Code‐Analyse erreichen wir eine eindeutige Erkennung von Fehlern durch höchste Präzision in der Programmanalyse. Damit ist maximale Software-Qualität mit deutlich geringerem Zeitaufwand möglich, was zu wesentlicher Kostenersparnis führt.

Im Vergleich zu traditionellen Test- und Simulationsverfahren bieten wir 100% Testabdeckung, ohne dass einzelne Testfälle manuell erstellt werden müssen, sowie ein besseres Codeverständnis durch innovative Methoden der Ablaufverfolgung und Programmdarstellung.

Wir freuen uns auf Ihren Kontakt:

QPR-Technologies Am Fasanengarten 5 76131 Karlsruhe Telefon: +49 (0) 721 608-47322 Telefax: +49 (0) 721 608-44211 E-Mail: info@qpr-technologies.de Web: http://www.qpr-technologies.de/