Software testen und analysieren: Prozesse, Prinzipien und Techniken
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
Oldenbourg
2009
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [531] - 542 |
| Physical Description: | XXVI, 552 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783486585216 |
Staff View
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 |
Record in the Search Index
| _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 |