Static Detection of Software Errors
Precise and Scalable Algorithms for Automatic Detection of Software Errors
(Sprache: Englisch)
Automatic program analysis tools are increasingly developed and deployed tocombat the perenniel software quaility problem that plagues the IT industry.Traditional tools faces a stark tradeoff between precision and scalability:scalable tools are often...
Leider schon ausverkauft
versandkostenfrei
Buch
59.00 €
Produktdetails
Produktinformationen zu „Static Detection of Software Errors “
Automatic program analysis tools are increasingly developed and deployed to
combat the perenniel software quaility problem that plagues the IT industry.
Traditional tools faces a stark tradeoff between precision and scalability:
scalable tools are often imprecise, limiting themselves to detecting relatively
shallow errors; precise tools are often not scalable and are thus only applied
to simplified models of the core parts of large systems.
This study presents techniques and results on how to exploit existing structures
of large software systems to make precise program analyses scale. As
an example, the author show how to scale Boolean Satisfiability (SAT) based
analysis - traditionally applied to small models with hundreds of lines of code
- to the whole Linux kernel, which contains millions of lines of code.
This study is directed to designers and users of software analysis tools alike.
It offers detailed descriptions of several state-of-the-art automatic error
detection algorithms and presents experimental results on mature opensource
systems. The approach can be potentially generalized to the design
and deployment of a wide range of program analysis tools.
Klappentext zu „Static Detection of Software Errors “
Automatic program analysis tools are increasingly developed and deployed tocombat the perenniel software quaility problem that plagues the IT industry.
Traditional tools faces a stark tradeoff between precision and scalability:
scalable tools are often imprecise, limiting themselves to detecting relatively
shallow errors; precise tools are often not scalable and are thus only applied
to simplified models of the core parts of large systems.
This study presents techniques and results on how to exploit existing structures
of large software systems to make precise program analyses scale. As
an example, the author show how to scale Boolean Satisfiability (SAT) based
analysis - traditionally applied to small models with hundreds of lines of code
- to the whole Linux kernel, which contains millions of lines of code.
This study is directed to designers and users of software analysis tools alike.
It offers detailed descriptions of several state-of-the-art automatic error
detection algorithms and presents experimental results on mature opensource
systems. The approach can be potentially generalized to the design
and deployment of a wide range of program analysis tools.
Autoren-Porträt von Yichen Xie
Yichen Xie:Specialization: Programming Languages and SoftwareEngineering; Ph.D. in Computer Science,Stanford University (2006); M.S. in Computer Science,Stanford University (2003); B.S. in ComputerScience, Yale University (2001), summa cum laude.
Bibliographische Angaben
- Autor: Yichen Xie
- 2007, 152 Seiten, Maße: 17 x 24 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller
- ISBN-10: 3836421720
- ISBN-13: 9783836421720
Sprache:
Englisch
Kommentar zu "Static Detection of Software Errors"
0 Gebrauchte Artikel zu „Static Detection of Software Errors“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Static Detection of Software Errors".
Kommentar verfassen