Towards Fault Localization via Probabilistic Software Modeling

  • Hannes Thaller (Speaker)

Activity: Talk or presentationContributed talkscience-to-science

Description

Software testing helps developers to identify bugs.However, awareness of bugs is only the first step. Finding andcorrecting the faulty program components is equally hard andessential for high-quality software. Fault localization automati-cally pinpoints the location of an existing bug in a program. It isa hard problem, and existing methods are not yet precise enoughfor widespread industrial adoption. We propose fault localizationvia Probabilistic Software Modeling (PSM). PSM analyzes thestructure and behavior of a program and synthesizes a networkof Probabilistic Models (PMs). Each PM models a method withits inputs and outputs and is capable of evaluating the likelihoodof runtime data. We use this likelihood evaluation to find faultlocations and their impact on dependent code elements. Resultsindicate that PSM is a robust framework for accurate faultlocalization.Index Terms—fault localization, probabilistic modeling, multi-variate testing, software modeling, static code analysis, dynamiccode analysis, runtime monitoring, inference, simulation, deeplearning
Period18 Feb 2020
Event titleVST@SANER 2020
Event typeConference
LocationCanadaShow on map

Fields of science

  • 102 Computer Sciences
  • 102022 Software development

JKU Focus areas

  • Digital Transformation