Dependability Assessment of Android OS

La dipendenza dalla tecnologia mobile ha reso la affidabilità un requisito fondamentale per i sistemi operativi. La tesi analizza la necessità di strumenti per valutare la dipendenza dei sistemi operativi mobili, in particolare Android. La valutazione della affidabilità è un tema aperto, e le aziende devono affrontare le sfide legate ai guasti tradizionali, ai guasti legati all'invecchiamento e agli usi impropri. La tesi si propone di fornire metodi per affrontare queste problematiche, evidenziando l'importanza di un approccio sistematico per migliorare la affidabilità dei dispositivi mobili.

Le minacce alla affidabilità dei sistemi operativi mobili includono guasti residui, guasti legati all'invecchiamento e usi impropri. La tesi presenta un modello di guasto qualitativo per i sistemi operativi mobili, con un focus particolare su Android. Attraverso l'uso di AndroFIT, uno strumento di iniezione di guasti, è stata condotta una campagna di test su diversi dispositivi Android. Questo approccio ha permesso di analizzare l'impatto dei guasti sui sistemi operativi, evidenziando la necessità di strumenti adeguati per la valutazione della affidabilità.

L'analisi dell'invecchiamento del software è cruciale per comprendere come i sistemi operativi mobili degradano nel tempo. La tesi presenta una metodologia sperimentale per analizzare i fattori che influenzano la degradazione delle prestazioni e il consumo delle risorse. I risultati mostrano che l'invecchiamento del software è un fenomeno significativo che deve essere considerato nella progettazione dei sistemi operativi. La comprensione di questi fattori è essenziale per migliorare la affidabilità e le prestazioni dei dispositivi mobili.

Il fuzz testing è un metodo innovativo per testare le personalizzazioni dei fornitori Android. La tesi introduce Chizpurfle, uno strumento di fuzzing che sfrutta le informazioni sulla copertura del codice in tempo reale. Questo strumento consente di identificare vulnerabilità e problemi di affidabilità nelle personalizzazioni dei fornitori. L'implementazione di Chizpurfle rappresenta un passo avanti significativo nella valutazione della affidabilità dei sistemi operativi mobili, fornendo un metodo efficace per migliorare la sicurezza e la stabilità delle applicazioni.

La tesi conclude con una riflessione sulle direzioni future per la ricerca sulla affidabilità dei sistemi operativi mobili. Si sottolinea l'importanza di continuare a sviluppare strumenti e metodologie per affrontare le sfide emergenti. La valutazione della affidabilità non è solo un requisito tecnico, ma un elemento cruciale per garantire la fiducia degli utenti nei dispositivi mobili. Le future ricerche dovrebbero concentrarsi sull'integrazione di tecniche di test avanzate e sull'analisi dei dati per migliorare ulteriormente la affidabilità dei sistemi operativi.