Research Article
Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Table 2
Results for single faults.
| | Program | | LOC
| Exec.
trace | Con.
| Int.
var. | Total
diag. | Valid
diag. | Sum.
Slice | Red.
Slice | Time
|
| | | 1 | 12 | 14 | 29 | 8 | 6 | 5 | 6 | 5 | 656 | | | 2 | 12 | 17 | 39 | 11 | 3 | 3 | 6 | 3 | 203 | | AKSWT | 3 | 12 | 14 | 29 | 8 | 6 | 5 | 6 | 5 | 500 | | | 4 | 12 | 4 | 3 | 2 | 2 | 1 | 2 | 1 | 141 | | | 5 | 12 | 20 | 45 | 12 | 3 | 3 | 6 | 3 | 219 |
| | | 1 | 14 | 14 | 29 | 10 | 6 | 6 | 6 | 6 | 469 | | | 2 | 14 | 14 | 31 | 11 | 7 | 6 | 8 | 7 | 469 | | ProdSum | 3 | 14 | 11 | 22 | 9 | 7 | 5 | 8 | 6 | 453 | | | 4 | 14 | 14 | 31 | 11 | 3 | 3 | 8 | 3 | 203 | | | 5 | 14 | 11 | 22 | 9 | 3 | 2 | 8 | 2 | 188 |
| | | 1 | 15 | 15 | 25 | 9 | 9 | 8 | 9 | 9 | 625 | | | 2 | 15 | 9 | 9 | 5 | 6 | 5 | 6 | 6 | 359 | | PowerFunction | 3 | 15 | 12 | 16 | 7 | 9 | 7 | 9 | 8 | 578 | | | 4 | 15 | 15 | 23 | 9 | 4 | 4 | 9 | 5 | 250 | | | 5 | 15 | 15 | 23 | 9 | 4 | 4 | 9 | 5 | 266 |
| | | 1 | 16 | 13 | 26 | 12 | 10 | 6 | 10 | 7 | 672 | | | 2 | 16 | 14 | 25 | 9 | 8 | 8 | 8 | 8 | 500 | | Multiplication | 3 | 16 | 10 | 17 | 9 | 4 | 1 | 8 | 2 | 422 | | | 4 | 16 | 11 | 19 | 7 | 6 | 3 | 8 | 3 | 375 | | | 5 | 16 | 16 | 33 | 13 | 4 | 4 | 10 | 4 | 344 |
| | | 1 | 15 | 24 | 55 | 17 | 10 | 10 | 10 | 10 | 735 | | | 2 | 15 | 26 | 62 | 22 | 12 | 12 | 12 | 12 | 906 | | Divide | 3 | 15 | 13 | 26 | 8 | 8 | 8 | 8 | 8 | 500 | | | 4 | 15 | 10 | 18 | 6 | 4 | 3 | 8 | 3 | 250 | | | 5 | 15 | 7 | 10 | 4 | 6 | 5 | 6 | 5 | 359 |
| | | 1 | 7 | 4 | 4 | 2 | 3 | 3 | 3 | 3 | 172 | | IfExamples | 2 | 8 | 3 | 3 | 2 | 2 | 1 | 2 | 1 | 110 | | | 3 | 14 | 4 | 2 | 1 | 2 | 1 | 3 | 2 | 125 |
| | | 1 | 22 | 43 | 89 | 25 | 12 | 7 | 13 | 8 | 1141 | | | 2 | 22 | 7 | 8 | 4 | 2 | 1 | 6 | 3 | 125 | | SumPowers | 3 | 22 | 7 | 8 | 4 | 2 | 1 | 6 | 3 | 109 | | | 4 | 22 | 28 | 51 | 15 | 11 | 11 | 12 | 12 | 907 | | | 5 | 22 | 28 | 58 | 17 | 12 | 12 | 13 | 13 | 890 |
| TrafficLight
| 1 | 17 | 61 | 80 | 12 | 11 | 1 | 11 | 4 | 1078 | | 2 | 17 | 44 | 63 | 12 | 6 | 1 | 6 | 2 | 500 |
| | | 1 | 14 | 52 | 99 | 14 | 7 | 7 | 7 | 7 | 719 | | WhileLoops | 2 | 14 | 12 | 19 | 6 | 6 | 3 | 6 | 3 | 406 | | | 3 | 14 | 52 | 99 | 14 | 7 | 7 | 7 | 7 | 719 |
| | | 1 | 15 | 10 | 21 | 11 | 4 | 4 | 7 | 5 | 266 | | | 2 | 15 | 10 | 21 | 11 | 4 | 4 | 7 | 5 | 250 | | Taste | 3 | 15 | 28 | 69 | 23 | 6 | 6 | 9 | 7 | 469 | | | 4 | 15 | 25 | 61 | 21 | 6 | 6 | 9 | 7 | 453 | | | 5 | 15 | 19 | 45 | 17 | 6 | 6 | 9 | 7 | 438 |
| | Average | | 15.1 | 18.1 | 34.1 | 10.4 | 6.0 | 4.9 | 7.7 | 5.5 | 454 |
|
|
