Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques - Tapa blanda

Shahbaz, Muzammil

 
9783659140730: Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques
Tapa blanda
ISBN 10: 3659140732 ISBN 13: 9783659140730
Editorial: LAP LAMBERT Academic Publishing, 2012

Sinopsis

In the modern era, complex software systems are mostly constructed by integrating off-the-shelf components. The efficient and quality engineering practices demand to consult the technical specification of the components to understand their possible behaviors in the overall system. But specifications are often absent or vaguely described for a detail analysis. This situation is a daunting prospect to the designers of large-scaled systems that are built-up of such "black-box" components. The book presents reverse engineering methodologies to uncover the hidden specifications of black-box components by inferring their formal models, in order to facilitate testing and analysis of the integrated systems. The book includes chapters on real-world stories of the applications of the approach in telecom, automotive and web domains.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

In the modern era, complex software systems are mostly constructed by integrating off-the-shelf components. The efficient and quality engineering practices demand to consult the technical specification of the components to understand their possible behaviors in the overall system. But specifications are often absent or vaguely described for a detail analysis. This situation is a daunting prospect to the designers of large-scaled systems that are built-up of such "black-box" components. The book presents reverse engineering methodologies to uncover the hidden specifications of black-box components by inferring their formal models, in order to facilitate testing and analysis of the integrated systems. The book includes chapters on real-world stories of the applications of the approach in telecom, automotive and web domains.

Biografía del autor

is currently Research Associate at the University of Sheffield, UK. His interests cover applications of formal methods in reverse engineering, system validation and verification. He has served as a consultant to leading European companies in embedded system engineering. He received his PhD from Grenoble Institute of Technology, France.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
LAP LAMBERT Academic Publishing
Año de publicación
2012
Idioma
Inglés
ISBN 10 
3659140732
ISBN 13 
9783659140730
Encuadernación
Tapa blanda
Número de páginas
204
Contacto del fabricante
no disponible
Persona responsable
no disponible