Software verification and analysis : an integrated, hands-on approach /
Laski, Janusz
Software verification and analysis : an integrated, hands-on approach / Janusz Laski. - New York : Springer, 2009. - xviii, 224 p.: 24 cm.
Includes bibliographic references and index
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.
English
978-1-84882-239-9
Computer software--Verification
Computer science
Software engineering
005.14 L33s
Software verification and analysis : an integrated, hands-on approach / Janusz Laski. - New York : Springer, 2009. - xviii, 224 p.: 24 cm.
Includes bibliographic references and index
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.
English
978-1-84882-239-9
Computer software--Verification
Computer science
Software engineering
005.14 L33s