Verso modelli di test che propagano il cambiamento nei sistemi software adattivi

La motivazione principale alla base dei sistemi informatici autoadattativi è l'autoadattamento del software in base a un ambiente mutevole. I sistemi informatici adattativi possono aggiungere rimuovere e sostituire i propri componenti in risposta ai cambiamenti nel sistema stesso e nell'ambiente operativo di un sistema software. Sebbene questi sistemi possano fornire un certo grado di affidabilità nei confronti di nuovi ambienti i loro cambiamenti strutturali e comportamentali devono essere convalidati dopo l'adattamento in fase di esecuzione. Testare sistemi dinamicamente adattivi è estremamente difficile perché sia la struttura che il comportamento del sistema possono cambiare durante la sua esecuzione. Dopo che l'autoadattamento si è verificato nel software autonomo nuovi componenti possono essere integrati nel sistema software. Quando vengono incorporati nuovi componenti testarli diventa una fase fondamentale per garantire che interagiscano e si comportino come previsto. Proponiamo un approccio basato su modelli che si fonda sulla propagazione dei cambiamenti per sincronizzare un modello di test in fase di esecuzione per un sistema software con il modello della struttura dei suoi componenti dopo l'adattamento dinamico.