Software Verification and Analysis An Integrated, Hands-On Approach /

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 th...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Laski, Janusz (Autor), Stanley, William (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
Software engineering.
Computer programming.
Software Engineering.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Semantic Analysis
  • 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
  • Static Analysis
  • Intermediate Program Representation
  • Program Dependencies
  • What Can One Tell About a Program Without Its Execution: Static Analysis
  • Dynamic Analysis
  • Is There a Bug in the Program? Structural Program Testing
  • Dynamic Program Analysis.

Ejemplares similares