Automatic Fault Detection based on Data-Flow Analysis for Software Components
| Project/Area Number |
21700030
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
ISHIO Takashi Osaka University, 大学院・情報科学研究科, 助教 (60452413)
|
|---|
| Project Period (FY) |
2009 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
|---|
| Keywords | プログラム解析 / データフロー解析 / プログラムスライシング / 静的解析 / プログラム理解 / 開発環境 / Java / 欠陥検出 / オブジェクト指向 |
|---|
| Research Abstract |
In this research, we have developed an algorithm of data-flow analysis for software components. While an existing data-flow analysis takes much time to analyze software, our research achieved an efficient analysis based on an approximation of the behavior of software. We have conducted case studies that show our algorithm extracts typical data-flow among components and our algorithm supports program understanding.
|
Report
(3 results)
Research Products
(17 results)
