Spontaneous detection of infinite loops and livelocks in dynamic testing of concurrent programs

Che Sheng Lin*, Gwan Hwan Hwang

*此作品的通信作者

研究成果: 書貢獻/報告類型會議論文篇章

摘要

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.

原文英語
主出版物標題Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
頁面291-292
頁數2
DOIs
出版狀態已發佈 - 2009
事件2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, 中国
持續時間: 2009 7月 292009 7月 31

出版系列

名字Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

其他

其他2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
國家/地區中国
城市Tianjin
期間2009/07/292009/07/31

ASJC Scopus subject areas

  • 電腦科學應用
  • 硬體和架構
  • 軟體

指紋

深入研究「Spontaneous detection of infinite loops and livelocks in dynamic testing of concurrent programs」主題。共同形成了獨特的指紋。

引用此