LOCALIZING BUGS IN PROGRAMS - Or How to Use a Program’s Constraint Representation for Software Debugging?

Franz Wotawa

2008

Abstract

The use of a program’s constraint representation for various purposes like testing and verification is not new. In this paper, we focus on the applicability of constraint representations to fault localization and discuss the underlying ideas. Given the source code of a program and a test case, which specifies the input parameters and the expected output, we are interested in localizing the root cause of the revealed misbehavior. We first show how programs can be compiled into their corresponding constraint representations. Based on the constraint representation we show how to compute root causes using constraint solver. Moreover, we discuss how the approach can be integrated with program assertions and unit tests.

Paper Citation

in Harvard Style

Wotawa F. (2008). LOCALIZING BUGS IN PROGRAMS - Or How to Use a Program’s Constraint Representation for Software Debugging? . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 88-95. DOI: 10.5220/0001890900880095

in Bibtex Style

@conference{icsoft08,
author={Franz Wotawa},
title={LOCALIZING BUGS IN PROGRAMS - Or How to Use a Program’s Constraint Representation for Software Debugging?},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={88-95},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001890900880095},
isbn={978-989-8111-52-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - LOCALIZING BUGS IN PROGRAMS - Or How to Use a Program’s Constraint Representation for Software Debugging?
SN - 978-989-8111-52-4
AU - Wotawa F.
PY - 2008
SP - 88
EP - 95
DO - 10.5220/0001890900880095