今回のGRACEセミナーでは，上海交通大学のJianjun Zhao教授をお招きして，
スライシングを活用したデバッギングに関するご講演をいただくことになりました．
皆様のご参加をお待ちしいたしております.
※今回のセミナーは英語で行われます.
◆◆第66回GRACEセミナー ◆◆
【日時】2013年3月18（月）13:00-14:00
【会場】国立情報学研究所(NII) 20階 ミーティングルーム1・2（2009/2010）
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=628975
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—————————————-
Title:
Debugging with Online Slicing and Dryrun
Prof. Jianjun Zhao, Shanghai Jiao Tong University, China
Abstract:
Efficient tools are indispensable in the battle against software bugs
during both development and maintenance. In this talk, we will
introduce two techniques that target different phases of an
interactive and iterative debugging session. To help fault diagnosis,
we split the costly computation of backward slicing into online and
offline, and employ incremental updates after program edits. The
result is a vast reduction of slicing cost. For the benchmarks we
tested, slices can be computed in the range of seconds, which is
0.3-5% of the unmodified slicing algorithm.
The possibility of running slicing in situ and with instant response
time gives rise to the possibility of editing-time validation, which
we call dryrun. The idea is that a pair of slices, one forward from
root cause and one backward from the bug site, defines the scope to
validate a fix. This localization makes it possible to invoke symbolic
execution and constraint solving which are otherwise too expensive to
use in an interactive debugging environment.
Bio:
Jianjun Zhao received the PhD degree in computer science from Kyushu
University, Japan in 1997 and the B.Eng. degree in computer science
from Tsinghua University, China in 1987. He is currently a full
professor at the School of Software, Shanghai Jiao Tong University
(SJTU), China. Before joining SJTU, he was an assistant professor at
the Department of Computer Science and Engineering, Fukuoka Institute
of Technology, Japan, from April 1997 to March 2000, and an associate
professor from April 2000 to October 2005. He also worked as a
visiting scientist at the Laboratory for Computer Science,
Massachusetts Institute of Technology, from April 2002 to March 2003.
His primary research interest is program analysis, software testing,
model checking, and formal specification and verification techniques.
He has published more than 70 research papers in a number of
conferences proceedings, including ICSE, ECOOP, ASE, ISSTA, PEPM,
AOSD, FASE, ICSM. He served/is serving as a PC member for various
international conferences including ECOOP, AOSD, ICSM, ISSRE, GPCE,
and CSMR. (http://cse.sjtu.edu.cn/~zhao/)
