Software verification and analysis : an integrated, hands-on approach / Janusz Laski.

By: Contributor(s): Material type: TextTextPublication details: New York : Springer, 2009.Description: xviii, 224 p; 24 cmContent type:
  • Text
Media type:
  • Unmediated
Carrier type:
  • Volume
ISBN:
  • 978-1-84882-239-9
Subject(s): LOC classification:
  • 005.14 L33s
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Books Books FEU - Cavite Higher Education HED Library 005.14 L33s (Browse shelf(Opens below)) Available HED2586

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.

to post a comment.