Testmethoden für sequentielle und nebenläufige Software-Systeme

Negli ultimi anni sono stati introdotti standard di gestione della qualità e di assicurazione della qualità per lo sviluppo, la fornitura e la manutenzione del software (ad esempio, DIN ISO 9000-3) e un modello di maturità a cinque livelli per valutare il processo di sviluppo di un'istituzione. Molte aziende e reparti di software hanno ottenuto la certificazione per il loro standard di sviluppo conforme alle normative. Tuttavia, non c'è stato un notevole miglioramento nella qualità e nell'assenza di errori dei prodotti software. Questo è principalmente dovuto al fatto che la DIN citata sopra si concentra solo sulla qualità del processo di sviluppo e non sulla qualità dei prodotti realizzati, e che la maggior parte delle istituzioni non ha ancora raggiunto i due livelli superiori del modello di maturità, nei quali vengono considerati per la prima volta le caratteristiche quantitative e qualitative dei prodotti. Pertanto, questo libro si concentra sulle verifiche.