Semi-automatic Fault Localization

Download Semi-automatic Fault Localization PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (268 download)

DOWNLOAD NOW!


Book Synopsis Semi-automatic Fault Localization by : James Arthur Jones

Download or read book Semi-automatic Fault Localization written by James Arthur Jones and published by . This book was released on 2008 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the most expensive and time-consuming components of the debugging process is locating the errors or faults. To locate faults, developers must identify statements involved in failures and select suspicious statements that might contain faults. In practice, this localization is done by developers in a tedious and manual way, using only a single execution, targeting only one fault, and having a limited perspective into a large search space. The thesis of this research is that fault localization can be partially automated with the use of commonly available dynamic information gathered from test-case executions in a way that is effective, efficient, tolerant of test cases that pass but also execute the fault, and scalable to large programs that potentially contain multiple faults. The overall goal of this research is to develop effective and efficient fault localization techniques that scale to programs of large size and with multiple faults. There are three principle steps performed to reach this goal: (1) Develop practical techniques for locating suspicious regions in a program; (2) Develop techniques to partition test suites into smaller, specialized test suites to target specific faults; and (3) Evaluate the usefulness and cost of these techniques. In this dissertation, the difficulties and limitations of previous work in the area of fault-localization are explored. A technique, called Tarantula, is presented that addresses these difficulties. Empirical evaluation of the Tarantula technique shows that it is efficient and effective for many faults. The evaluation also demonstrates that the Tarantula technique can loose effectiveness as the number of faults increases. To address the loss of effectiveness for programs with multiple faults, supporting techniques have been developed and are presented. The empirical evaluation of these supporting techniques demonstrates that they can enable effective fault localization in the presence of multiple faults. A new mode of debugging, called parallel debugging, is developed and empirical evidence demonstrates that it can provide a savings in terms of both total expense and time to delivery. A prototype visualization is provided to display the fault-localization results as well as to provide a method to interact and explore those results. Finally, a study on the effects of the composition of test suites on fault-localization is presented.

Handbook of Software Fault Localization

Download Handbook of Software Fault Localization PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1119291828
Total Pages : 614 pages
Book Rating : 4.1/5 (192 download)

DOWNLOAD NOW!


Book Synopsis Handbook of Software Fault Localization by : W. Eric Wong

Download or read book Handbook of Software Fault Localization written by W. Eric Wong and published by John Wiley & Sons. This book was released on 2023-04-21 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt: Handbook of Software Fault Localization A comprehensive analysis of fault localization techniques and strategies In Handbook of Software Fault Localization: Foundations and Advances, distinguished computer scientists Prof. W. Eric Wong and Prof. T.H. Tse deliver a robust treatment of up-to-date techniques, tools, and essential issues in software fault localization. The authors offer collective discussions of fault localization strategies with an emphasis on the most important features of each approach. The book also explores critical aspects of software fault localization, like multiple bugs, successful and failed test cases, coincidental correctness, faults introduced by missing code, the combination of several fault localization techniques, ties within fault localization rankings, concurrency bugs, spreadsheet fault localization, and theoretical studies on fault localization. Readers will benefit from the authors’ straightforward discussions of how to apply cost-effective techniques to a variety of specific environments common in the real world. They will also enjoy the in-depth explorations of recent research directions on this topic. Handbook of Software Fault Localization also includes: A thorough introduction to the concepts of software testing and debugging, their importance, typical challenges, and the consequences of poor efforts Comprehensive explorations of traditional fault localization techniques, including program logging, assertions, and breakpoints Practical discussions of slicing-based, program spectrum-based, and statistics-based techniques In-depth examinations of machine learning-, data mining-, and model-based techniques for software fault localization Perfect for researchers, professors, and students studying and working in the field, Handbook of Software Fault Localization: Foundations and Advances is also an indispensable resource for software engineers, managers, and software project decision makers responsible for schedule and budget control.

Lightweight Techniques for Automatic Software Fault Localization

Download Lightweight Techniques for Automatic Software Fault Localization PDF Online Free

Author :
Publisher : LAP Lambert Academic Publishing
ISBN 13 : 9783844305289
Total Pages : 208 pages
Book Rating : 4.3/5 (52 download)

DOWNLOAD NOW!


