Verifikation und Validation: Software-Test für Studenten und Praktiker
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Braunschweig u.a.
Vieweg
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 290 - 296 |
| Beschreibung: | X, 319 S. graph. Darst. |
| ISBN: | 3528054425 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009701233 | ||
| 003 | DE-604 | ||
| 005 | 20130702 | ||
| 007 | t| | ||
| 008 | 940704s1994 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 941515869 |2 DE-101 | |
| 020 | |a 3528054425 |9 3-528-05442-5 | ||
| 035 | |a (OCoLC)69334339 | ||
| 035 | |a (DE-599)BVBBV009701233 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-19 |a DE-91 |a DE-739 |a DE-92 |a DE-703 |a DE-634 |a DE-83 |a DE-B768 |a DE-11 | ||
| 080 | |a 28 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 100 | 1 | |a Thaller, Georg Erwin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verifikation und Validation |b Software-Test für Studenten und Praktiker |c Georg Erwin Thaller |
| 264 | 1 | |a Braunschweig u.a. |b Vieweg |c 1994 | |
| 300 | |a X, 319 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 290 - 296 | ||
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |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 Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 2 | 1 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006417428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006417428 | |
Datensatz im Suchindex
| _version_ | 1820588060033679360 |
|---|---|
| adam_text |
GEORG ERWIN THALLER
VERIFIKATION
UND
VALIDATION
SOFTWARE-TEST FUER STUDENTEN UND PRAKTIKER
VIEWEG
VIII
INHALTSVERZEICHNIS
ABSCHNITT I: DIE NOTWENDIGKEIT ZUR VERIFIKATION VON SOFTWARE
1
1.1 DIE STILLE REVOLUTION 2
1.2 DAS RISIKO 3
1.3 DER ZWANG ZU QUALITATIVEM WACHSTUM 11
ABSCHNITT II: SOFTWARE-ENTWICKLUNG ALS PROZESS
15
2.1 PROZESSMODELLE 16
2.1.1 DAS WASSERFALL-MODELL 17
2.1.2 DAS V-MODELL 22
2.2 ANFORDERUNGEN AN DIE SOFTWARE 24
2.3 PRUEFUNGEN OHNE COMPUTER 35
2.3.1 INSPECTIONS 36
2.3.2 WALKTHROUGHS 43
ABSCHNITT III: DIE VERIFIKATION VON SOFTWARE
47
3.1 DIE ROLLE DES TESTS IM LEBENSZYKLUS DER ENTWICKLUNG 48
3.2
DIE ABHAENGIGKEIT VON ENTWURF UND IMPLEMENTIERUNG 49
3.3
TOP-DOWN VERSUS BOTTOM-UP STRATEGIE BEIM TEST 52
3.4 MODULTEST ALS WHITE BOX TEST 61
3.5 TESTABDECKUNG 72
3.6 INCREMENTAL TESTING 78
3.7 DIE NACHTEILE DES WHITE BOX TESTS 84
ABSCHNITT IV: EIN ZWEITER ANSATZ: BLACK BOX TEST
89
4.1 DIE MOTIVATION DER EXTERNEN TESTGRUPPE 90
4.2 BEWAEHRTE GRUNDSAETZE BEIM BLACK BOX TEST 92
4.2.1 EQUIVALENCE PARTITIONING 99
4.2.2 DIE ANALYSE VON GRENZWERTEN 102
4.2.3 ERROR GUESSING 106
4.3 INSTRUMENTIERUNG 111
4.4 VOM MODUL ZUM PROGRAMM 119
4.5 TESTABDECKUNG AUF SYSTEMEBENE 136
4.6 DIE AUSPRAEGUNGEN VON TESTS 138
4.6.1 FUNKTIONSTEST 138
4.6.2 VOLUME TEST 139
4.6.3 STRESS TEST 140
4.6.4 SPEICHERVERBRAUCH UND AUSLASTUNG DES PROZESSORS 140
4.6.5
RECOVERY TESTING 141
4.6.6 MUTATIONSTEST 142
4.6.7 DER TEST DER MENSCH-MASCHINE-SCHNITTSTELLE 143
4.6.8
AUTOMATISCHER TEST 144
4.6.9 BENCHMARKS 146
4.6.10 TEST VON PROZEDUREN UND VERFAHREN 150
4.7 DAS CLEANROOM-KONZEPT 151
ABSCHNITT V: DIE EINBETTUNG DER TESTTAETIGKEITEN
155
5.1 DIE ORGANISATION 156
5.2 PLANUNG 158
5.3 FREMDSOFTWARE 161
5.4 INTEGRATION 165
5.5 DEBUGGING 167
5.5.1 PRINZIPIEN 168
5.5.2 DER INDUKTIVE WEG 169
5.5.3 DER DEDUKTIVE WEG 171
5.5.4 AENDERN DES CODES 172
5.6 REGRESSION TESTING 175
5.7 WERKZEUGE 176
5.8 FEHLERBEWERTUNG, -VERFOLGUNG, UND -BESEITIGUNG 179
5.9 METRIKEN ZUM TEST 182
5.9.1 DIE ZU ERWARTENDE ZAHL DER FEHLER 183
5.9.2 DAS ENDE DES TESTS 185
5.10 WIRKSAMKEIT UND WIRTSCHAFTLICHKEIT 189
5.11 SYSTEMTEST UND AKZEPTANZTEST 197
ABSCHNITT VI: QUALITAETSSICHERUNG
199
6.1 DIE ANSAETZE 200
6.2 DAS CAPABILITY MATURITY MODEL 202
6.3 QUALITAET UND APPLIKATION 205
6.4 DAS W-MODELL 208
X
ABSCHNITT VII: ALTERNATIVE METHODEN
211
7.1 TEST: DIE GRENZEN DES ANSATZES 212
7.2 NORMEN FIIR SICHERHEITSKRITISCHE SOFTWARE 212
7.3 FORMELLE METHODEN 215
7.4 DER ZWANG ZUM RISIKO 216
7.5 DAS RISIKO BEHERRSCHEN 218
ABSCHNITT VIII: AUSBLICK
221
8.1 GLOBALE TRENDS 222
8.2 DIE FOLGERUNGEN 224
ANHANG
ANHANG A - AKRONYME UND ABKUERZUNGEN 226
ANHANGB -NORMENUND STANDARDS 228
ANHANGC -MATERIALIEN 232
ANHANGD -LOESUNGEN 250
ANHANGE - LITERATURVERZEICHNIS 290
ANHANGF - GLOSSAR 297
SACHWORRVERZEICHNIS 313 |
| any_adam_object | 1 |
| author | Thaller, Georg Erwin |
| author_facet | Thaller, Georg Erwin |
| author_role | aut |
| author_sort | Thaller, Georg Erwin |
| author_variant | g e t ge get |
| building | Verbundindex |
| bvnumber | BV009701233 |
| classification_rvk | ST 230 ST 233 |
| classification_tum | DAT 330f DAT 325f |
| ctrlnum | (OCoLC)69334339 (DE-599)BVBBV009701233 |
| discipline | Informatik |
| 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">BV009701233</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130702</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940704s1994 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941515869</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528054425</subfield><subfield code="9">3-528-05442-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)69334339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009701233</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">28</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thaller, Georg Erwin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifikation und Validation</subfield><subfield code="b">Software-Test für Studenten und Praktiker</subfield><subfield code="c">Georg Erwin Thaller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig u.a.</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 319 S.</subfield><subfield code="b">graph. Darst.</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. 290 - 296</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</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="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006417428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006417428</subfield></datafield></record></collection> |
| id | DE-604.BV009701233 |
| illustrated | Illustrated |
| indexdate | 2025-01-07T11:07:53Z |
| institution | BVB |
| isbn | 3528054425 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006417428 |
| oclc_num | 69334339 |
| open_access_boolean | |
| owner | DE-29T DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-92 DE-703 DE-634 DE-83 DE-B768 DE-11 |
| owner_facet | DE-29T DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-92 DE-703 DE-634 DE-83 DE-B768 DE-11 |
| physical | X, 319 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Vieweg |
| record_format | marc |
| spelling | Thaller, Georg Erwin Verfasser aut Verifikation und Validation Software-Test für Studenten und Praktiker Georg Erwin Thaller Braunschweig u.a. Vieweg 1994 X, 319 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 290 - 296 Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Softwaretest (DE-588)4132652-0 s DE-604 Software (DE-588)4055382-6 s Verifikation (DE-588)4135577-5 s Qualitätskontrolle (DE-588)4047968-7 s Programmverifikation (DE-588)4135576-3 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006417428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Thaller, Georg Erwin Verifikation und Validation Software-Test für Studenten und Praktiker Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4047968-7 (DE-588)4055382-6 (DE-588)4135577-5 |
| title | Verifikation und Validation Software-Test für Studenten und Praktiker |
| title_auth | Verifikation und Validation Software-Test für Studenten und Praktiker |
| title_exact_search | Verifikation und Validation Software-Test für Studenten und Praktiker |
| title_full | Verifikation und Validation Software-Test für Studenten und Praktiker Georg Erwin Thaller |
| title_fullStr | Verifikation und Validation Software-Test für Studenten und Praktiker Georg Erwin Thaller |
| title_full_unstemmed | Verifikation und Validation Software-Test für Studenten und Praktiker Georg Erwin Thaller |
| title_short | Verifikation und Validation |
| title_sort | verifikation und validation software test fur studenten und praktiker |
| title_sub | Software-Test für Studenten und Praktiker |
| topic | Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Softwaretest Programmverifikation Qualitätskontrolle Software Verifikation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006417428&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT thallergeorgerwin verifikationundvalidationsoftwaretestfurstudentenundpraktiker |