Test statistici in camera bianca Ingegneria del software

Il metodo di sviluppo del software in camera bianca garantisce la massima qualità nello sviluppo del software. Questo libro illustra il momento, lo scopo, l'uso e il metodo per utilizzare l'ingegneria del software in camera bianca per ottenere software di qualità. Il software cleanroom è un processo teorico, orientato al team, per lo sviluppo di software di altissima qualità sotto controllo statistico di qualità. Cleanroom combina metodi formali di specificazione e progettazione di strutture scatolari basate su oggetti, verifica della correttezza teorica delle funzioni e test statistici di utilizzo per la certificazione della qualità. Il modello di riferimento di cleanroom è espresso in termini di un insieme di 14 processi che costituiscono la pratica dell'ingegneria del software cleanroom. Questi processi costituiscono una guida completa ai progetti di camera bianca per la gestione e le prestazioni dei progetti software, la valutazione e il miglioramento dei processi e il trasferimento e l'adozione della tecnologia. Viene inoltre trattato il tema dei test statistici e la loro relazione con l'analisi crittografica. Il test può essere utile come primo passo per determinare se un generatore è adatto o meno a una particolare applicazione crittografica.