Lade Veranstaltungen

« Alle Veranstaltungen

  • Diese Veranstaltung hat bereits stattgefunden.

FG Automotive Baden-Württemberg

23.02.2017 | 18:00 - 20:00

Das Fachgruppentreffen findet an einem späteren Termin statt!

Titel: Effiziente Fehleranalyse von variantenreichen Softwaresystemen
Abstract:
Statische Analysen spielen eine wichtige Rolle während des Testprozesses, um Fehler in Softwaresystemen möglichst früh zu erkennen. In der Praxis werden viele Softwaresysteme häufig als konfigurierbare Systeme entwickelt, um unterschiedliche Anforderungen an ein System gerecht zu werden. Dafür setzen Entwickler häufig Präprozessoren (z.B., #ifdefs) in der Entwicklung ein. Mit Hilfe von Konfigurationsoptionen wird #ifdef-annotierter Quellcode konfiguriert und maßgeschneiderte Varianten eines Softwaresystems können auf „Knopfdruck“ generiert werden. Existierende konfigurierbare Systeme, wie z.B., der Linux Kernel, bieten mitunter tausende von Konfigurationsoptionen an, mit deren Hilfe Myriaden von Varianten erstellt werden können. Die hohe Variantenvielfalt stellt die Anwendung statischer Analysen vor eine neue Herausforderung: Wie lassen sich statische Analysen für Systeme mit bis zu 2^6000 Varianten effizient anwe nden? Im Vortrag werden zwei Ansätze zur effizienten Analyse diskutiert: Sampling-Verfahren und variabilitätsgewahre Analysen. Beide Ansätze werden in Bezug auf unterschiedliche Kriterien (Leistungsfähigkeit, Aufwand und Fehlerabdeckung) verglichen.
Referent:
Dr. Jörg Liebig unterstützt bei Method Park als Senior Consultant das Team „Variantenmanagement“ und berät seine Kunden insbesondere zum Thema Variantenmanagement im Software- und Systems Engineering. Bereits seit 2008 beschäftigt er sich nicht nur mit diesem Thema, sondern auch mit den Herausforderungen von Software-Produktlinien. Für seine Doktorarbeit mit dem Thema „Analyse und Transformation konfigurierbarer Systeme” wurde er mit dem Software-Engineering-Preis der Ernst-Denert Stiftung ausgezeichnet. Darüber hinaus ist Jörg Liebig Autor zahlreicher internationaler Veröffentlichungen und hält regelmäßig Vorträge auf Konferenzen und Fachgruppentreffen. Weitere Arbeitsschwerpunkte sind die Architektur von Software und Systemen sowie die Messung von Code-Komplexität in der Software-Entwicklung. Jörg Liebig ist iSAQB® Certified Professional for Software Architecture – Foundation Level und ISTQB® Certified Tester – Foundation Level.
 

Details

Datum:
23.02.2017
Zeit:
18:00 - 20:00

Veranstaltungsort