Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
SpiStreści
6.1.4.
Aspektpsychologicznyprzeglądów000000000000000000000000
113
6.1.5.
Typyprzeglądów0000000000000000000000000000000000
114
6.1.6.
Biznesowawartośćprzeglądów00000000000000000000000000
123
6.1.7.
Wdrażanieprzeglądów0000000000000000000000000000000
124
6.1.8.
Kryteriasukcesuprzeglądów000000000000000000000000000
126
6020
Analizastatyczna00000000000000000000000000000000000000
127
6.2.1.
Analizaprzepływusterowania000000000000000000000000000
127
6.2.2.
Poprawnośćsekwencjioperacji00000000000000000000000000
128
6.2.3.
Analizaprzepływudanych00000000000000000000000000000
130
6.2.4.
Narzędziadoparsowaniakodu00000000000000000000000000
132
6.2.5.
Testowaniezgodnościzestandardamioprogramowania0000000000000
134
6.2.6.
Metrykizłożonościkodu000000000000000000000000000000
134
6.2.7.
Formalnedowodzeniepoprawności000000000000000000000000
137
6.2.8.
Symbolicznewykonywaniekodu00000000000000000000000000
140
602090
Analizastatycznastronyinternetowej00000000000000000000000
143
6.2.10.Grafywywołań00000000000000000000000000000000000
144
7.Analizadynamiczna00000000000000000000000000000000000000149
7.1.
Wykrywaniewyciekówpamięci0000000000000000000000000000000
151
7.2.
Wykrywaniedzikichiwiszącychwskaźników00000000000000000000000
152
7.3.
BłędyAPI000000000000000000000000000000000000000000
153
7.4.
Analizawydajności(profiling)00000000000000000000000000000000
154
8.Technikiopartenaspecyfkacji(czarnoskrzynkowe)00000000000000000158
8.1.
Podziałnaklasyrównoważności000000000000000000000000000000
159
8.1.1.
Opismetody
000000000000000000000000000000000000
159
8.1.2.
Formalnadefinicjapodziału0000000000000000000000000000
161
8.1.3.
Poprawneiniepoprawneklasyrównoważności000000000000000000
162
8.1.4.
Proceduratworzeniaprzypadkówtestowych0000000000000000000
163
8.1.5.
Przykład000000000000000000000000000000000000000
165
8.1.6.
Przykładśledzeniaartefaktówprocesutestowego0000000000000000
169
8.2.
Analizawartościbrzegowych00000000000000000000000000000000
171
8.2.1.
Opismetody0000000000000000000000000000000000000
171
8.2.2.
Metodydwóchoraztrzechwartościgranicznych00000000000000000
172
8.2.3.
Którewartościrozważaćjakobrzegowe?000000000000000000000
175
8.2.4.
Przypadekzmiennychciągłych000000000000000000000000000
178
8.2.5.
Przykład000000000000000000000000000000000000000
178
8030
Tablicedecyzyjne000000000000000000000000000000000000000
181
8.3.1.
Opismetody0000000000000000000000000000000000000
181
8.3.2.
Wartościnieistotneiminimalizacjatablicydecyzyjnej00000000000000
185
8.3.3.
Przykład000000000000000000000000000000000000000
189
8.4.
Grafyprzyczynowo-skutkowe00000000000000000000000000000000
191
8.4.1.
Opismetody0000000000000000000000000000000000000
191
8.4.2.
PrzekształcaniemiędzygrafamiP-Sitablicamidecyzyjnymi0000000000
194
8.4.3.
Metodaśledzeniawstecznego–redukcjaliczbytestów0000000000000
197
8.4.4.
Przykład000000000000000000000000000000000000000
201
8.5.
Testowanieprzejśćmiędzystanami00000000000000000000000000000
202
8.5.1.
Opismetody0000000000000000000000000000000000000
202
8.5.2.
Tabelarycznereprezentacjeprzejść000000000000000000000000
206
8.5.3.
Kryteriapokryciadlamaszynystanowej000000000000000000000
208
XI