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

Seit einigen Jahren gibt es Qualitätsmanagement- und Qualitätssicherungsnormen für die Entwicklung, Lieferung und Wartung von Software (z. B. DIN ISO 9000-3) und ein fünfstufiges Reifegradmodell zur Bewertung des Entwicklungsprozesses einer Institution. Viele Software-Firmen und -Abteilungen haben sich seitdem ihren normgerechten Entwicklungsstandard zertifizieren lassen. Dennoch hat es keinen bemerkenswerten Sprung in der Qualität und Fehlerfreiheit der Softwareprodukte gegeben. Dies liegt vor allem daran, dass die oben zitierte DIN nur die Qualität des Entwicklungsprozesses und nicht die Qualität der erstellten Produkte im Auge hat und dass die meisten Institutionen noch nicht die beiden obersten Stufen des Reifegradmodells erreicht haben, bei denen erstmals quantitative und qualitative Produkteigenschaften betrachtet werden. Daher konzentriert sich dieses Buch auf die Überprüfungen.