Publisher's Synopsis
L'affidabilità orientata all'utente è legata al profilo dell'utente e all'uso del sistema. Un sistema affidabile per un utente può non esserlo per un altro. L'affidabilità orientata all'utente può essere rappresentata come una funzione dell'affidabilità dei componenti e della distribuzione della frequenza di utilizzo di questi componenti. Per testare il software in un tempo limitato e con risorse limitate, è necessario ricorrere a tecniche di test basate su modelli che utilizzano un approccio basato sulle probabilità per valutare l'affidabilità. Si tratta di una tecnica di test del software in cui i casi di test sono derivati in tutto o in parte da un modello che descrive alcuni aspetti del sistema in esame. In questo lavoro viene calcolata l'affidabilità del modulo Library Management System del software SHARP. Per calcolare l'affidabilità del software, la struttura modulare del software scelto è stata presentata sotto forma di modello a catena di Markov. In questo lavoro viene sviluppato un grafico del flusso di controllo utilizzando il modello a catena di Markov. L'affidabilità dei sotto-moduli si basa sui dati ricevuti dal sondaggio tra gli utenti finali del software SHARP. Anche le probabilità di transizione tra moduli si basano su questo questionario. Queste informazioni vengono utilizzate per sviluppare una tecnica di test basata su modelli.
