Service Dienstleistung

WIR STEHEN IHNEN MIT KOMPETENZ ZUR SEITE.

Sie benötigen Hilfe bei der Nachbereitung der Ergebnisse Ihrer verifizierenden statischen Code-Analyse? Neben unserem Tool bieten wir auch Dienstleistungen als Lösung an. Durch unsere bereichsübergreifende Kompetenz aus über 20 Personenjahren in der Forschung und Entwicklung von qualitätssicherungs- und verifizierenden Methoden gehen wir flexibel und individuell auf Ihre Wünsche und Anforderungen ein.

WIR BERATEN.

Wir beraten Sie zu den Schwachstellen Ihrer bestehenden Werkzeuge zur verifizierenden statischen Code-Analyse, und zu deren Ergebnissen.

WIR SCHULEN.

Wir schulen Sie zum Einsatz von QPR-Refine in Ihrem Kontext, d.h. passend zu Ihren Prozessen, Ihrer Werkzeugkette und Ihrer Entwicklungs- und Betriebsumgebung.

WIR ANALYSIEREN.

Wir liefern Ihnen präzise Fehleranalysen mit unserem Werkzeug QPR-Refine: ein exakter Analysebericht und konkrete Fehlerpfade — entweder vor Ort oder bei uns.

WIR ENTWICKELN.

Wir entwickeln eigene Werkzeuglösungen oder Anpassungen zu Ihrer verifizierenden statischen Code-Analyse bzw. im Umfeld von LLVM und clang.

WIR BEREITEN AUF.

Wir bereiten die Fehlerberichte Ihrer bestehenden Werkzeuge zur verifizierenden statischen Code-Analyse auf, mit Hilfe unseres eigenen Werkzeuges und unserer Erfahrung.

WIR INTEGRIEREN.

Wir integrieren QPR-Verify oder QPR-Refine in Ihren Kontext, d.h. in Ihre Prozesse, Werkzeugkette und Entwicklungs- und Betriebsumgebung.

Haben Sie noch Fragen? Dann kontaktieren Sie uns per Telefon oder über E-Mail!