- Hauptmenü-

Katalogdatenanzeige

Software-Qualität: Testen, Analysieren und Verifi zieren von Software

Kataloginformation Katalogdatensatz500141893 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	304931373 Buchausg. u.d.T.: ‡Liggesmeyer, Peter, 1963 - : Software-Qualität
ISBN	978-3-8274-2056-5
Name	Liggesmeyer, Peter
T I T E L	Software-Qualität
Zusatz zum Titel	Testen, Analysieren und Verifi zieren von Software
Auflage	2
Verlagsort	Heidelberg
Verlag	Spektrum Akademischer Verlag
Erscheinungsjahr	2009
Erscheinungsjahr	2009
Umfang	Online-Ressource (digital)
Reihe	SpringerLink. Bücher
Titelhinweis	Buchausg. u.d.T.: ‡Liggesmeyer, Peter, 1963 - : Software-Qualität
ISBN	ISBN 978-3-8274-2203-3
Klassifikation	UL
	*68N01
	68Q60
	68-01
	UMZ
	COM051230
	005.1
	QA76.758
	ST 233
Kurzbeschreibung	Einführung -- Funktionsorientierter Test -- Kontrollflussorientierter, strukturorientierter Test -- Datenflussorientierter, strukturorientierter Test -- Spezielle dynamische Testtechniken -- Modellbasiertes Testen -- Software-Messung -- Werkzeugunterstützte statische Codeanalyse -- Software-Inspektionen und Reviews -- Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis -- Prozesse und Prüfstrategien -- Werkzeuge -- Prüfen von objektorientierter Software -- Prüfen von eingebetteter Software -- Ein Praxisleitfaden.
2. Kurzbeschreibung	Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werden Testtechniken, automatische statische Analysen, die Software-Messung, Review- und Inspektionstechniken, formale Ansätze, Techniken zur Überprüfung objektorientierter und eingebetteter Software sowie Prüfstrategien, Prüfprozesse und Werkzeuge. Das Buch richtet sich gleichermaßen an Praktiker sowie an Informatik-Dozenten und –Studierende. Es kann „von vorn nach hinten" gelesen werden oder als Nachschlagewerk dienen. Jedes Kapitel ist ein allein verständliches „kleines Buch für sich". Es beginnt jeweils mit einer kurzen Inhaltsangabe zur Orientierung und schließt mit einer Bewertung und einer Checkliste, die insbesondere dem Praktiker Umsetzungshinweise gibt. Weiterführende Informationen zum Buch finden Sie unter www.liggesmeyer.de. Die 2. Auflage ist vollständig durchgesehen und aktualisiert. Neu aufgenommen wurde ein Kapitel zu modellbasierten Tests.
1. Schlagwortkette	Softwaretest
1. Schlagwortkette ANZEIGE DER KETTE	Softwaretest
2. Schlagwortkette	Software
2. Schlagwortkette	Qualitätsmanagement
2. Schlagwortkette ANZEIGE DER KETTE	Software -- Qualitätsmanagement
3. Schlagwortkette	Softwaremetrie
ANZEIGE DER KETTE	Softwaremetrie
SWB-Titel-Idn	309709237
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-8274-2203-3
Internetseite / Link	Volltext
Siehe auch	Inhaltsverzeichnis
Siehe auch	Kapitel 2
Siehe auch	Einführung/Vorwort
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500141893

Kategorien-Anzeige Katalogdatensatz500141893

Titel zur Titelsammlung hinzufügen Katalogdatensatz500141893

Kataloginformation500141893 Datensatzanfang . Kataloginformation500141893 Seitenanfang .

Titel vormerken Katalogdatensatz500141893

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.