Notice: Undefined variable: home in /data/www/htdocs/infosun/st/include/config.php3 on line 3 Notice: Undefined variable: phone in /data/www/htdocs/infosun/st/include/config.php3 on line 7 Notice: Undefined variable: email in /data/www/htdocs/infosun/st/include/config.php3 on line 11 Notice: Undefined variable: icon in /data/www/htdocs/infosun/st/include/config.php3 on line 15 Notice: Undefined variable: fax in /data/www/htdocs/infosun/st/include/config.php3 on line 19 Notice: Undefined variable: lang in /data/www/htdocs/infosun/st/include/config.php3 on line 23 Notice: Use of undefined constant HTTP_ACCEPT_LANGUAGE - assumed 'HTTP_ACCEPT_LANGUAGE' in /data/www/htdocs/infosun/st/include/config.php3 on line 24 Notice: Use of undefined constant HTTP_ACCEPT_LANGUAGE - assumed 'HTTP_ACCEPT_LANGUAGE' in /data/www/htdocs/infosun/st/include/config.php3 on line 25 Notice: Undefined variable: realname in /data/www/htdocs/infosun/st/include/config.php3 on line 29 Notice: Undefined variable: userhome in /data/www/htdocs/infosun/st/include/config.php3 on line 48 Notice: Undefined variable: useremail in /data/www/htdocs/infosun/st/include/config.php3 on line 93 Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/title.php3 on line 4 Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/title.php3 on line 11 Software Systems Group: From Automated Testing to Automated Debugging Notice: Undefined variable: background in /data/www/htdocs/infosun/st/include/start.php3 on line 4
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/start.php3 on line 13 University of Passau · FIM · Software Systems Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/start.php3 on line 26 Deutschsprachige Startseite
ST

Notice: Undefined variable: banner in /data/www/htdocs/infosun/st/include/header.php3 on line 12 From Automated Testing to Automated Debugging

Andreas Zeller
Universität Passau
Lehrstuhl für Softwaresysteme
Innstraße 33
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 36 94032 Passau, Germany

Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 42 Phone: +49 851 509-30 91
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 48 Fax: +49 851 509-30 92
e-mail: snelting@fmi.uni-passau.de
WWW: http://www.infosun.fmi.uni-passau.de/st/
Universität Passau, December 2000. Submitted for publication.

Abstract

Debugging is still one of the hardest, yet least systematic activities of software engineering. The Delta Debugging algorithm isolates failure causes automatically - by systematically narrowing down failure-inducing circumstances until a minimal set remains. Delta Debugging has been applied to isolate failure-inducing program input (e.g. a HTML page that makes a Web browser fail), failure-inducing user interaction (e.g. the keystrokes that make a program crash), or failure-inducing changes to the program code (e.g. after a failing regression test).

Delta Debugging is fully automatic; all it requires is an automated test that detects whether the expected failure is present or not. The method is introduced using real-life programs with real-life bugs.

Keywords

Testing and debugging, debugging aids, combinatorial testing, version control

Contents

Download

PDF version (200k)
PostScript version (144k, compressed)

More on Delta Debugging

Lehrstuhl Softwaresysteme <snelting@fmi.uni-passau.de> - Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/footer.php3 on line 9 Last modified: 02/15/2001