Book Synopsis Lightweight Techniques for Automatic Software Fault Localization by : Rui Abreu

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.

Automated Fault Localization

Download Automated Fault Localization PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (681 download)

DOWNLOAD NOW!


Book Synopsis Automated Fault Localization by :

Download or read book Automated Fault Localization written by and published by . This book was released on 2007 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Essential Spectrum-based Fault Localization

Download Essential Spectrum-based Fault Localization PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 9813361794
Total Pages : 178 pages
Book Rating : 4.8/5 (133 download)

DOWNLOAD NOW!


Book Synopsis Essential Spectrum-based Fault Localization by : Xiaoyuan Xie

Download or read book Essential Spectrum-based Fault Localization written by Xiaoyuan Xie and published by Springer Nature. This book was released on 2021-02-04 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques. While it’s not particularly difficult to learn about the process and empirical performance of a particular SBFL technique from the available literature, researchers and practitioners aren’t always familiar with the underlying theories. This book provides the first comprehensive guide to fundamental theories in SBFL, while also addressing some emerging challenges in this area. The theoretical framework introduced here reveals the intrinsic relations between various risk evaluation formulas, making it possible to construct a formula performance hierarchy. Further extensions of the framework provide a sufficient and necessary condition for a general maximal formula, as well as performance comparisons for hybrid SBFL methods. With regard to emerging challenges in SBFL, the book mainly covers the frequently encountered oracle problem in SBFL and introduces a metamorphic slice-based solution. In addition, it discusses the challenge of multiple-fault localization and presents cutting-edge approaches to overcoming it. SBFL is a widely studied research area with a massive amount of publications. Thus, it is essential that the software engineering community, especially those involved in program debugging, software maintenance and software quality assurance (including both newcomers and researchers who want to gain deeper insights) understand the most fundamental theories – which could also be very helpful to ensuring the healthy development of the field.

Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment

Download Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 928 pages
Book Rating : 4.:/5 (319 download)

DOWNLOAD NOW!


Book Synopsis Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment by : NAVSEC (Organization : U.S.). Technical Support Branch

Download or read book Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment written by NAVSEC (Organization : U.S.). Technical Support Branch and published by . This book was released on 1972 with total page 928 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment

Download Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 924 pages
Book Rating : 4.F/5 ( download)

DOWNLOAD NOW!


Book Synopsis Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment by : United States. Naval Ship Systems Command

Download or read book Maintainability Design Criteria Handbook for Designers of Shipboard Electronic Equipment written by United States. Naval Ship Systems Command and published by . This book was released on 1965 with total page 924 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Statistical Causal Analysis for Fault Localization

Download Statistical Causal Analysis for Fault Localization PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (844 download)

DOWNLOAD NOW!


Book Synopsis Statistical Causal Analysis for Fault Localization by : George Kofi Baah

Download or read book Statistical Causal Analysis for Fault Localization written by George Kofi Baah and published by . This book was released on 2012 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: The ubiquitous nature of software demands that software is released without faults. However, software developers inadvertently introduce faults into software during development. To remove the faults in software, one of the tasks developers perform is debugging. However, debugging is a difficult, tedious, and time-consuming process. Several semi-automated techniques have been developed to reduce the burden on the developer during debugging. These techniques consist of experimental, statistical, and program-structure based techniques. Most of the debugging techniques address the part of the debugging process that relates to finding the location of the fault, which is referred to as fault localization. The current fault-localization techniques have several limitations. Some of the limitations of the techniques include (1) problems with program semantics, (2) the requirement for automated oracles, which in practice are difficult if not impossible to develop, and (3) the lack of theoretical basis for addressing the fault-localization problem. \r : \r : The thesis of this dissertation is that statistical causal analysis combined with program analysis is a feasible and effective approach to finding the causes of software failures. The overall goal of this research is to significantly extend the state of the art in fault localization. To extend the state-of-the-art, a novel probabilistic model that combines program-analysis information with statistical information in a principled manner is developed. The model known as the probabilistic program dependence graph (PPDG) is applied to the fault-localization problem. The insights gained from applying the PPDG to fault localization fuels the development of a novel theoretical framework for fault localization based on established causal inference methodology. The development of the framework enables current statistical fault-localization metrics to be analyzed from a causal perspective. The analysis of the metrics show that the metrics are related to each other thereby allowing the unification of the metrics. Also, the analysis of metrics from a causal perspective reveal that the current statistical techniques do not find the causes of program failures instead the techniques find the program elements most associated with failures. However, the fault-localization problem is a causal problem and statistical association does not imply causation. Several empirical studies are conducted on several software subjects and the results (1) confirm our analytical results, (2) demonstrate the efficacy of our causal technique for fault localization. The results demonstrate the research in this dissertation significantly improves on the state-of-the-art in fault localization.

