2010 Fiscal Year Final Research Report
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
|
| Keywords | プログラム解析 / データフロー解析 |
|---|
| 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.
|
Research Products
(9 results)
