Automatic Fault Detection based on Data-Flow Analysis for Software Components

在本研究中，我们开发了一种软件构件的数据流分析算法。虽然现有的数据流分析需要花费大量的时间来分析软件，但我们的研究实现了基于对软件行为的近似的高效分析。实例研究表明，我们的算法提取了组件间的典型数据流，并且支持程序理解。

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.