Cantitate/Preț
Produs

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition: Lecture Notes in Computer Science, cartea 4440

Autor Ben Liblit
en Limba Engleză Paperback – 25 apr 2007
This monograph presents a new and fundamental approach to software analysis that will provide a source of ideas and inspiration for many years to come. It constitutes a thoroughly revised and extended version of the author's PhD thesis, which was selected as the winning thesis of the 2005 ACM Doctoral Dissertation Competition. Ben Liblit did his PhD work at the University of California, Berkeley, with Alexander Aiken as thesis adviser.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 29758 lei

Preț vechi: 37197 lei
-20%

Puncte Express: 446

Preț estimativ în valută:
5701 6176$ 4889£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540718772
ISBN-10: 354071877X
Pagini: 124
Ilustrații: XV, 101 p.
Dimensiuni: 155 x 235 x 7 mm
Greutate: 0.45 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Descriere

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent. Ben Liblit’s work reconsiders two common assumptions about how we should analyze software and it arrives at some striking new results. Inprinciple,understandingsoftware is not such a hardproblem. Certainlya c- puter scientist studying programs appears to be in a much stronger position than, say, a biologist trying to understand a living organism or an economist trying to understand the behavior of markets, because the biologist and the economist must rely on indirect observation of the basic processes they wish to understand. A c- puterscientist, however,starts with a complete,precise descriptionof the behaviorof software—the program itself! Of course, the story turns out not to be so straightf- ward, because despite having a perfect description, programs are suf ciently c- plex that it is usually dif cult or even impossible to answer many simple questions about them.

Cuprins

Instrumentation Framework.- Practical Considerations.- Techniques for Statistical Debugging.- Related Work.- Conclusion.

Caracteristici

Reconsiders two common assumptions about how software should be analyzed  
Arrives at some striking new results 
Presents an algorithm for isolating multiple bugs from sparsely sampled data taken from many thousands of program executions