LHO1 stud it

Masterarbeit im Bereich Benchmarking zur statischen Code-Analyse in C & C++Nenzing | Job ID 25698

  • Job ID 25698
  • Division Maritime Krane
  • Organization Liebherr-Werk Nenzing GmbH
  • Area of employment Forschung / Entwicklung
  • Country Österreich
  • Entry level Studierende
  • Type of contract Vollzeit

Die Liebherr-Werk Nenzing GmbH entwickelt, produziert und vertreibt Raupenkrane mit einer Traglast von bis zu 300 Tonnen, Hydroseilbagger sowie Ramm- und Bohrgeräte. Neben diesen Produkten bietet das Unternehmen auch zahlreiche Dienstleistungen und Services an, welche die Prozesse auf der Baustelle erleichtern.

Beschreibung

Thema: "Benchmark von State-of-the-Art Tools für die statische Code-Analyse in C und C++"

Ziel der Masterarbeit ist die Durchführung eines Benchmarks für State-of-the-Art Tools zur statischen Code-Analyse (SCA) mit Identifikation geeigneter Tools für den praktischen Einsatz. Aufgrund der erheblichen Kosten, die mit der Einbindung eines solchen Tools in den Software-Lebenszyklus verbunden sind, ist es wichtig zu wissen, welche Fehler erkannt werden und wie genau und effizient die Analyse ist. Zu diesem Zweck wählen wir folgende Schritte aus:

In einem Benchmark werden Open-Source-Tools (CPPCheck, Splint, Flawfinder, etc.) als auch kommerzielle Tools (Klocwork, etc.) auf eine Code-Basis ausgeführt. Die Code-Basis besteht in der Regel aus synthetischen Codes und verfügt über eine Vielzahl von gängigen Programmierfehlern (Common Weakness Enumeration) wie zum Beispiel Endlosschleifen, Speicherüberlauf, nichtbenutzte Variablen oder unerreichbarer Code. Die Tools werden hinsichtlich verschiedener Kriterien wie zum Beispiel Usability, Konfiguration eines Regelwerks und Workflow-Integration diskutiert und anhand von verschiedenen Metriken (Präzision, False-Positiv-Rate, etc.) bewertet. Gegebenenfalls erfolgt eine Empfehlung geeigneter Tools für den weiteren Einsatz.

Aufgaben

  • Einarbeitung und Recherche zu State-of-the-Art SCA-Tools
  • Analyse der Anforderungen
  • Selektion geeigneter SCA-Tools für einen Benchmark
  • Aufbereitung einer Code-Basis (C/C++)
  • Durchführung eines Benchmarks
  • Evaluation der Tools inklusive Bewertung und Diskussion
  • Visualisierung und Präsentation der Ergebnisse
  • Gegebenenfalls Ableitung / Empfehlung geeigneter Tools für den praktischen Einsatz

Qualifikation

  • Studium Mathematik, (Technische) Informatik, Physik oder Ähnliches
  • Fundierte Kenntnisse der Programmiersprache C (optional C++, Python)
  • Kenntnisse im Bereich statischer Code-Analyse wünschenswert
  • Erfahrung im Umgang mit Safety/Coding Standards (MISRA, etc.) wünschenswert
  • Begeisterungsfähigkeit für das Thema sowie Engagement und Einsatzbereitschaft

Unser Angebot

Wir bieten Ihnen eine angemessene Vergütung sowie ein interessantes Arbeitsumfeld in einer angenehmen Arbeitsatmosphäre. Die Masterarbeit wird im Vollzeit-Modell (38,5 Stunden pro Woche) über einen Zeitraum von mindestens 6 Monaten am Standort in Nenzing angefertigt. Bitte senden Sie uns mit Ihrer Bewerbung eine gültige Immatrikulationsbescheinigung, einen Nachweis Ihrer aktuellen Studienleistungen sowie die Studienrichtlinie, in der die Abschlussarbeit geregelt ist. Die Masterarbeit ist auf Wunsch auch Remote durchführbar.

Haben wir Ihr Interesse geweckt? Dann freuen wir uns über Ihre Online-Bewerbung. Bei Fragen kontaktieren Sie bitte Matthias Boettiger unter: +43 50809 42575.

Liebherr - One Passion. Many Opportunities.

Apply online now Print page Share

  • Job ID 25698
  • Division Maritime Krane
  • Organization Liebherr-Werk Nenzing GmbH
  • Area of employment Forschung / Entwicklung
  • Country Österreich
  • Entry level Studierende
  • Type of contract Vollzeit

The company

Die Liebherr-Werk Nenzing GmbH entwickelt, produziert und vertreibt Raupenkrane mit einer Traglast von bis zu 300 Tonnen, Hydroseilbagger sowie Ramm- und Bohrgeräte. Neben diesen Produkten bietet das Unternehmen auch zahlreiche Dienstleistungen und Services an, welche die Prozesse auf der Baustelle erleichtern.​

Location

Liebherr-Werk Nenzing GmbH

Dr. Hans Liebherr Str. 1

6710 Nenzing

Österreich

To the location

Contact

Matthias Boettiger

  • Phone+43 50809 42575

________

Due to the spread of coronavirus, response times within the application process may be delayed. We would kindly ask you to refrain from sending us any inquiries in this regard. Thank you for your understanding.

FAQs

Do you have any questions about working for Liebherr? Find the answers here! FAQs

Speculative Application

Didn’t find the position you were looking for? You are welcome to send us a speculative application. Speculative applications