Skip to main content
SpringerLink
Log in
Book cover

Software Verification and Analysis

An Integrated, Hands-On Approach

  • Textbook
  • © 2009

Overview

Authors:
  1. William Stanley
    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Janusz Laski
    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Emphasis is given to the integration of the most important aspects of software verification – program proving, static analysis and testing in one book

  • Provides tool support for each of the verification techniques

  • Offers readers the ability to test his own static analysis ideas using STAD 4.0

  • Presents novel and not generally know data testing techniques supported by the testing tool

  • Focuses on the practical applications

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. The Semantic Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Why Not Write Correct Software the First Time?

      • Janusz Laski, William Stanley
      Pages 1-14

    3. How to Prove a Program Correct: Programs Without Loops

      • Janusz Laski, William Stanley
      Pages 39-61

    4. How to Prove a Program Correct: Iterative Programs

      • Janusz Laski, William Stanley
      Pages 63-79

    5. Prepare Test for Any Implementation: Black-Box Testing

      • Janusz Laski, William Stanley
      Pages 81-99

  3. Static Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Intermediate Program Representation

      • Janusz Laski, William Stanley
      Pages 103-123

    3. Program Dependencies

      • Janusz Laski, William Stanley
      Pages 125-142

    4. What Can One Tell About a Program Without Its Execution: Static Analysis

      • Janusz Laski, William Stanley
      Pages 143-169

  4. Dynamic Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Is There a Bug in the Program? Structural Program Testing

      • Janusz Laski, William Stanley
      Pages 173-202

    3. Dynamic Program Analysis

      • Janusz Laski, William Stanley
      Pages 203-219

  5. Back Matter

    Pages 221-224
    Download chapter PDF
Back to top

Keywords

About this book

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) “How to do it right,” I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Reviews

From the reviews:

"Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. … It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and offer appropriate solutions. The physical quality of the book is extremely high." (M. Ivanovic, ACM Computing Reviews, June, 2009)

“Software verification and validation are conducted to help ensure that programs perform correctly. … While this book’s subtitle indicates a ‘hands-on approach,’ it really takes a formal mathematical approach to describing software verification. … The book includes plenty of diagrams and figures, and it explains verification concepts with examples. This work is useful as a complement to hands-on testing books to detail the mathematical foundations of software verification. Summing Up: Recommended. Upper-division undergraduates through professionals.” (H. J. Bender, Choice, Vol. 47 (3), November, 2009)

Bibliographic Information

  • Book Title: Software Verification and Analysis

  • Book Subtitle: An Integrated, Hands-On Approach

  • Authors: William Stanley, Janusz Laski

  • DOI: https://doi.org/10.1007/978-1-84882-240-5

  • Publisher: Springer London

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag London 2009

  • Hardcover ISBN: 978-1-84882-239-9Published: 03 April 2009

  • Softcover ISBN: 978-1-84996-829-4Published: 13 October 2010

  • eBook ISBN: 978-1-84882-240-5Published: 29 April 2009

  • Edition Number: 1

  • Number of Pages: XVIII, 234

  • Number of Illustrations: 62 b/w illustrations

  • Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation