Overview
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
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
-
Static Analysis
-
Dynamic Analysis
Keywords
About this book
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