................................................................................................. 213
12.6 Execution-Time and Resource-Use Analysis .................................................................................................... 213
12.7 Algorithm Analysis ............................................................................................................................................ 213
12.8 Linear Code Sequence and Jump (LCSAJ) ....................................................................................................... 214
12.9 Dynamic Analysis Techniques ........................................................................................................................... 215
12.10 Derivative Techniques ....................................................................................................................................... 217
13
Test Techniques: Static Analysis........................................................................................................219
13.1 Static Dataflow Analysis .................................................................................................................................... 220
13.2 Dataflow Bugs .................................................................................................................................................... 221
13.3 Control-Flow Analysis .............................
Pages:
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29