Testing Aspect-Oriented Programs with State Models - Tapa blanda

Xu, Weifeng

 
9783639075595: Testing Aspect-Oriented Programs with State Models
Tapa blanda
ISBN 10: 3639075595 ISBN 13: 9783639075595
Editorial: VDM Verlag Dr. Mueller e.K., 2008

Sinopsis

The new constructs in aspect-oriented programming can cause hazards to quality assurance. To detect aspect defects, this book pre­sents a state-based approach to systematic modeling and testing of aspects. We extend finite state machines with notations for specifying incremental modification aspects, integration aspects, and combination aspects. We compose aspect models with their base class models through an explicit weaving mechanism. We adapt the round-trip path testing of object-oriented programs to the ge­neration of test sequences from woven-state models. An incremental testing process is exploited to determine whether failures, if revealed, have to do with aspects. We have conducted a series of experiments based on three applications. To further evaluate the fault-detection ability, we have created a significant number of mutants (or variation versions) by seeding one or more aspect variations (i.e., potential faults) and exploited multi-variation mutants to investigate the effect of interaction between aspect variations. Our experiments indicate that our model-based testing approach is highly effective in the detection of the seeded aspect faults.

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

Reseña del editor

The new constructs in aspect-oriented programming can cause hazards to quality assurance. To detect aspect defects, this book pre­sents a state-based approach to systematic modeling and testing of aspects. We extend finite state machines with notations for specifying incremental modification aspects, integration aspects, and combination aspects. We compose aspect models with their base class models through an explicit weaving mechanism. We adapt the round-trip path testing of object-oriented programs to the ge­neration of test sequences from woven-state models. An incremental testing process is exploited to determine whether failures, if revealed, have to do with aspects. We have conducted a series of experiments based on three applications. To further evaluate the fault-detection ability, we have created a significant number of mutants (or variation versions) by seeding one or more aspect variations (i.e., potential faults) and exploited multi-variation mutants to investigate the effect of interaction between aspect variations. Our experiments indicate that our model-based testing approach is highly effective in the detection of the seeded aspect faults.

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

Editorial
VDM Verlag Dr. Mueller e.K.
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3639075595
ISBN 13 
9783639075595
Encuadernación
Tapa blanda
Número de páginas
96
Contacto del fabricante
no disponible
Persona responsable
no disponible