2009, ISBN: 3827422035
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werde… Mehr…
Weltbild.de Nr. 29833376. Versandkosten:, 2-5 Werktage, zzgl. Versandkosten. (EUR 8.95) Details... |
ISBN: 9783827422033
Dieses Buch stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werd… Mehr…
Springer.com Nr. 978-3-8274-2203-3. Versandkosten:Worldwide free shipping, , zzgl. Versandkosten. Details... |
2009, ISBN: 9783827422033
Spektrum Akademischer Verlag, Kindle Edition, Auflage: 2, 541 Seiten, Publiziert: 2009-06-18T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Functional Programming, Software Design, … Mehr…
amazon.co.uk |
ISBN: 9783827422033
*Software-Qualität* - Testen Analysieren und Verifizieren von Software / pdf eBook für 47.65 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Medien > Bücher nein e… Mehr…
Hugendubel.de Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2009, ISBN: 9783827422033
Testen, Analysieren und Verifizieren von Software, eBooks, eBook Download (PDF), Auflage, [PU: Spektrum Akademischer Verlag], [ED: 2], Spektrum Akademischer Verlag, 2009
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2009, ISBN: 3827422035
Dieses Buch stellt den aktuellen Wissenstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werde… Mehr…
ISBN: 9783827422033
Dieses Buch stellt den aktuellen Wissensstand über die Techniken, Methoden, Prinzipien und organisatorischen Aspekte der Software-Qualitätssicherung nahezu lückenlos dar. Beschrieben werd… Mehr…
2009
ISBN: 9783827422033
Spektrum Akademischer Verlag, Kindle Edition, Auflage: 2, 541 Seiten, Publiziert: 2009-06-18T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Functional Programming, Software Design, … Mehr…
ISBN: 9783827422033
*Software-Qualität* - Testen Analysieren und Verifizieren von Software / pdf eBook für 47.65 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Medien > Bücher nein e… Mehr…
2009, ISBN: 9783827422033
Testen, Analysieren und Verifizieren von Software, eBooks, eBook Download (PDF), Auflage, [PU: Spektrum Akademischer Verlag], [ED: 2], Spektrum Akademischer Verlag, 2009
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition)
EAN (ISBN-13): 9783827422033
ISBN (ISBN-10): 3827422035
Erscheinungsjahr: 2009
Herausgeber: Spektrum Akademischer Verlag
526 Seiten
Sprache: ger/Deutsch
Buch in der Datenbank seit 2011-08-03T17:37:41+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-16T14:58:28+01:00 (Berlin)
ISBN/EAN: 9783827422033
ISBN - alternative Schreibweisen:
3-8274-2203-5, 978-3-8274-2203-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: spektrum der wissenschaft, peter liggesmeyer, ligges
Titel des Buches: software qualität
Daten vom Verlag:
Autor/in: Peter Liggesmeyer
Titel: Software-Qualität - Testen, Analysieren und Verifizieren von Software
Verlag: Spektrum Akademischer Verlag; Spektrum Akademischer Verlag
526 Seiten
Erscheinungsjahr: 2009-06-18
Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Deutsch
79,99 € (DE)
79,99 € (AT)
88,00 CHF (CH)
Available
XV, 526 S.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Auswertung; Dokumentation; Informatik; Klassen; Klassifikation; Metriken; Modellierung; Modultest; Qualitätssicherung; Software; Standards; Systemtest; Test; Testen; statische Analyse; A; Software Engineering/Programming and Operating Systems; Software Engineering; Software Engineering; Computer Science; BB
1 Einführung.- 1.1 Motivation. 1.2 Terminologie und Begriffsdefinitionen. 1.3 Stand der Technik. 1.4 Einordnung und Klassifikation der Prüftechniken. 1.5 Organisation.- 2 Funktionsorientierter Test. 2.1 Eigenschafen und Ziele des funktionsorientierten Tests. 2.2 Funktionale Äquivalenzklassenbildung. 2.3 Zustandsbasierter Test. 2.4 Ursache-Wirkungs-Analyse. 2.5 Weitere funktionsorientierte Testtechniken. 2.6 Bewertung des funktionsorientierten Tests.- 3 Kontrollflussorientierter, strukturorientierter Test. 3.1 Eigenschaften und Ziele des kontrollflussorientierten Tests. 3.2 Anweisungsüberdeckungstest. 3.3 Zweigüberdeckungstest. 3.4 Bedingungsüberdeckungstest. 3.5 Techniken für den Test von Schleifen. 3.6 Pfadüberdeckungstest. 3.7 Bewertung des kontrollflussorientierten Tests.- 4 Datenflussorientierter, strukturorientierter Test. 4.1 Eigenschaften und Ziele des datenflussorientierten Tests. 4.2 Defs/Uses-Test. 4.3 Required k-Tuples Test. 4.4 Datenkontext-Überdeckung. 4.5 Bewertung des datenflussorientierten Tests.- 5 Spezielle dynamische Testtechniken. 5.1 Diversifizierender Test. 5.2 Pfadbereichstest. 5.3 Zufallstest. 5.4 Error guessing. 5.5 Verwendung von Zusicherungen. 5.6 Bewertung.- 6 Modellbasierter Test.- 7 Software-Messung. 7.1 Eigenschaften und Ziele der Software-Messung. 7.2 Maße und Metriken. 7.3 Maßtypen. 7.4 Forderungen an Maße. 7.5 Maßskalen. 7.6 Datenerfassung für Maßsysteme. 7.7 Zielgerichte Definition von Maßen. 7.8 Auswertung von Messungen. 7.9 Wichtige Maße für Software. 7.10 Fallstudie zur Software-Messung. 7.11 Bewertung der Software-Messung.- 8 Werkzeugunterstützte statische Codeanalyse. 8.1 Eigenschaften und Ziele der werkzeugunterstützten statischen Codeanalyse. 8.2 Stilanalyse. 8.3 Diagramme und Tabellen. 8.4 Slicing. 8.5 Datenflussanomalieanalyse. 8.6 Bewertung der werkzeugunterstützten statischen Codeanalyse.- 9 Softwareinspektionen und Reviews. 9.1 Eigenschaften und Ziele von Softwareinspektionen und Reviews. 9.2Formale Inspektionstechniken. 9.3 Konventioneller Review in Sitzungstechnik: Structured Walktrough. 9.4 Review in Kommentartechnik. 9.5 Bewertung der Inspektions- und Review-Techniken.- 10. Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis. 10.1 Eigenschaften und Ziele der formalen Techniken. 10.2 Symbolischer Test. 10.3 Formaler Korrektheitsbeweis. 10.4 Bewertung der formalen Techniken.- 11. Prozesse und Prüfstrategien. 11.1 Eigenschaften und Ziele. 11.2 Softwareentwicklungsprozesse. 11.3 Die Entwicklung. 11.4 Die Prüfung. 11.5 Organisatorische Aspekte. 11.6 Dokumentation und Auswertung der Prüfung. 11.7 Standards. 11.8 Bewertung.- 12. Werkzeuge. 12.1 Eigenschaften und Ziele des Werkzeugeinsatzes. 12.2. Werkzeugtypen. 12.3 Verfügbarkeit von Werkzeugen. 12.4 Informationsquellen über Werkzeuge. 12.5 Bewertung des Werkzeugeinsatzes.- 13 Prüfen von objektorientierter Software. 13.1 Eigenschaften und Ziele des Prüfens von objektorientierter Software. 13.2 Hinweise für die objektorientierte Entwicklung. 13.3 Objektorientierter Modultest. 13.4 Objektorientierter Integrationstest. 13.5 Objektorientierter Systemtest. 13.6 Bewertung des Prüfens von objektorientierter Software.- 14 Prüfen von eingebetteter Software. 14.1 Eigenschaften und Ziele des Prüfens von eingebetteter Software. 14.2 Wichtige Eigenschaften von eingebetteter Software. 14.3 Dynamisches Testen von sicherheitskritischer Software. 14.4 Sicherheits- und Zuverlässigkeitsmodellierung. 14.5 Stochastische Software-Zuverlässigkeitsanalyse. 14.6 Bewertung des Prüfens von eingebetteter Software.- 15 Ein Praxisleitfaden. 15.1 Organisatorische Hinweise. 15.2 Technische Hinweise. 15.3 ZusammenfassungWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783827411181 Software-Qualit?t: Testen, Analysieren Und Verifizieren Von Software (Liggesmeyer, Peter)
< zum Archiv...