Focused diagnosis for failing Software Tests

Birgit Hofer, Seema Jehan*, Ingo Pill, Franz Wotawa

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Abstract

Ranging from firmware to cloud services, software is an essential part of almost any imaginable system, or at the very least assists us in their design or maintenance. The sheer complexity and sophisticated concepts of today’s software products thus demand for solutions that assist us in assuring their quality. We aim to contribute in this direction by proposing a fault localization approach for failing test cases that draws on mode based diagnosis techniques from the AI community and focuses the search on dynamic executions. With this focus, we offer the scalability needed to consider also designs like service oriented architectures (SOAs). Furthermore, we opt for a flexible approach that allows a user to refine the reasoning by annotating our basic structure of a control flow graph with further information, e.g., for black box components. First experiments with standard software examples, as well as examples taken from the SOA domain show promising results.

Original languageEnglish
Title of host publicationCurrent Approaches in Applied Artificial Intelligence - 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Proceedings
EditorsChang-Hwan Lee, Yongdai Kim, Young Sig Kwon, Juntae Kim, Moonis Ali
PublisherSpringer-Verlag Italia
Pages712-721
Number of pages10
ISBN (Print)9783319190655
DOIs
Publication statusPublished - 1 Jan 2015
Event28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015 - Seoul, Korea, Republic of
Duration: 10 Jun 201512 Jun 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9101
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015
Country/TerritoryKorea, Republic of
CitySeoul
Period10/06/1512/06/15

Keywords

  • Constraint satisfaction problem
  • Control flow graph
  • Model-based diagnosis
  • Software debugging

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Focused diagnosis for failing Software Tests'. Together they form a unique fingerprint.

Cite this