Abstract | ||
---|---|---|
Debugging is critically important for diagnosing bugs of programs. In optimistic Parallel Discrete Event Simulation(PDES), a bug is probably not to be reproduced for the different orders of event processing in different simulation runs, so locating bugs is of great challenge in debugging PDES programs. To solve this problem, we first propose a bug reproducing method based on checkpoint/restart mechanism, which avoids starting the program from scratch when an error emerges. Moreover, our method can change the checkpoint interval dynamically to reduce the overhead of states saving. Then, based on bug reproduction we propose a bug locating method, which aims at searching for these events that cause the bugs likely by comparing the event processing sequences between one passing test case and the failing test case. By doing this, we can focus on the events directly related to the bugs, which will reduce the time of locating a bug. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/PADS.2012.1 | PADS |
Keywords | Field | DocType |
different simulation,event processing sequence,checkpoint interval dynamically,different order,debugging pdes program,bug reproduction,parallel discrete event simulation,event processing,diagnosing bug,passing test case,test case,discrete event simulation,customer relationship management,debugging,computational modeling,formal verification,computer bugs,parallel processing | Scratch,Shotgun debugging,Computer science,Software bug,Parallel processing,Parallel computing,Complex event processing,Real-time computing,Debugging,Distributed computing,Formal verification,Discrete event simulation | Conference |
ISSN | Citations | PageRank |
1087-4097 | 0 | 0.34 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Feng Zhu | 1 | 11 | 6.83 |
Yiping Yao | 2 | 120 | 31.11 |