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 norm- gerechten Entwicklungsstandard zertifizieren lassen. Dennoch hat es keinen bemer- kenswerten Sprung in der Qualit?t und Fehlerfreiheit der Softwareprodukte gegeben. Dies liegt vor allem daran, da die oben zitierte DIN nur die Qualit?t des Entwick- lungsprozesses und nicht die Qualit?t der erstellten Produkte im Auge hat und da die meisten Institutionen noch nicht die beiden obersten Stufen des Reifegradmodells erreicht haben, bei denen erstmals quantitative und qualitative Produkteigenschaf- ten betrachtet werden. Daher konzentriert sich dieses Buch auf die ?berpr?fung entsprechender Produkt- eigenschaften, d. h. es werden Methoden und Verfahren vorgestellt, die Abweichun- gen (Fehler) aufdecken und beseitigen k?nnen. Die grundlegenden Konzepte werden durch entsprechende Problemstellungen motiviert, meistens formal definiert und um- gangssprachlich und anhand von Beispielen und Abbildungen erl?utert. Au erdem werden Angaben zu Vor- und Nachteilen (Kosten und Nutzen) der Testmethoden gemacht, m?gliche Algorithmen werden vorgestellt und Eigenschaften der Verfahren werden bewiesen, wenn das im gegebenen Rahmen m?glich ist, ansonsten wird auf entsprechende Quellen verwiesen.

Author: Eike Hagen Riedemann

Publisher: Vieweg+teubner Verlag

Publication Date: Sep 01, 1997

Number of Pages: 512 pages

Binding: Paperback or Softback

ISBN-10: 3519022745

ISBN-13: 9783519022749