Generazione di modelli simulazione dei protocolli comunicazione: Imparare dai nostri dati

Si sono registrati numerosi sviluppi nel campo delle tecniche di verifica e convalida basate su modelli facilitati. La maggior parte di esse si è basata sull'osservazione del comportamento esterno del sistema. Il nostro approccio segue la stessa linea ed è valido anche quando il codice sorgente del sistema oggetto di osservazione non è disponibile; i meccanismi di inferenza ci consentono di dedurre tali modelli di macchina attraverso l'osservazione. Presentiamo un framework che si adatta alla generazione di componenti con stati infiniti/finiti e si adatta alle verifiche formali. I modelli utilizzati sono protocolli di comunicazione dedotti tramite inferenza regolare osservata attraverso il comportamento dell'entità del protocollo di comunicazione. Inoltre, viene presentato un approccio in cui il comportamento osservato del protocollo convalida il modello progettato del protocollo.

Pagina's: 52, Paperback, Edizioni Sapienza