Verfügbarkeit: Software testen und analysieren

Software testen und analysieren: Prozesse, Prinzipien und Techniken

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pezzè, Mauro (VerfasserIn), Young, Michal (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	München Oldenbourg 2009
Schlagworte:	Programmanalyse Softwaretest
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Literaturverz. S. [531] - 542
Beschreibung:	XXVI, 552 S. Ill., graph. Darst. 24 cm
ISBN:	9783486585216

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV035080901
003	DE-604
005	20240521
007	t
008	081002s2009 ad\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 9783486585216 \|9 978-3-486-58521-6
035			\|a (OCoLC)315961230
035			\|a (DE-599)BVBBV035080901
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
049			\|a DE-20 \|a DE-12 \|a DE-91G \|a DE-824 \|a DE-210 \|a DE-859 \|a DE-M347 \|a DE-703 \|a DE-29T \|a DE-523 \|a DE-634 \|a DE-Aug4 \|a DE-1102 \|a DE-11 \|a DE-19 \|a DE-573 \|a DE-384
082	0		\|a 005.14 \|2 22/ger
084			\|a ST 233 \|0 (DE-625)143620: \|2 rvk
084			\|a DAT 330f \|2 stub
100	1		\|a Pezzè, Mauro \|e Verfasser \|4 aut
240	1	0	\|a Software testing and analysis
245	1	0	\|a Software testen und analysieren \|b Prozesse, Prinzipien und Techniken \|c von Mauro Pezzè und Michal Young
264		1	\|a München \|b Oldenbourg \|c 2009
300			\|a XXVI, 552 S. \|b Ill., graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Literaturverz. S. [531] - 542
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|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 Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1		\|C b \|5 DE-604
700	1		\|a Young, Michal \|e Verfasser \|4 aut
856	4	2	\|m OEBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016749148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis

Datensatz im Suchindex

_version_	1805072528727605248
adam_text	INHALTSVERZEICHNIS ABBILDUNGSVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XIII* TABELLENVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XIX* VORWORT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XXI* I GRUNDLAGEN VON TEST UND ANALYSE SOFTWARETESTUND-ANALYSE- EIN LJBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . 3* 1.1 ENTWICKLUNGSPROZESSUND VERIFIKATION. . . . . . . . . . . . . . . . . . . . . . . . . 3* 1.2 GRUNDLEGENDEFRAGEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5* 1.3 WANN BEGINNEN UND ENDEN VERIFIKATION UND VALIDIERUNG? 6* 1.4 WEICHE TECHNIKEN SOLLTEN EINGESETZT WERDEN? . . . . . . . . . . . . . . . . . 8* 1.5 WIE KANN GEPRUFT WERDEN, OB EIN PRODUKT FERTIG IST? 12* 1.6 WIE KANN DIE QUALITAT NACHFOLGENDER RELEASES SICHERGESTELLT WERDEN? . 13* 1.7 WIE KANN DER ENTWICKLUNGSPROZESS VERBESSERT WERDEN? 14* 2 EIN FRAMEWORK FUR TEST UND ANALYSE . 19* 2.1 VALIDIERUNG UND VERIFIKATION . 19* 2.2 FREIHEITSGRADE . 22* 2.3 UNTERSCHIEDLICHE ARTEN VON SOFTWARE . 29* 3 GRUNDPRINZIPIEN . 35* 3.1 ANFALLIGKEIT . 35* 3.2 REDUNDANZ . 39* 3.3 RESTRIKTION . 40* 3.4 PARTITIONIERUNG . 43* 3.5 SICHTBARKEIT . 44* 3.6 FEEDBACK . 45* 4 TEST- UND ANALYSEAKTIVITIITEN INNERHALB EINES SOFTWAREPROZESSES . 47* 4.1 DER QUALITATSPROZESS . 47* 4.2 PLANUNG UND DBERWACHUNG . 49* 4.3 QUALITATSZIELE . 51* VIII INHALTSVERZEICHNIS 4.4 MERKMALE DER SYSTEMSTABILWIT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53* 4.5 ANALYSE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56* 4.6 TESTEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58* 4.7 VERBESSERUNG DES PROZESSES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59* 4.8 ORGANISATORISCHE FAKTOREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61* II GRUNDLEGENDE VERFAHREN 65* 5 ENDLICHE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67* 5.1 UBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67* 5.2 ENDLICHE ABSTRAKTIONEN DES VERHALTENS . . . . . . . . . . . . . . . . . . . . . . . . 71* 5.3 KONTROLLFLUSSGRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71* 5.4 AUFRUFGRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76* 5.5 ENDLICHE AUTOMATEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80* 6 ABHANGIGKEITS- NND DATENTLNSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89* 6.1 DEFINITION-VERWENDUNGS-PAARE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89* 6.2 DATENFLUSSANALYSE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94* 6.3 KLASSISCHE ANALYSEN: AKTIVE VARIABLEN UND VERFIIGBARE AUSDRUCKE . . . . 97* 6.4 VON DER AUSFLIHRUNG ZUR KONSERVATIVEN DATENFLUSSANALYSE , 103* 6.5 DATENFLUSSANALYSE BEI ARRAYS UND ZEIGEM . . . . . . . . . . . . . . . . . . . . . 106* 6.6 INTERPROZEDURALE ANALYSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109* 7 SYMBOLISCHE ANSFIIHRNNG NND BEWEIS VON EIGENSCHAFTEN . . . . . . . . . . . . . 115* 7.1 SYMBOLISCHER ZUSTAND UND INTERPRETATION. . . . . . . . . . . . . . . . . . . . . . 116* 7.2 ZUSAMMENFASSENDE INFORMATIONEN. . . . . . . . . . . . . . . . . . . . . . . . . . . 119* 7.3 SCHLEIFEN UND ZUSICHERUNGEN , 120* 7.4 KOMPOSITORISCHE BEWEISFLIHRUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . 124* 7.5 REASONING IIBER DATENSTRUKTUREN UND KLASSEN. . . . . . . . . . . . . . . . . . . 125* 8 MODELLBASIERTE VERIFIKATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129* 8.1 OBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129* 8.2 UNTERSUCHUNG DES ZUSTANDSRAUMS . . . . . . . . . . . . . . . . . . . . . . . . . . . 132* 8.3 DAS PROBLEM DER ZUSTANDSRAUMEXPLOSION. . . . . . . . . . . . . . . . . . . . . . 141* 8.4 DAS PROBLEM DER MODELLIIBEREINSTIMMUNG . . . . . . . . . . . . . . . . . . . . . 144* 8.5 GRANULARIUIT DER MODELLIERUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148* 8.6 INTENSIONALE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152* 8.7 MODELLVERFEINERUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155* 8.8 DATENMODELLVERIFIKATION MITTELS RELATIONALER ALGEBRA. . . . . . . . . . . . . . 158* IX INHALTSVERZEICHNIS III PROBLEME UND METHODEN 167* 9 AUSWAHL UND ADAQUATHEIT DER TESTFLILLE . . . . . . . . . . . . . . . . . . . . . . . . . . 169* 9.1 OBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169* 9.2 TESTSPEZIFIKATIONEN UND FALLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170* 9.3 ADAQUATHEITSKRITERIEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173* 9.4 KRITERIEN VERGLEICHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175* 10 FUNKTIONALES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181* 10.1 DBERBLICK. 182* 10.2 ZUFALLSTEST VS. AQUIVALENZKLASSENTEST. . . . . . . . . . . . . . . . . . . . . . . . . 183* 10.3 EIN SYSTEMATISCHER ANSATZ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189* 10.4 EINEN PASSENDEN ANSATZ AUSWAHLEN . . . . . . . . . . . . . . . . . . . . . . . . . . 196* 11 KOMBINATORISCHES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203* 11.1 OBERBLICK. 204* 11.2 CATEGORY-PARTITIONING-TESTING. 204* 11.3 PAARWEISES KOMBINATORISCHES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . 215* 11.4 KATALOGBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219* 12 STRUKTURELLES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237* 12.1 OBERBLICK. 238* 12.2 ANWEISUNGSILBERDECKUNGSTEST. 241* 12.3 ZWEIGILBERDECKUNGSTEST. 244* 12.4 BEDINGUNGSILBERDECKUNGSTEST. 245* 12.5 PFADILBERDECKUNGSTEST. 249* 12.6 PROZEDURAUFRUFTEST. 256* 12.7 STRUKTURELLE TESTKRITERIEN VERGLEICHEN. . . . . . . . . . . . . . . . . . . . . . . . . 258* 12.8 DAS PROBLEM DER NICHTAUSFIIHRBARKEIT. . . . . . . . . . . . . . . . . . . . . . . . . 259* 13 DATENFLUSSBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265* 13.1 OBERBLICK. 266* 13.2 DEFINITION-VERWENDUNGS-ZUORDNUNGEN. 266* 13.3 DATENFLUSSTESTKRITERIEN. 270* 13.4 DATENFLUSSILBERDECKUNG MIT KOMPLEXEN STRUKTUREN . . . . . . . . . . . . . . . 272* 13.5 DAS PROBLEM DER NICHTAUSFIIHRBARKEIT. . . . . . . . . . . . . . . . . . . . . . . . . 273* 14 MODELLBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277* 14.1 OBERBLICK. 277* 14.2 TESTFALLE VON ENDLICHEN AUTOMATEN ABLEITEN . . . . . . . . . . . . . . . . . . . . 278* 14.3 ENTSCHEIDUNGSSTRUKTUREN TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283* X INHALTSVERZEICHNIS 14.4 TESWILLE AUS KONTROLL- ODER DATENFLUSSGRAPHEN ABLEITEN . . . . . . . . . . . 290* 14.5 TESTFALLEAUSGRAMMATIKENABLEITEN. . . . . . . . . . . . . . . . . . . . . . . . . . 294* 15 TESTEN OBJEKTORIENTIERTER SOFTWARE . 305* 15.1 UBERBLICK . 305* 15.2 PROBLEME BEIM TESTEN OBJEKTORIENTIERTER SOFTWARE . 306* 15.3 EIN ORTHOGONALER TESTANSATZ . 314* 15.4 KLASSENEINZELTEST . 316* 15.5 TESTEN MIT ENDLICHEN AUTOMATEN . 317* 15.6 KLASSENINTEGRATIONSTEST . 321* 15.7 STRUKTURELLES TESTEN VON KLASSEN . 329* 15.8 ORAKEL FLIR KLASSEN . 335* 15.9 POLYMORPHIE UND DYNAMISCHE BINDUNG . 338* 15.10 VERERBUNG . 340* 15.11 GENERIZITAT. . 344* 15.12 AUSNAHMEN . 345* 16 FEHIERBASIERTES TESTEN . 351* 16.1 UBERBLICK . 351* 16.2 ANNAHMEN FLIR DAS FEHLERBASIERTE TESTEN . 352* 16.3 MUTATIONSANALYSE . 354* 16.4 FEHLERBASIERTE TESTADAQUATHEITSKRITERIEN . 356* 16.5 VARIATIONEN DER MUTATIONSANALYSE . 361* 17 TESTAUSFIIHRUNG . 367* 17.1 UBERBLICK . 367* 17.2 VON TESTFALLSPEZIFIKATIONEN ZU TESTFALLEN . 368* 17.3 SCAFFOLDING . 369* 17.4 ALLGEMEINES UND SPEZIFISCHES SCAFFOLDING . 370* 17.5 TESTORAKEL . 372* 17.6 SELBSTIIBERPRIIFUNGEN ALS ORAKE!. . 375* 17.7 CAPTURE-REPLAY-TEST . 379* 18 INSPEKTION . 383* 18.1 UBERBLICK . 383* 18.2 DAS INSPEKTIONSTEAM . 385* 18.3 DER INSPEKTIONSPROZESS . 386* 18.4 CHECKLISTEN . 387* 18.5 PAARPROGRAMMIERUNG . 394* INHALTSVERZEICHNIS* XL 19* PROGRAMMANALYSE . 399* 19.1* OBERBLICK . 399* 19.2* SYMBOLISCHE AUSFIIHRUNG BEI DER PROGRAMMANALYSE . 401* 19.3* SYMBOLISCHES TESTEN . 403* 19.4* AUSFIIHRUNGSPFADE ZUSAMMENFASSEN . 405* 19.5* SPEICHERANALYSE . 406* 19.6* LOCKSET-ANALYSE . 409* 19.7* VERHALTENSMODELLE AUS DER AUSFTIHRUNG EXTRAHIEREN . 411* IV* PROZESS 419* 20* DEN PROZESS PLANEN OND IIBERWACHEN 421* 20.1* OBERBLICK . 421* 20.2* QUALITAT UND PROZESS . 422* 20.3* TEST- UND ANALYSESTRATEGIEN . 424* 20.4* TEST- UND ANALYSEPLANE . 427* 20.5* RISIKOP\ANUNG . 436* 20.6* PROZESSILBERWACHUNG . 438* 20.7* PROZESSVERBESSERUNG . 446* 20.8* DAS QUA\ITATSTEAM . 449* 21* INTEGRATIONSTEST OND TEST KOMPONENTENBASIERTER SOFTWARE . 457* 21.\ OBERBLICK . 457* 21.2* STRATEGIEN FUR DEN LNTEGRATIONSTEST . 459* 21.3* KOMPONENTEN UND BAUGRUPPEN TESTEN . 465* 22* SYSTEMTEST, AKZEPTANZTEST OND REGRESSIONSTEST . 47\* 22.\ OBERBLICK . 471* 22.2* SYSTEMTEST . 472* 22.3* AKZEPTANZTEST . 476* 22.4* BENUTZUNGSFREUNDLICHKEIT . 478* 22.5* REGRESSIONSTEST . 483* 22.6* AUSWAHLTECHNIKEN FUR REGRESSIONSTESTS . 484* 22.7* TESTFALLPRIORISIERUNG UND SELEKTIVE AUSFIIHRUNG . 492* 23* ANALYSE OND TEST AOTOMATISIEREN . 497* 23.1* OBERBLICK . 498* 23.2* AUTOMATISIERUNG UND PLANUNG . 499* 23.3* PROZESSMANAGEMENT . 500* 23.4* STATISCHE METRIKEN . 502* XLI INHALTSVERZEICHNIS 23.5 TESTFALLERZEUGUNG UND -AUSFTIHRUNG . 505* 23.6 STATISCHE ANALYSE UND BEWEIS . 505* 23.7 KOGNITIVE UNTERSTIITZUNG . 509* 23.8 VERSIONSKONTROLLE . 511* 23.9 DEBUGGING . 511* 23.10 WERKZEUGE AUSWAHLEN UND INTEGRIEREN . 513* 24 ANALYSE UND TEST DOKUMENTIEREN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 517* 24.1 OBERBLICK. 517* 24.2 DOKUMENTE ORGANISIEREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518* 24.3 DOKUMENT ZUR TESTSTRATEGIE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520* 24.4 ANALYSE- UND TESTPLAN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522* 24.5 DOKUMENTE MIT TESTENTWURFSSPEZIFIKATIONEN . . . . . . . . . . . . . . . . . . . 524* 24.6 TEST- UND ANALYSEBERICHTE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527* LITERATURVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531* STICHWORTVERZEICHNIS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543*
adam_txt	INHALTSVERZEICHNIS ABBILDUNGSVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XIII* TABELLENVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XIX* VORWORT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . XXI* I GRUNDLAGEN VON TEST UND ANALYSE SOFTWARETESTUND-ANALYSE- EIN LJBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . 3* 1.1 ENTWICKLUNGSPROZESSUND VERIFIKATION. . . . . . . . . . . . . . . . . . . . . . . . . 3* 1.2 GRUNDLEGENDEFRAGEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5* 1.3 WANN BEGINNEN UND ENDEN VERIFIKATION UND VALIDIERUNG? 6* 1.4 WEICHE TECHNIKEN SOLLTEN EINGESETZT WERDEN? . . . . . . . . . . . . . . . . . 8* 1.5 WIE KANN GEPRUFT WERDEN, OB EIN PRODUKT FERTIG IST? 12* 1.6 WIE KANN DIE QUALITAT NACHFOLGENDER RELEASES SICHERGESTELLT WERDEN? . 13* 1.7 WIE KANN DER ENTWICKLUNGSPROZESS VERBESSERT WERDEN? 14* 2 EIN FRAMEWORK FUR TEST UND ANALYSE . 19* 2.1 VALIDIERUNG UND VERIFIKATION . 19* 2.2 FREIHEITSGRADE . 22* 2.3 UNTERSCHIEDLICHE ARTEN VON SOFTWARE . 29* 3 GRUNDPRINZIPIEN . 35* 3.1 ANFALLIGKEIT . 35* 3.2 REDUNDANZ . 39* 3.3 RESTRIKTION . 40* 3.4 PARTITIONIERUNG . 43* 3.5 SICHTBARKEIT . 44* 3.6 FEEDBACK . 45* 4 TEST- UND ANALYSEAKTIVITIITEN INNERHALB EINES SOFTWAREPROZESSES . 47* 4.1 DER QUALITATSPROZESS . 47* 4.2 PLANUNG UND DBERWACHUNG . 49* 4.3 QUALITATSZIELE . 51* VIII INHALTSVERZEICHNIS 4.4 MERKMALE DER SYSTEMSTABILWIT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53* 4.5 ANALYSE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56* 4.6 TESTEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58* 4.7 VERBESSERUNG DES PROZESSES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59* 4.8 ORGANISATORISCHE FAKTOREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61* II GRUNDLEGENDE VERFAHREN 65* 5 ENDLICHE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67* 5.1 UBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67* 5.2 ENDLICHE ABSTRAKTIONEN DES VERHALTENS . . . . . . . . . . . . . . . . . . . . . . . . 71* 5.3 KONTROLLFLUSSGRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71* 5.4 AUFRUFGRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76* 5.5 ENDLICHE AUTOMATEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80* 6 ABHANGIGKEITS- NND DATENTLNSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89* 6.1 DEFINITION-VERWENDUNGS-PAARE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89* 6.2 DATENFLUSSANALYSE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94* 6.3 KLASSISCHE ANALYSEN: AKTIVE VARIABLEN UND VERFIIGBARE AUSDRUCKE . . . . 97* 6.4 VON DER AUSFLIHRUNG ZUR KONSERVATIVEN DATENFLUSSANALYSE , 103* 6.5 DATENFLUSSANALYSE BEI ARRAYS UND ZEIGEM . . . . . . . . . . . . . . . . . . . . . 106* 6.6 INTERPROZEDURALE ANALYSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109* 7 SYMBOLISCHE ANSFIIHRNNG NND BEWEIS VON EIGENSCHAFTEN . . . . . . . . . . . . . 115* 7.1 SYMBOLISCHER ZUSTAND UND INTERPRETATION. . . . . . . . . . . . . . . . . . . . . . 116* 7.2 ZUSAMMENFASSENDE INFORMATIONEN. . . . . . . . . . . . . . . . . . . . . . . . . . . 119* 7.3 SCHLEIFEN UND ZUSICHERUNGEN , 120* 7.4 KOMPOSITORISCHE BEWEISFLIHRUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . 124* 7.5 REASONING IIBER DATENSTRUKTUREN UND KLASSEN. . . . . . . . . . . . . . . . . . . 125* 8 MODELLBASIERTE VERIFIKATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129* 8.1 OBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129* 8.2 UNTERSUCHUNG DES ZUSTANDSRAUMS . . . . . . . . . . . . . . . . . . . . . . . . . . . 132* 8.3 DAS PROBLEM DER ZUSTANDSRAUMEXPLOSION. . . . . . . . . . . . . . . . . . . . . . 141* 8.4 DAS PROBLEM DER MODELLIIBEREINSTIMMUNG . . . . . . . . . . . . . . . . . . . . . 144* 8.5 GRANULARIUIT DER MODELLIERUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148* 8.6 INTENSIONALE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152* 8.7 MODELLVERFEINERUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155* 8.8 DATENMODELLVERIFIKATION MITTELS RELATIONALER ALGEBRA. . . . . . . . . . . . . . 158* IX INHALTSVERZEICHNIS III PROBLEME UND METHODEN 167* 9 AUSWAHL UND ADAQUATHEIT DER TESTFLILLE . . . . . . . . . . . . . . . . . . . . . . . . . . 169* 9.1 OBERBLICK. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169* 9.2 TESTSPEZIFIKATIONEN UND FALLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170* 9.3 ADAQUATHEITSKRITERIEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173* 9.4 KRITERIEN VERGLEICHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175* 10 FUNKTIONALES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181* 10.1 DBERBLICK. 182* 10.2 ZUFALLSTEST VS. AQUIVALENZKLASSENTEST. . . . . . . . . . . . . . . . . . . . . . . . . 183* 10.3 EIN SYSTEMATISCHER ANSATZ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189* 10.4 EINEN PASSENDEN ANSATZ AUSWAHLEN . . . . . . . . . . . . . . . . . . . . . . . . . . 196* 11 KOMBINATORISCHES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203* 11.1 OBERBLICK. 204* 11.2 CATEGORY-PARTITIONING-TESTING. 204* 11.3 PAARWEISES KOMBINATORISCHES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . 215* 11.4 KATALOGBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219* 12 STRUKTURELLES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237* 12.1 OBERBLICK. 238* 12.2 ANWEISUNGSILBERDECKUNGSTEST. 241* 12.3 ZWEIGILBERDECKUNGSTEST. 244* 12.4 BEDINGUNGSILBERDECKUNGSTEST. 245* 12.5 PFADILBERDECKUNGSTEST. 249* 12.6 PROZEDURAUFRUFTEST. 256* 12.7 STRUKTURELLE TESTKRITERIEN VERGLEICHEN. . . . . . . . . . . . . . . . . . . . . . . . . 258* 12.8 DAS PROBLEM DER NICHTAUSFIIHRBARKEIT. . . . . . . . . . . . . . . . . . . . . . . . . 259* 13 DATENFLUSSBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265* 13.1 OBERBLICK. 266* 13.2 DEFINITION-VERWENDUNGS-ZUORDNUNGEN. 266* 13.3 DATENFLUSSTESTKRITERIEN. 270* 13.4 DATENFLUSSILBERDECKUNG MIT KOMPLEXEN STRUKTUREN . . . . . . . . . . . . . . . 272* 13.5 DAS PROBLEM DER NICHTAUSFIIHRBARKEIT. . . . . . . . . . . . . . . . . . . . . . . . . 273* 14 MODELLBASIERTES TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277* 14.1 OBERBLICK. 277* 14.2 TESTFALLE VON ENDLICHEN AUTOMATEN ABLEITEN . . . . . . . . . . . . . . . . . . . . 278* 14.3 ENTSCHEIDUNGSSTRUKTUREN TESTEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283* X INHALTSVERZEICHNIS 14.4 TESWILLE AUS KONTROLL- ODER DATENFLUSSGRAPHEN ABLEITEN . . . . . . . . . . . 290* 14.5 TESTFALLEAUSGRAMMATIKENABLEITEN. . . . . . . . . . . . . . . . . . . . . . . . . . 294* 15 TESTEN OBJEKTORIENTIERTER SOFTWARE . 305* 15.1 UBERBLICK . 305* 15.2 PROBLEME BEIM TESTEN OBJEKTORIENTIERTER SOFTWARE . 306* 15.3 EIN ORTHOGONALER TESTANSATZ . 314* 15.4 KLASSENEINZELTEST . 316* 15.5 TESTEN MIT ENDLICHEN AUTOMATEN . 317* 15.6 KLASSENINTEGRATIONSTEST . 321* 15.7 STRUKTURELLES TESTEN VON KLASSEN . 329* 15.8 ORAKEL FLIR KLASSEN . 335* 15.9 POLYMORPHIE UND DYNAMISCHE BINDUNG . 338* 15.10 VERERBUNG . 340* 15.11 GENERIZITAT. . 344* 15.12 AUSNAHMEN . 345* 16 FEHIERBASIERTES TESTEN . 351* 16.1 UBERBLICK . 351* 16.2 ANNAHMEN FLIR DAS FEHLERBASIERTE TESTEN . 352* 16.3 MUTATIONSANALYSE . 354* 16.4 FEHLERBASIERTE TESTADAQUATHEITSKRITERIEN . 356* 16.5 VARIATIONEN DER MUTATIONSANALYSE . 361* 17 TESTAUSFIIHRUNG . 367* 17.1 UBERBLICK . 367* 17.2 VON TESTFALLSPEZIFIKATIONEN ZU TESTFALLEN . 368* 17.3 SCAFFOLDING . 369* 17.4 ALLGEMEINES UND SPEZIFISCHES SCAFFOLDING . 370* 17.5 TESTORAKEL . 372* 17.6 SELBSTIIBERPRIIFUNGEN ALS ORAKE!. . 375* 17.7 CAPTURE-REPLAY-TEST . 379* 18 INSPEKTION . 383* 18.1 UBERBLICK . 383* 18.2 DAS INSPEKTIONSTEAM . 385* 18.3 DER INSPEKTIONSPROZESS . 386* 18.4 CHECKLISTEN . 387* 18.5 PAARPROGRAMMIERUNG . 394* INHALTSVERZEICHNIS* XL 19* PROGRAMMANALYSE . 399* 19.1* OBERBLICK . 399* 19.2* SYMBOLISCHE AUSFIIHRUNG BEI DER PROGRAMMANALYSE . 401* 19.3* SYMBOLISCHES TESTEN . 403* 19.4* AUSFIIHRUNGSPFADE ZUSAMMENFASSEN . 405* 19.5* SPEICHERANALYSE . 406* 19.6* LOCKSET-ANALYSE . 409* 19.7* VERHALTENSMODELLE AUS DER AUSFTIHRUNG EXTRAHIEREN . 411* IV* PROZESS 419* 20* DEN PROZESS PLANEN OND IIBERWACHEN 421* 20.1* OBERBLICK . 421* 20.2* QUALITAT UND PROZESS . 422* 20.3* TEST- UND ANALYSESTRATEGIEN . 424* 20.4* TEST- UND ANALYSEPLANE . 427* 20.5* RISIKOP\ANUNG . 436* 20.6* PROZESSILBERWACHUNG . 438* 20.7* PROZESSVERBESSERUNG . 446* 20.8* DAS QUA\ITATSTEAM . 449* 21* INTEGRATIONSTEST OND TEST KOMPONENTENBASIERTER SOFTWARE . 457* 21.\ OBERBLICK . 457* 21.2* STRATEGIEN FUR DEN LNTEGRATIONSTEST . 459* 21.3* KOMPONENTEN UND BAUGRUPPEN TESTEN . 465* 22* SYSTEMTEST, AKZEPTANZTEST OND REGRESSIONSTEST . 47\* 22.\ OBERBLICK . 471* 22.2* SYSTEMTEST . 472* 22.3* AKZEPTANZTEST . 476* 22.4* BENUTZUNGSFREUNDLICHKEIT . 478* 22.5* REGRESSIONSTEST . 483* 22.6* AUSWAHLTECHNIKEN FUR REGRESSIONSTESTS . 484* 22.7* TESTFALLPRIORISIERUNG UND SELEKTIVE AUSFIIHRUNG . 492* 23* ANALYSE OND TEST AOTOMATISIEREN . 497* 23.1* OBERBLICK . 498* 23.2* AUTOMATISIERUNG UND PLANUNG . 499* 23.3* PROZESSMANAGEMENT . 500* 23.4* STATISCHE METRIKEN . 502* XLI INHALTSVERZEICHNIS 23.5 TESTFALLERZEUGUNG UND -AUSFTIHRUNG . 505* 23.6 STATISCHE ANALYSE UND BEWEIS . 505* 23.7 KOGNITIVE UNTERSTIITZUNG . 509* 23.8 VERSIONSKONTROLLE . 511* 23.9 DEBUGGING . 511* 23.10 WERKZEUGE AUSWAHLEN UND INTEGRIEREN . 513* 24 ANALYSE UND TEST DOKUMENTIEREN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 517* 24.1 OBERBLICK. 517* 24.2 DOKUMENTE ORGANISIEREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 518* 24.3 DOKUMENT ZUR TESTSTRATEGIE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520* 24.4 ANALYSE- UND TESTPLAN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522* 24.5 DOKUMENTE MIT TESTENTWURFSSPEZIFIKATIONEN . . . . . . . . . . . . . . . . . . . 524* 24.6 TEST- UND ANALYSEBERICHTE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527* LITERATURVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531* STICHWORTVERZEICHNIS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543*
any_adam_object	1
any_adam_object_boolean	1
author	Pezzè, Mauro Young, Michal
author_facet	Pezzè, Mauro Young, Michal
author_role	aut aut
author_sort	Pezzè, Mauro
author_variant	m p mp m y my
building	Verbundindex
bvnumber	BV035080901
classification_rvk	ST 233
classification_tum	DAT 330f
ctrlnum	(OCoLC)315961230 (DE-599)BVBBV035080901
dewey-full	005.14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.14
dewey-search	005.14
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	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">BV035080901</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240521</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081002s2009 ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486585216</subfield><subfield code="9">978-3-486-58521-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)315961230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035080901</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-384</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">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pezzè, Mauro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Software testing and analysis</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software testen und analysieren</subfield><subfield code="b">Prozesse, Prinzipien und Techniken</subfield><subfield code="c">von Mauro Pezzè und Michal Young</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVI, 552 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 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. [531] - 542</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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="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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="C">b</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Young, Michal</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV 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=016749148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection>
id	DE-604.BV035080901
illustrated	Illustrated
index_date	2024-07-02T22:07:13Z
indexdate	2024-07-20T04:55:09Z
institution	BVB
isbn	9783486585216
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016749148
oclc_num	315961230
open_access_boolean
owner	DE-20 DE-12 DE-91G DE-BY-TUM DE-824 DE-210 DE-859 DE-M347 DE-703 DE-29T DE-523 DE-634 DE-Aug4 DE-1102 DE-11 DE-19 DE-BY-UBM DE-573 DE-384
owner_facet	DE-20 DE-12 DE-91G DE-BY-TUM DE-824 DE-210 DE-859 DE-M347 DE-703 DE-29T DE-523 DE-634 DE-Aug4 DE-1102 DE-11 DE-19 DE-BY-UBM DE-573 DE-384
physical	XXVI, 552 S. Ill., graph. Darst. 24 cm
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Oldenbourg
record_format	marc
spelling	Pezzè, Mauro Verfasser aut Software testing and analysis Software testen und analysieren Prozesse, Prinzipien und Techniken von Mauro Pezzè und Michal Young München Oldenbourg 2009 XXVI, 552 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [531] - 542 Programmanalyse (DE-588)4175841-9 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 s DE-604 Programmanalyse (DE-588)4175841-9 s b DE-604 Young, Michal Verfasser aut OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016749148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Pezzè, Mauro Young, Michal Software testen und analysieren Prozesse, Prinzipien und Techniken Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd
subject_GND	(DE-588)4175841-9 (DE-588)4132652-0
title	Software testen und analysieren Prozesse, Prinzipien und Techniken
title_alt	Software testing and analysis
title_auth	Software testen und analysieren Prozesse, Prinzipien und Techniken
title_exact_search	Software testen und analysieren Prozesse, Prinzipien und Techniken
title_exact_search_txtP	Software testen und analysieren Prozesse, Prinzipien und Techniken
title_full	Software testen und analysieren Prozesse, Prinzipien und Techniken von Mauro Pezzè und Michal Young
title_fullStr	Software testen und analysieren Prozesse, Prinzipien und Techniken von Mauro Pezzè und Michal Young
title_full_unstemmed	Software testen und analysieren Prozesse, Prinzipien und Techniken von Mauro Pezzè und Michal Young
title_short	Software testen und analysieren
title_sort	software testen und analysieren prozesse prinzipien und techniken
title_sub	Prozesse, Prinzipien und Techniken
topic	Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd
topic_facet	Programmanalyse Softwaretest
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016749148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT pezzemauro softwaretestingandanalysis AT youngmichal softwaretestingandanalysis AT pezzemauro softwaretestenundanalysierenprozesseprinzipienundtechniken AT youngmichal softwaretestenundanalysierenprozesseprinzipienundtechniken

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge