Software-Qualität: Testen, Analysieren und Verifizieren von Software
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heidelberg
Spektrum, Akad. Verl.
2009
|
| Ausgabe: | 2. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Ausführliche Beschreibung Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 493 - 508 |
| Beschreibung: | XV, 526 S. graph. Darst. 25 cm |
| ISBN: | 3827420563 9783827420565 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035421868 | ||
| 003 | DE-604 | ||
| 005 | 20120803 | ||
| 007 | t | ||
| 008 | 090406s2009 gw d||| |||| 00||| ger d | ||
| 015 | |a 08,N50,0020 |2 dnb | ||
| 016 | 7 | |a 991441001 |2 DE-101 | |
| 020 | |a 3827420563 |9 3-8274-2056-3 | ||
| 020 | |a 9783827420565 |c Gb. : ca. sfr 85.50 (freier Pr.), ca. EUR 54.95 |9 978-3-8274-2056-5 | ||
| 035 | |a (OCoLC)439707237 | ||
| 035 | |a (DE-599)DNB991441001 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-20 |a DE-91G |a DE-M347 |a DE-523 |a DE-Aug4 |a DE-1050 |a DE-1046 |a DE-858 |a DE-824 |a DE-634 |a DE-29T |a DE-860 |a DE-11 |a DE-384 |a DE-573 |a DE-703 |a DE-863 |a DE-739 |a DE-473 | ||
| 082 | 0 | |a 005.10685 |2 22/ger | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 100 | 1 | |a Liggesmeyer, Peter |d 1963- |e Verfasser |0 (DE-588)112090362 |4 aut | |
| 245 | 1 | 0 | |a Software-Qualität |b Testen, Analysieren und Verifizieren von Software |c Peter Liggesmeyer |
| 250 | |a 2. Aufl. | ||
| 264 | 1 | |a Heidelberg |b Spektrum, Akad. Verl. |c 2009 | |
| 300 | |a XV, 526 S. |b graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 493 - 508 | ||
| 650 | 4 | |a Software - Qualitätsmanagement | |
| 650 | 4 | |a Software - Testen | |
| 650 | 4 | |a Softwaremetrie | |
| 650 | 0 | 7 | |a Qualitätsmanagement |0 (DE-588)4219057-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätssicherung |0 (DE-588)4126457-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaremetrie |0 (DE-588)4227925-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 1 | 1 | |a Qualitätsmanagement |0 (DE-588)4219057-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwaremetrie |0 (DE-588)4227925-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 3 | 1 | |a Qualitätssicherung |0 (DE-588)4126457-5 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-8274-2203-3 |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3182685&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |q text/html |u http://www.springer.com/spektrum+akademischer+verlag/informatik/software-entwicklung+und+datenbanken/book/978-3-8274-2056-5 |3 Ausführliche Beschreibung |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017342377&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017342377 | |
Datensatz im Suchindex
| DE-BY-863_location | 1340 |
|---|---|
| DE-BY-FWS_call_number | 1340/ST 233 L723(2)st |
| DE-BY-FWS_katkey | 351227 |
| DE-BY-FWS_media_number | 083101250378 |
| _version_ | 1806528653118406656 |
| adam_text |
Titel: Software-Qualität
Autor: Liggesmeyer, Peter
Jahr: 2009
1 Inhaltsverzeichnis
1 Einführung 1
1.1 Motivation 2
1.2 Terminologie und Begriffsdefinitionen 5
1.3 Stand der Technik 10
1.3.1 Oualitätsmanagement 10
1.3.1.1 Kontinuierliche Ansätze 13
1.3.1.2 Modellbasierte Ansätze 16
1.3.1.3 Unterstützende Techniken 28
1.3.2 Software-Qualitätssicherung 30
1.3.3 Hardware-Qualitätssicherung 32
1.3.4 Qualitätssicherung softwareintensiver Systeme 35
1.4 Einordnung und Klassifikation der Prüftechniken 37
1.41 Dynamischer Test 39
1.42 Statische Analyse 43
1.4.3 Formale Techniken: Symbolischer Test und formale Beweisverfahren 44
1.5 Organisation 46
Checkliste 48
2 Funktionsorientierter Test 49
2.1 Eigenschaften und Ziele des funktionsorientierten Tests 50
2.2 Funktionale Äquivalenzklassenbildung 51
2.2.1 Eigenschaften und Ziele der funktionalen Äquivalenzklassenbildung 51
2.2.2 Beschreibung der funktionalen Äquivalenzklassenbildung 52
2.2.3 Bewertung der funktionalen Äquivalenzklassenbildung 57
2.3 Zustandsbasierter Test 58
2.3.1 Eigenschaften und Ziele des zustandsbasierten Tests 58
2.3.2 Beschreibung des zustandsbasierten Tests 58
2.3.3 Bewertung des zustandsbasierten Tests 64
2.4 Ursache-Wirkungs-Analyse 66
2.5 Weitere funktionsorientierte Testtechniken 73
2.5.1 Syntaxtest 73
2.5.2 Transaktionsflussbasiertes Testen 75
2.5.3 Test auf Basis von Entscheidungstabellen oder Entscheidungsbäumen 79
2.6 Bewertung des funktionsorientierten Tests 81
Checkliste 81
3 Kontrollflussorientierter, strukturorientierter Test 83
3.1 Eigenschaften und Ziele des kontrollflussorientierten Tests 84
3.2 Anweisungsüberdeckungstest 85
3.2.1 Eigenschaften und Ziele des Anweisungsüberdeckungstests 85
3.2.2 Beschreibung des Anweisungsüberdeckungstests 86
3.2.3 Bewertung des Anweisungsüberdeckungstests 87
3.3 Zweigüberdeckungstest 88
IX
331 Eigenschaften und Ziele des Zweigüberdeckungstests 88
33.2 Beschreibung des Zweigüberdeckungstests 88
333 Problematiken des Zweigüberdeckungstests 90
33.4 Bewertung des Zweigüberdeckungstests 91
3.4 Bedingungsüberdeckungstest 93
3.4.1 Eigenschaften und Ziele des Bedingungsüberdeckungstests 93
3.4.2 Einfacher Bedingungsüberdeckungstest 95
3.43 Bedingungs-/Entscheidungsüberdeckungstest 99
3.4.4 Minimaler Mehrfach-Bedingungsüberdeckungstest 101
3.4.5 Modifizierter Bedingungs-/Entscheidungsüberdeckungstest 106
3.4.6 Mehrfach-Bedingungsüberdeckungstest 111
3.4.7 Problematiken 114
3.4.8 Bewertung des Bedingungsüberdeckungstests 117
3.5 Techniken für den Test von Schleifen 117
3.5.1 Eigenschaften und Ziele 117
3.5.2 Strukturierter Pfadtest und boundary interior-Pfadtest 118
3.5.2.1 Beschreibung 118
3.5.2.2 Modifizierte boundary interior-Testtecbmk 124
3.5.23 Bewertung 128
3.53 LCSAJ-Test 132
3.53.1 Eigenschaften und Ziele des LCSAJ-Tests 132
3.53.2 Erweiterungen 134
3.533 Bewertung des LCSAJ-Tests 136
3.6 Pfadüberdeckungstest 136
3.6.1 Eigenschaften und Ziele des Pfadüberdeckungstests 136
3.6.2 Bewertung des Pfadüberdeckungstests 137
3.7 Bewertung des kontrollflussorientierten Tests 138
Checkliste 138
4 Datenflussorientierter, strukturorientierter Test 141
4.1 Eigenschaften und Ziele des datenflussorientierten Tests 142
4.2 Defs/Uses-Test 144
43 Required k-Tuples Test 163
4.4 Datenkontext-Überdeckung 171
4.5 Bewertung des datenflussorientierten Tests 177
Checkliste 178
5 Spezielle dynamische Testtechniken 179
5.1 Diversifizierender Test 180
5.1.1 Eigenschaften und Ziele des diversifizierenden Tests 180
5.1.2 Back to Back-Test 180
5.1.2.1 Eigenschaften und Ziele des Back to Back-Tests 180
5.12.2 Beschreibung des Back to Back-Tests 181
5.1.2.3 Bewertung des Back to Back-Tests 183
5.13 Mutationen-Test 185
5.1.3.1 Eigenschaften und Ziele des Mutationen-Tests 185
* Inhaltsverzeichnis
5.1.3-2 Beschreibung des Mutationen-Tests 185
5-1.3.3 Bewertung des Mutationen-Tests 191
5-1.4 Regressionstest 192
51.4.1 Eigenschaften und Ziele des Regressionstests 192
5-1.4-2 Beschreibung des Regressionstests 192
51.4.3 Bewertung des Regressionstests 194
5-1-5 Bewertung des diversifizierenden Tests 195
5.2 Bereichstest (Domain Testing) 195
52.1 Eigenschaften und Ziele der Bereichstests 195
52.2 Pfadbereichstest 196
5.2.3 Test fehleroffenbarender Unterbereiche 203
52.4 Partition-Analyse 206
5.2.5 Bewertung der Bereichstests 208
53 Zufallstest 208
5-4 Errorguessing 210
5.5 Verwendung von Zusicherungen 211
5.6 Bewertung 213
Checkliste 214
6 Modellbasiertes Testen 215
6.1 Eigenschaften und Ziele des modellbasierten Tests 216
6.2 Beschreibung des modellbasierten Tests 218
6.2.1 Charakterisierung verschiedener Modelltypen 218
6.2.1.1 Zustandsautomaten 220
6.2.1.2 Vor- und Nachbedingungen 221
6.2.1.3 Temporallogiken ¦ • 223
6.2.1.4 Markov-Ketten 225
6.2.1.5 Prozesskalküle 227
6.3 Bewertung des modellbasierten Tests 229
Checkliste 230
7 Software-Messung 231
7.1 Eigenschaften und Ziele der Software-Messung 232
7.2 Maße und Metriken 233
73 Maßtypen 234
7.4 Forderungen an Maße 236
75 Maßskalen 237
7.5.1 Grundlagen 237
7.5.2 Skalendiskussion 240
75.2.1 DieOrdinalskala 240
7-5.2.2 Die Rationalskala 241
7.5.2.3 Die empirische Relation 242
7.6 Datenerfassung für Maßsysteme 244
7.7 Zielgerichte Definition von Maßen 245
7.8 Auswertung von Messungen 245
7.8.1 Darstellung von Messwerten 247
Inhaltsverzeichnis | XI
7.8.2 Auswertung mit Erfahrungswissen 251
7.8.3 Auswertung mit statistischen Techniken 253
7.9 Wichtige Maße für Software 255
7.9.1 Die zyklomatische Komplexität 256
7.9.2 Die Halstead-Maße 260
7.93 Das Maß Live Variables 262
7.9.4 Das Maß „Variablenspanne" 263
7.9.5 Die MTBF 263
7.10 Fallstudie zur Software-Messung 263
7.11 Bewertung der Software-Messung 266
Checkliste 268
8 Werkzeugunterstiitrte statische Codeanalyse 269
8.1 Eigenschaften und Ziele der werkzeugunterstützten statischen Codeanalyse 270
8.2 Stilanalyse 271
8.2.1 Eigenschaften und Ziele der Stilanalyse 271
8.2.2 Prüfung der Einhaltung von Programmierkonventionen 272
8.2.3 Bewertung der Stilanalyse 275
8.3 Diagramme und Tabellen 276
8.3.I Eigenschaften und Ziele der Nutzung von Diagrammen und Tabellen 276
8.32 Diagramme 276
8.3.2.1 Kontrollflussgraph 277
8.3-2.2 Programmablaufplan 281
8.3.2.3 Nassi-Shneiderman-Diagramm 282
8.32.4 Strukturdiagramm 282
8.3.3 Tabellen 284
8.3.4 Bewertung der Nutzung von Diagrammen und Tabellen 285
8.4 Slicing 285
8.4.1 Eigenschaften und Ziele des Sliängs 285
8.4.2 Statisches Slicing 286
8.4.3 Dynamisches Slicing 289
8.4.4 Bewertung des Slicings 291
8.5 Datenflussanomalieanalyse 292
8.5.1 Eigenschaften und Ziele der Datenflussanomalieanalyse 292
8.5.2 Durchführung der Datenflussanomalieanalyse 293
8.5.3 Mögliche Probleme der Datenflussanomalieanalyse und ihre Behebung 298
8.5.4 Bewertung der Datenflussanomalieanalyse 302
8.6 Bewertung der werkzeugunterstützten statischen Codeanalyse 303
Checkliste 303
9 Software-Inspektionen und Reviews 305
9.1 Eigenschaften und Ziele von Software-Inspektionen und Reviews 306
9.2 Formale Inspektionstechniken 308
9.2.1 Eigenschaften und Ziele der formalen Inspektionstechniken 308
9.2.2 Beschreibung der formalen Inspektionstechniken 308
9.2.3 Bewertung der formalen Inspektionstechniken 315
X" J Inhaltsverzeichnis
93 Konventionelles Review in Sitzungstechnik: Structured Walkthrough 317
9.4 Review in Kommentartechnik 318
9.5 Bewertung von Software-Inspektionen und Reviews 318
Checkliste 319
10 Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis 321
10.1 Eigenschaften und Ziele der formalen Techniken 322
10.2 Symbolischer Test 322
10.2.1 Eigenschaften und Ziele des symbolischen Tests 322
10.2.2 Beschreibung des symbolischen Tests 325
10.2.3 Bewertung des symbolischen Tests 333
10.3 Formaler Korrektheitsbeweis 335
10.3.1 Eigenschaften und Ziele des formalen Korrektheitsbeweises 335
10.3.2 Zusicherungsverfahren 335
10.3.2.1 Das Floyd'sche Verifikationsverfahren 335
10.3.2.2 Der Hoare-Kalkül 344
10.3.3 Totale Korrektheit 349
10.3.4 Algebraische Techniken 351
10.3.5 Automatenbasierte Techniken 354
10.3.6 Bewertung des formalen Korrektheitsbeweises 357
10.4 Bewertung der formalen Techniken 358
Checkliste 360
11 Prozesse und Prüfstrategien 361
11.1 Eigenschaften und Ziele 362
11.2 Software-Entwicklungsprozesse 362
11.3 Die Entwicklung 364
11.3.1 Die Analyse 368
11.3.2 Der Entwurf 369
11.3.3 Die Implementierung 370
11.4 Die Prüfung 370
11.4.1 Die Modulprüfung 371
11.4.2 Die Integration und die Integrationsprüfung 372
11.43 Die Systemprüfung 376
11.5 Organisatorische Aspekte 378
11.6 Dokumentation und Auswertung der Prüfung 381
11.7 Standards 382
11.7.1 Bedeutung von Standards 382
11.7.2 Prozessorientierte Standards 385
11.7.2.1 DIN EN ISO 9001 und V-Modell 385
11.7.2.2 ISO/IEC 15504: SPICE 385
11.7.2.3 AOAP-Century-Standards 386
11.7.3 Anwendungsbereichsunabhängige technische Standards: Der Standard IEC 61508 386
11.7.4 Anwendungsbereichsspezifische technische Standards 387
11.7.4.1 DIN EN 50128 387
11.7.4.2 RTCA/DO 178B 388
Inhaltsverzeichnis ( XIII
11.8 Bewertung 389
Checkliste 389
12 Werkzeuge 391
12.1 Eigenschaften und Ziele der Nutzung von Werkzeugen 392
12.2 Werkzeugtypen 393
12.2.1 Dynamische Testwerkzeuge 393
12.2.2 Statische Analysewerkzeuge 397
12.2.3 Formale Verifikationswerkzeuge 398
12.2.4 Modellierende und analysierende Werkzeuge 399
12.3 Verfügbarkeit von Werkzeugen 401
12.3.1 Abdeckung von Techniken durch Werkzeuge 401
12.3.2 Abdeckung von Programmiersprachen durch Werkzeuge 402
12.3.3 Abdeckung von Entwicklungs- und Zielplattformen durch Werkzeuge 402
12.4 Informationsquellen über Werkzeuge 403
12.5 Bewertung der Nutzung von Werkzeugen 403
Checkliste 404
13 Prüfen von objektorientierter Software 407
13.1 Eigenschaften und Ziele des Prüfens von objektorientierter Software 408
13.2 Hinweise für die objektorientierte Entwicklung 410
13.3 Objektorientierter Modultest 411
13.3.1 Klassentest als objektorientierter Modultest 412
13.3.2 Ein Ansatz für die Überprüfung von Klassen 413
13.33 Funktionsorientierter Test 415
13.33.1 Zustandsbasierter Test von Operationssequenzen 415
13332 Funktionsorientierte Äquivalenzklassenbildung für den Test von Operationen 417
13.3.4 Strukturorientierter Test 417
13.3.4-1 KontrollflussorientierterTest 419
13.3.4.2 Datenflussorientierter Test 421
13.3.5 Formale Spezifikationen zur Unterstützung des objektorientierten Prüfens 422
13.3.6 Test von parametrisierten Klassen 426
13.3.7 Test von Unterklassen und Regressionstests 427
13-4 Objektorientierter Integrationstest 428
13.4.1 Integrationstest von Basisklassen 428
13.4.2 Integrationstest und Vererbung 430
13.4.2.1 Integrationstest von Vererbung bei dienstanbietenden Klassen 431
134.2.2 Integrationstest von Vererbung bei dienstnutzenden Klassen 432
13.4.2.3 Integrationstest von Vererbung bei dienstnutzenden und dienstanbietenden Klassen . 433
13.42.4 Integrationstest und Testumgebungen 434
13.5 Objektorientierter Systemtest 435
13.6 Bewertung des Prüfens von objektorientierter Software 437
Checkliste 43g
14 Prüfen von eingebetteter Software 43g
14.1 Eigenschaften und 2ieie des Prüfens von eingebetteter Software 440
14.2 Wichtige Eigenschaften von eingebetteter Software 440
XIV | Inhaltsverzeichnis
14-2.1 Sicherheitskritikalität 440
14.2.2 Zuverlässigkeit und Verfügbarkeit 441
14.2.3 Echtzeitfähigkeit 443
14.3 Dynamisches Testen von sicherheitskritischer Software 443
14.4 Sicherheits- und Zuverlässigkeitsmodellierung 445
14.4.I Eigenschaften und Ziele der Sicherheits- und Zuverlässigkeitsmodellierung 445
14-4.2 Software-FMECA 446
14.4.3 Fehlerbaumanalyse 447
14.4.4 Markov-Modellierung 451
14.4.5 Bewertung der Sicherheits- und Zuverlässigkeitsmodellierung 452
14.5 Stochastische Software-Zuverlässigkeitsanalyse 453
14.5.1 Eigenschaften und Ziele der stochastischen Software-Zuverlässigkeitsanalyse 453
14.5.2 Grundlagen der stochastischen Zuverlässigkeitsanalyse 454
14.5.3 Hardware- und Software-Zuverlässigkeitsanalyse im Vergleich 460
14.5.4 Software-Zuverlässigkeitsmodelle 463
14.5.4.1 Bestimmung von Modellparametern 463
145-4.2 Modellauswahl 467
14.5.5 Beispiel eines Modells: Musas elementares Ausführungszeiten-Modell 471
14.5.5.1 Modellbildung 472
14.5.5.2 Beispiele für die Modellierung 475
14.5.6 Bewertung der stochastischen Software-Zuverlässigkeitsanalyse 476
14.6 Bewertung des Prüfens von eingebetteter Software 478
Checkliste 479
15 Ein Praxisleitfaden 481
15.1 Organisatorische Hinweise 482
15.2 Technische Hinweise 483
15.2.1 Eine einfache praxisgeeignete Prüfstrategie 485
15.2.2 Beachtung spezieller Anforderungen 487
15.3 Zusammenfassung 489
Checkliste 490
Literaturverzeichnis 493
Glossar 509
Index 521
Inhaltsverzeichnis j XV |
| any_adam_object | 1 |
| author | Liggesmeyer, Peter 1963- |
| author_GND | (DE-588)112090362 |
| author_facet | Liggesmeyer, Peter 1963- |
| author_role | aut |
| author_sort | Liggesmeyer, Peter 1963- |
| author_variant | p l pl |
| building | Verbundindex |
| bvnumber | BV035421868 |
| classification_rvk | ST 233 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)439707237 (DE-599)DNB991441001 |
| dewey-full | 005.10685 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10685 005.14 |
| dewey-search | 005.10685 005.14 |
| dewey-sort | 15.10685 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV035421868</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120803</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090406s2009 gw d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N50,0020</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991441001</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827420563</subfield><subfield code="9">3-8274-2056-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783827420565</subfield><subfield code="c">Gb. : ca. sfr 85.50 (freier Pr.), ca. EUR 54.95</subfield><subfield code="9">978-3-8274-2056-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)439707237</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991441001</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10685</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software-Qualität</subfield><subfield code="b">Testen, Analysieren und Verifizieren von Software</subfield><subfield code="c">Peter Liggesmeyer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Spektrum, Akad. Verl.</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 526 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">25 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 493 - 508</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Qualitätsmanagement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software - Testen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwaremetrie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätsmanagement</subfield><subfield code="0">(DE-588)4219057-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaremetrie</subfield><subfield code="0">(DE-588)4227925-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Qualitätsmanagement</subfield><subfield code="0">(DE-588)4219057-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwaremetrie</subfield><subfield code="0">(DE-588)4227925-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-8274-2203-3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3182685&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://www.springer.com/spektrum+akademischer+verlag/informatik/software-entwicklung+und+datenbanken/book/978-3-8274-2056-5</subfield><subfield code="3">Ausführliche Beschreibung</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017342377&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017342377</subfield></datafield></record></collection> |
| id | DE-604.BV035421868 |
| illustrated | Illustrated |
| indexdate | 2024-08-05T08:39:37Z |
| institution | BVB |
| isbn | 3827420563 9783827420565 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017342377 |
| oclc_num | 439707237 |
| open_access_boolean | |
| owner | DE-20 DE-91G DE-BY-TUM DE-M347 DE-523 DE-Aug4 DE-1050 DE-1046 DE-858 DE-824 DE-634 DE-29T DE-860 DE-11 DE-384 DE-573 DE-703 DE-863 DE-BY-FWS DE-739 DE-473 DE-BY-UBG |
| owner_facet | DE-20 DE-91G DE-BY-TUM DE-M347 DE-523 DE-Aug4 DE-1050 DE-1046 DE-858 DE-824 DE-634 DE-29T DE-860 DE-11 DE-384 DE-573 DE-703 DE-863 DE-BY-FWS DE-739 DE-473 DE-BY-UBG |
| physical | XV, 526 S. graph. Darst. 25 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Spektrum, Akad. Verl. |
| record_format | marc |
| spellingShingle | Liggesmeyer, Peter 1963- Software-Qualität Testen, Analysieren und Verifizieren von Software Software - Qualitätsmanagement Software - Testen Softwaremetrie Qualitätsmanagement (DE-588)4219057-5 gnd Qualitätssicherung (DE-588)4126457-5 gnd Softwaremetrie (DE-588)4227925-2 gnd Softwaretest (DE-588)4132652-0 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4219057-5 (DE-588)4126457-5 (DE-588)4227925-2 (DE-588)4132652-0 (DE-588)4055382-6 |
| title | Software-Qualität Testen, Analysieren und Verifizieren von Software |
| title_auth | Software-Qualität Testen, Analysieren und Verifizieren von Software |
| title_exact_search | Software-Qualität Testen, Analysieren und Verifizieren von Software |
| title_full | Software-Qualität Testen, Analysieren und Verifizieren von Software Peter Liggesmeyer |
| title_fullStr | Software-Qualität Testen, Analysieren und Verifizieren von Software Peter Liggesmeyer |
| title_full_unstemmed | Software-Qualität Testen, Analysieren und Verifizieren von Software Peter Liggesmeyer |
| title_short | Software-Qualität |
| title_sort | software qualitat testen analysieren und verifizieren von software |
| title_sub | Testen, Analysieren und Verifizieren von Software |
| topic | Software - Qualitätsmanagement Software - Testen Softwaremetrie Qualitätsmanagement (DE-588)4219057-5 gnd Qualitätssicherung (DE-588)4126457-5 gnd Softwaremetrie (DE-588)4227925-2 gnd Softwaretest (DE-588)4132652-0 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Software - Qualitätsmanagement Software - Testen Softwaremetrie Qualitätsmanagement Qualitätssicherung Softwaretest Software |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3182685&prov=M&dok_var=1&dok_ext=htm http://www.springer.com/spektrum+akademischer+verlag/informatik/software-entwicklung+und+datenbanken/book/978-3-8274-2056-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017342377&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT liggesmeyerpeter softwarequalitattestenanalysierenundverifizierenvonsoftware |
Beschreibung
Würzburg Teilbibliothek SHL, Raum I.2.11
| Signatur: |
1340 ST 233 L723(2)st |
|---|---|
| Exemplar 1 | nicht ausleihbar Verfügbar |