摘要
以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具。
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.
出处
《长春邮电学院学报》
1997年第2期1-4,共4页
Journal of Changchun Post and Telecommunication Institute
关键词
软件测试
程序分析
数据流分析
Software testing
Program analysis
Data flow analysis
Data flow expression