Automated Fault Localization in Large Java Applications

Download Automated Fault Localization in Large Java Applications PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (113 download)

DOWNLOAD NOW!


Book Synopsis Automated Fault Localization in Large Java Applications by : Mohammadreza Ghanavati

Download or read book Automated Fault Localization in Large Java Applications written by Mohammadreza Ghanavati and published by . This book was released on 2019* with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Reliability Engineering

Download Reliability Engineering PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3662542099
Total Pages : 666 pages
Book Rating : 4.6/5 (625 download)

DOWNLOAD NOW!


Book Synopsis Reliability Engineering by : Alessandro Birolini

Download or read book Reliability Engineering written by Alessandro Birolini and published by Springer. This book was released on 2017-05-19 with total page 666 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book shows how to build in and assess reliability, availability, maintainability, and safety (RAMS) of components, equipment, and systems. It presents the state of the art of reliability (RAMS) engineering, in theory & practice, and is based on over 30 years author's experience in this field, half in industry and half as Professor of Reliability Engineering at the ETH, Zurich. The book structure allows rapid access to practical results. Methods & tools are given in a way that they can be tailored to cover different RAMS requirement levels. Thanks to Appendices A6 - A8 the book is mathematically self-contained, and can be used as a textbook or as a desktop reference with a large number of tables (60), figures (210), and examples / exercises^ 10,000 per year since 2013) were the motivation for this final edition, the 13th since 1985, including German editions. Extended and carefully reviewed to improve accuracy, it represents the continuous improvement effort to satisfy reader's needs and confidence. New are an introduction to risk management with structurally new models based on semi-Markov processes & to the concept of mean time to accident, reliability & availability of a k-out-of-n redundancy with arbitrary repair rate for n - k=2, 10 new homework problems, and refinements, in particular, on multiple failure mechanisms, approximate expressions, incomplete coverage, data analysis, and comments on ë, MTBF, MTTF, MTTR, R, PA.

Improving Automated Fault Localization Using PageRank

Download Improving Automated Fault Localization Using PageRank PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 110 pages
Book Rating : 4.:/5 (993 download)

DOWNLOAD NOW!


Book Synopsis Improving Automated Fault Localization Using PageRank by : Mengshi Zhang

Download or read book Improving Automated Fault Localization Using PageRank written by Mengshi Zhang and published by . This book was released on 2017 with total page 110 pages. Available in PDF, EPUB and Kindle. Book excerpt: Manual debugging is notoriously tedious and time consuming. Therefore, various automated fault localization techniques have been proposed to help with manual debugging. Among the existing fault localization techniques, spectrum-based fault localization (SBFL) is one of the most widely studied techniques due to being lightweight. A focus of existing SBFL techniques is to consider how to differentiate program source code entities (i.e., one dimension in program spectra); indeed, this focus is aligned with the ultimate goal of finding the faulty lines of code. Our key insight is to enhance existing SBFL techniques by additionally considering how to differentiate tests (i.e., the other dimension in program spectra), which, to the best of our knowledge, has not been studied in prior work. We present PRFL, a lightweight technique that boosts spectrum-based fault localization by differentiating tests using PageRank algorithm. Given the original program spectrum information, PRFL uses PageRank to recompute the spectrum information by considering the contributions of different tests. Then, traditional SBFL techniques can be applied on the recomputed spectrum information to achieve more effective fault localization. Although simple and lightweight, PRFL has been demonstrated to outperform state-of-the-art SBFL techniques significantly (e.g., ranking 42% more real faults within Top-1 compared with the most effective traditional SBFL technique) with low overhead (e.g., around 2 minute average extra overhead on real faults) on 332 real faults from 5 Defects4J projects and 30692 artificial (i.e., mutation) faults from 87 GitHub projects, demonstrating a promising future for considering the contributions of different tests during fault localization.

