Lightweight Techniques for Automatic Software Fault Localization
Author | : Rui Abreu |
Publisher | : LAP Lambert Academic Publishing |
Total Pages | : 208 |
Release | : 2011-03 |
ISBN-10 | : 3844305289 |
ISBN-13 | : 9783844305289 |
Rating | : 4/5 (89 Downloads) |
Download or read book Lightweight Techniques for Automatic Software Fault Localization written by Rui Abreu and published by LAP Lambert Academic Publishing. This book was released on 2011-03 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: Current approaches to automatic software fault localization can be classified as either (1) statistics-based approaches, or (2) reasoning approaches. This distinction is based on the required amount of knowledge about the program s internal component structure and behavior. Statistics-based fault localization techniques such as Spectrum-based Fault Localization (SFL) use abstraction of program traces (also known as program spectra) to find a statistical relationship between source code locations and observed failures. Although SFL s modeling costs and computational complexity are minimal, its diagnostic accuracy is inherently limited since no reasoning is used. In contrast to SFL, model-based reasoning approaches use prior knowledge of the program, such as component interconnection and statement semantics, to build a model of the correct behavior of the system. On the one hand, model-based reasoning approaches deliver higher diagnostic accuracy, but on the other hand, they suffer from high computation complexity.