Formal Methods and Testing An Outcome of the FORTEST Network. Revised Selected Papers /

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hierons, Robert M. (Editor ), Bowen, Jonathan P. (Editor ), Harman, Mark (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 4949
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Model Based Testing with Labelled Transition Systems
  • Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
  • Testing Real-Time Systems Using UPPAAL
  • Coverage Criteria for State Based Specifications
  • Testing in the Distributed Test Architecture
  • Testing from X-Machine Specifications
  • Testing Data Types Implementations from Algebraic Specifications
  • From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
  • Comparing the Effectiveness of Testing Techniques
  • The Test Technology TTCN-3
  • Testability Transformation - Program Transformation to Improve Testability
  • Modelling the Effects of Combining Diverse Software Fault Detection Techniques.

Ejemplares similares