Workshop sul Model-Based Testing, Paphos, Cipro

Il 21 marzo 2010 si terrà a Paphos, a Cipro, il sesto workshop sul Model-Based Testing (MBT 2010).

L'obiettivo della manifestazione è quello di riunire ricercatori e professionisti, nel tentativo di determinare lo stato dell'arte e discutere idee sui nuovi orientamenti per migliorare le teorie, modelli, strumenti e paradigmi fondamentali relativi al collaudo.

I temi riguarderanno tra l'altro:
- metodi e strumenti online e offline per la produzione di sequenze di prova,
- metodi e strumenti di selezione per i dati di prova,
- verifica in fase di esecuzione,
- parametri copertura delle prove basati su modelli,
- analisi automatica dei domini/parti,
- combinazione di verifica e collaudo,
- modelli di oracoli prova,
- produzione di prove basate su scenari,
- supporto post-programmazione per le prove,
- formalismi adatti per le prove basate su modelli,
- applicazione di tecniche di controllo nelle prove basate su modelli,
- approcci game-theoretic alle prove,
- prove basate su modelli nell'industria: problemi e risultati.

Nel software e hardware le prove basate su modelli sono usate per descrivere il comportamento di un sistema collaudato e guidare lo sviluppo di scenari di prova.Per ulteriori informazioni, visitare:
http://react.cs.uni-sb.de/mbt2010/(si apre in una nuova finestra)