【摘要】 以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值更多还原

【Abstract】 The basic theory of program data flow analysis is discussed formally.A concept of data flow expession is given.Based on this concept, a data flow analysis algorithm,by which a data flow anormaly in a program could be found,is given. Because of its common use, a corresponding program testing assistant tool can be easily developed.So that it has the advantage in the aspect of application.更多还原