Software Verification and Analysis: An Integrated, Hands-On Approach

2 avg rating
( 1 ratings by Goodreads )
 
9781848822399: Software Verification and Analysis: An Integrated, Hands-On Approach
View all copies of this ISBN edition:
 
 

“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.

"synopsis" may belong to another edition of this title.

From the Back Cover:

This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models, are discussed:

· Correctness by construction, using the Vienna Development Method-Specification Language (VDM-SL) and its supporting CSK’s Toolbox.

· Static program analysis supported by the PRAXIS’ SPARK toolset and SofTools’ System for Testing And Debugging (STAD 4.0).

· Program proving supported by SPARK.

· Dynamic program analysis supported by STAD.

VDM-SL Toolbox and SPARK illustrate, respectively, the correctness by construction and program proving paradigms. The author demonstrates that while both methods are powerful, errors are inevitable and detecting these may be more difficult than in the case of an informally developed program. Consequently, error detection must be an integral part of the entire life cycle of a programming project. Black-Box (specification based) and Structural (code based) testing are covered and supported by STAD (including 5 testing criteria). STAD also features a quite powerful descriptive and proscriptive static analysis.

Software engineers, students and computer scientists will find that the book provides the reader with a comprehensive understanding of software verification issues. STAD’s outputs allow the user to implement and test their own ideas.

The most recent version of STAD can be downloaded from http://www.stadtools.com.

Review:

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)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 79.99
US$ 69.86

Convert Currency

Shipping: FREE
From India to U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9781849968294: Software Verification and Analysis: An Integrated, Hands-On Approach

Featured Edition

ISBN 10:  1849968292 ISBN 13:  9781849968294
Publisher: Springer, 2010
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Janusz Laski
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Seller Inventory # ABE-FEB-112511

More information about this seller | Contact this seller

Buy New
US$ 69.86
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

2.

Janusz Laski
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: 1
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Seller Inventory # SHUB112511

More information about this seller | Contact this seller

Buy New
US$ 69.91
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

3.

Janusz Laski, William Stanley
Published by Springer London Ltd, United Kingdom (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: 1
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2009. Mixed media product. Condition: New. 2009 ed.. Language: English . Brand New 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. Seller Inventory # LIB9781848822399

More information about this seller | Contact this seller

Buy New
US$ 70.01
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Janusz Laski, William Stanley
Published by Springer (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2009. Hardcover. Condition: New. 2009. Seller Inventory # DADAX1848822391

More information about this seller | Contact this seller

Buy New
US$ 65.52
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

5.

Janusz Laski
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Condition: Brand New. New, US edition. Excellent Customer Service. Seller Inventory # ABEUSA-112511

More information about this seller | Contact this seller

Buy New
US$ 73.13
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Janusz Laski, William Stanley
Published by Springer London Ltd, United Kingdom (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2009. Mixed media product. Condition: New. 2009 ed.. Language: English . Brand New 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. Seller Inventory # LIB9781848822399

More information about this seller | Contact this seller

Buy New
US$ 73.71
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Janusz Laski; William Stanley
Published by Springer (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2009. Condition: New. book. Seller Inventory # M1848822391

More information about this seller | Contact this seller

Buy New
US$ 73.94
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Janusz Laski
Published by Springer London Ltd (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer London Ltd, 2009. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781848822399

More information about this seller | Contact this seller

Buy New
US$ 71.46
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

JANUSZ LASKI
Published by Springer (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2009. Hardback. Condition: NEW. 9781848822399 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0310652

More information about this seller | Contact this seller

Buy New
US$ 75.35
Convert Currency

Add to Basket

Shipping: US$ 10.64
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Janusz Laski (author), William Stanley (author)
Published by Springer London 2009-03-30, New York (2009)
ISBN 10: 1848822391 ISBN 13: 9781848822399
New paperback Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer London 2009-03-30, New York, 2009. paperback. Condition: New. Seller Inventory # 9781848822399

More information about this seller | Contact this seller

Buy New
US$ 78.40
Convert Currency

Add to Basket

Shipping: US$ 7.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book