Debugging method based on a scalable dynamic analysis infrastructure
| Project/Area Number |
25730037
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
Kobayashi Takashi 東京工業大学, 情報理工学(系)研究科, 准教授 (50345386)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Project Status |
Completed (Fiscal Year 2015)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2013: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
|---|
| Keywords | ソフトウェア工学 / 動的解析 / デバッグ / 実行トレース解析 / 振る舞い可視化 |
|---|
| Outline of Final Research Achievements |
Our main research aim is to support debugging task for a real-world software. In this research, we developed a scalable execution trace analysis framework and a novel technique to abstract execution traces through considering the software design intent. We also studied scalable and accurate fault localization techniques based on the analysis of dynamic data dependencies and detailed method level behavior.
We finally proposed a method to find the temporal specifications of API usage based on the selective inlining and data mining techniques. We also studied a method to extract the logical dependencies among methods based on the analysis of program change histories. Based on the combination of those proposed techniques methods, developer can be support to comprehend and debug large scale code.
|
Report
(4 results)
Research Products
(14 results)
