論文

査読有り
2017年3月

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
  • Ziyi Lin
  • ,
  • Yilei Zhou
  • ,
  • Hao Zhong
  • ,
  • Yuting Chen
  • ,
  • Haibo Yu
  • ,
  • Jianjun Zhao

E100D
3
開始ページ
473
終了ページ
482
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1587/transinf.2016EDP7388
出版者・発行元
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG

When debugging bugs, programmers often prepare test cases to reproduce buggy behaviours. However, for concurrent programs, test cases alone are typically insufficient to reproduce buggy behaviours, due to the nondeterminism of multi-threaded executions. In literature, various approaches have been proposed to reproduce buggy behaviours for concurrency bugs deterministically, but to the best of our knowledge, they are still limited. In particular, we have recognized three debugging scenarios from programming practice, but existing approaches can handle only one of the scenarios. In this paper, we propose a novel approach, called SPDebugger, that provides finer-grained thread controlling over test cases, programs under test, and even third party library code, to reproduce the pre-designed thread execution schedule. The evaluation shows that SPDebugger handles more debugging scenarios than the state-of-the-art tool, called IMUnit, with similar human effort.

リンク情報
DOI
https://doi.org/10.1587/transinf.2016EDP7388
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000399371000009&DestApp=WOS_CPL
ID情報
  • DOI : 10.1587/transinf.2016EDP7388
  • ISSN : 1745-1361
  • Web of Science ID : WOS:000399371000009

エクスポート
BibTeX RIS