yichen xie (8 risultati)

Condizione: New.

Condizione: New.

Paperback. Condizione: Brand New. 148 pages. 8.66x5.91x0.34 inches. In Stock.

Taschenbuch. Condizione: Neu. Static Detection of Software Errors | Precise and Scalable Algorithms for Automatic Detection of Software Errors | Yichen Xie | Taschenbuch | 148 S. | Englisch | 2012 | AV Akademikerverlag | EAN 9783639413366 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Revision with unchanged content. 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 struc tures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based a na lysis - 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 open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools. 148 pp. Englisch.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Xie YichenSpecialization: Programming Languages and Software Engineering Ph.D. in Computer Science, Stanford University (2006) M.S. in Computer Science, Stanford University (2003) B.S. in Computer Science, Yale University (2001), .

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Revision with unchanged content. 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 open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 148 pp. Englisch.

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Revision with unchanged content. 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 struc tures of large software systems to make precise program analyses scale. As an example, the author show how to scale Boolean Satisfiability (SAT) based a na lysis - 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 open-source systems. The approach can be potentially generalized to the design and deployment of a wide range of program analysis tools.