This PhD thesis describes how to check the correctness of interactions among software components by collecting information about components’ behavior during testing time, using the collected information to mine behavioral models, and then exploiting the models for checking the compatibility of components when updated or reused in new products. Empirical results demonstrate the effectiveness of the approach.
Behavior Capture and Test: Dynamic Analysis of Component-Based Systems
MARIANI, LEONARDO
2005
Abstract
This PhD thesis describes how to check the correctness of interactions among software components by collecting information about components’ behavior during testing time, using the collected information to mine behavioral models, and then exploiting the models for checking the compatibility of components when updated or reused in new products. Empirical results demonstrate the effectiveness of the approach.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/107710
Il codice NBN di questa tesi è
URN:NBN:IT:UNIMIB-107710