Cooperative Bug Isolation

Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

Ben Liblit (Autor)

Buch | Softcover

XV, 101 Seiten

2007 | 2007
Springer Berlin (Verlag)
978-3-540-71877-2 (ISBN)

Artikel merken

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.

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

Erscheint lt. Verlag	25.4.2007
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XV, 101 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	186 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Schlagworte	algorithm • Algorithm analysis and problem complexity • algorithms • benchmark tests • code optimization • code sampling • cooperative computing • Debugging • development tools • Distributed Systems • dynamic tracing • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • iterative debugging • path balancing • privacy • program analysis • program testing • security • Software Quality • Static Analysis • Statist • statistical debugging • Statistical Methods • statistical modeling • user feedback
ISBN-10	3-540-71877-X / 354071877X
ISBN-13	978-3-540-71877-2 / 9783540718772
Zustand	Neuware