Software Verification and Analysis: An I
β William Stanley, Janusz Laski (auth.)
π Library
π
2009
π Springer-Verlag London
π English
β¦ LIBER β¦
π
Software Verification and Analysis: An Integrated, Hands-On Approach
β Scribed by William Stanley, Janusz Laski (auth.)
- Publisher
- Springer-Verlag London
- Year
- 2009
- Tongue
- English
- Leaves
- 205
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Why Not Write Correct Software the First Time?....Pages 1-14
How to Prove a Program Correct: Programs Without Loops....Pages 39-61
How to Prove a Program Correct: Iterative Programs....Pages 63-79
Prepare Test for Any Implementation: Black-Box Testing....Pages 81-99
Front Matter....Pages 1-1
Intermediate Program Representation....Pages 103-123
Program Dependencies....Pages 125-142
What Can One Tell About a Program Without Its Execution: Static Analysis....Pages 143-169
Front Matter....Pages 1-1
Is There a Bug in the Program? Structural Program Testing....Pages 173-202
Dynamic Program Analysis....Pages 203-219
Back Matter....Pages 221-224
β¦ Subjects
Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques
π SIMILAR VOLUMES
Software Verification and Analysis. An
β Janusz Laski, William Stanley
π Library
π
2009
π Springer
π English
Software Verification and Validation: An
β Marcus S. Fisher (auth.)
π Library
π
2007
π Springer US
π English
<p><P>The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques
Software Verification and Validation: An
β Marcus S. Fisher
π Library
π
2006
π Springer
π English
<P>The world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In todayβs market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provid
Measurement, Design, and Analysis: An In
β Elazar J. Pedhazur, Liora Pedhazur Schmelkin
π Library
π
1991
π English
Aiming to remedy what they see as the fragmentary nature of texts on statistics, the authors of this textbook explore both design and analytic questions, and analytic and measurement issues. Commentaries are offered on inputs and outputs of computer programs in the context of the topics presented.
An Integrated Approach to Software Engin
β Pankaj Jalote
π Library
π
2005
π Springer
π English
Details the different activities of software development with a case-study approach whereby a project is developed through the course of the book The sequence of chapters is essentially the same as the sequence of activities performed during a typical software project.