Tools and Algorithms for the Construction and Analysis of Systems

Download Tools and Algorithms for the Construction and Analysis of Systems PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3642198341
Total Pages : 409 pages
Book Rating : 4.6/5 (421 download)

DOWNLOAD NOW!


Book Synopsis Tools and Algorithms for the Construction and Analysis of Systems by : Parosh Aziz Abdulla

Download or read book Tools and Algorithms for the Construction and Analysis of Systems written by Parosh Aziz Abdulla and published by Springer Science & Business Media. This book was released on 2011-03-18 with total page 409 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Hybrid Automated Fault Localization in Programs Written by Novice Programmers

Download Hybrid Automated Fault Localization in Programs Written by Novice Programmers PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 350 pages
Book Rating : 4.:/5 (213 download)

DOWNLOAD NOW!


Book Synopsis Hybrid Automated Fault Localization in Programs Written by Novice Programmers by : Peter Anthony Jensen

Download or read book Hybrid Automated Fault Localization in Programs Written by Novice Programmers written by Peter Anthony Jensen and published by . This book was released on 2008 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Fault Localization Using Failure-inducing Statement Patterns

Download Fault Localization Using Failure-inducing Statement Patterns PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 140 pages
Book Rating : 4.:/5 (787 download)

DOWNLOAD NOW!


Book Synopsis Fault Localization Using Failure-inducing Statement Patterns by : Rawad Imad Abou Assi

Download or read book Fault Localization Using Failure-inducing Statement Patterns written by Rawad Imad Abou Assi and published by . This book was released on 2009 with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software products are increasingly employed in a wide range of areas where failu res may have serious consequences. Examples include medical applications, contro l systems, online banking systems, etc. As a result, tasks that aim at ensuring software reliability are extremely valuable. Among these, debugging is the proce ss of locating and correcting software errors. It is usually initiated when a pr ogram fails on one or more test cases. This process, and in particular fault loc alization, is considered to be one of the most difficult and time consuming thro ugh the development cycle. Consequently, automated fault localization techniques that reduce the search space for faulty code would significantly reduce develop ment costs. In this work we propose and investigate a new fault localization paradigm based on the notion of statement patterns. Provided with the execution traces of passi ng and failing runs, our technique searches for suspicious patterns using a gene tic algorithm and uses them to rank statements according to their likelihood of being faulty. We evaluated our approach using two benchmarks, the Siemens suite and NanoXML, and compared its accuracy with that of the Tarantula state-of-art t echnique. Our empirical results show that patterns better model the precondition s of failure than individual statements. Another major conclusion is that the ov erlap between the execution traces of the failing runs is likely to affect the p ercentage of suspicious patterns which might degrade the accuracy of the propose d technique in some cases.

End User Development

Download End User Development PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 140205386X
Total Pages : 496 pages
Book Rating : 4.4/5 (2 download)

DOWNLOAD NOW!


Book Synopsis End User Development by : Henry Lieberman

Download or read book End User Development written by Henry Lieberman and published by Springer Science & Business Media. This book was released on 2006-11-01 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book makes important aspects of the international discussion on End User Development (EUD) available to a broader audience. It offers a unique set of contributions from research institutes worldwide, addressing relevant issues and proposing original solutions. This broad look at the emerging paradigm of End-User Development will inspire every reader to appreciate its potential for the future. Indeed, the editors hope that readers – "end-users" - will themselves become developers.

ISTFA 2012

Download ISTFA 2012 PDF Online Free

Author :
Publisher : ASM International
ISBN 13 : 1615039953
Total Pages : 643 pages
Book Rating : 4.6/5 (15 download)

DOWNLOAD NOW!


Book Synopsis ISTFA 2012 by : ASM International

Download or read book ISTFA 2012 written by ASM International and published by ASM International. This book was released on 2012 with total page 643 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Does Test Automation Save Money?

Download Does Test Automation Save Money? PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 410 pages
Book Rating : 4.F/5 ( download)

DOWNLOAD NOW!


Book Synopsis Does Test Automation Save Money? by :

Download or read book Does Test Automation Save Money? written by and published by . This book was released on 1979 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: