TY - GEN
T1 - Spontaneous detection of infinite loops and livelocks in dynamic testing of concurrent programs
AU - Lin, Che Sheng
AU - Hwang, Gwan-Hwan
PY - 2009/11/16
Y1 - 2009/11/16
N2 - Concurrent programs that contain busy-waiting loops or iterative statements might not stop when they are tested dynamically due to some processes getting stuck in infinite loops or the execution of several loops forming a livelock. The traditional way of handling this problem in dynamic testing - interrupting the execution of the concurrent program when a predefined maximum execution time is exceeded. In this paper, we propose a dynamic decision scheme that spontaneously stops the execution of tested processes when they get stuck in an infinite loop or form a livelock. Since the halting problem is proven to be undecidable, we propose heuristic algorithms to cope with this. We apply the proposed scheme to a dynamic testing methodology called dynamic effective testing, which can perform state- and transition-cover testing for concurrent programs with busy-waiting loops. The implementation and experimental results demonstrate the feasibility of the proposed scheme.
AB - Concurrent programs that contain busy-waiting loops or iterative statements might not stop when they are tested dynamically due to some processes getting stuck in infinite loops or the execution of several loops forming a livelock. The traditional way of handling this problem in dynamic testing - interrupting the execution of the concurrent program when a predefined maximum execution time is exceeded. In this paper, we propose a dynamic decision scheme that spontaneously stops the execution of tested processes when they get stuck in an infinite loop or form a livelock. Since the halting problem is proven to be undecidable, we propose heuristic algorithms to cope with this. We apply the proposed scheme to a dynamic testing methodology called dynamic effective testing, which can perform state- and transition-cover testing for concurrent programs with busy-waiting loops. The implementation and experimental results demonstrate the feasibility of the proposed scheme.
KW - Concurrent testing
KW - Infinite loop
KW - Livelock
UR - http://www.scopus.com/inward/record.url?scp=71049174815&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=71049174815&partnerID=8YFLogxK
U2 - 10.1109/TASE.2009.23
DO - 10.1109/TASE.2009.23
M3 - Conference contribution
AN - SCOPUS:71049174815
SN - 9780769537573
T3 - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
SP - 291
EP - 292
BT - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
T2 - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Y2 - 29 July 2009 through 31 July 2009
ER -