Software verification and analysis : an integrated, hands-on approach / Janusz Laski.
Material type:
TextPublication details: New York : Springer, 2009.Description: xviii, 224 p; 24 cmContent type: - Text
- Unmediated
- Volume
- 978-1-84882-239-9
- 005.14 L33s
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books
|
FEU - Cavite Higher Education HED Library | 005.14 L33s (Browse shelf(Opens below)) | Available | HED2586 |
Browsing FEU - Cavite Higher Education shelves, Shelving location: HED Library Close shelf browser (Hides shelf browser)
| 005.133 V82 Visual basic 2010 and Acc85 | 005.133 Z13c Clearly Visual basic: programming with microsoft visual basic 2010 / | 005.133 Z13i An introduction to programming with c++ / | 005.14 L33s Software verification and analysis : an integrated, hands-on approach / | 005.15 F24p Programming logic and design : introductory / | 005.268 St43 Stephen's Visual basic programming 24-hour trainer. | 005.276 L94a ASP. Net. 3.5 website programming : problem-design-solution / |
Includes bibliographic references and index
English
Preface.- Introduction: What Do We Want to Know About the Program.- Why Not Write Correct Software the First Time?- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-box Testing.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell about a Program Without Its Execution: Static Analysis.- Is there a Bug in the Program?- Structural Program Testing.- Dynamic Program Analysis.- Index.
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
0
There are no comments on this title.