PASCAL 静态分析器的设计与实现
来源期刊：昆明理工大学学报(自然科学版)1997年第4期
论文作者：刘晓燕
关键词：软件测试;静态分析;
摘 要：采用词法分析技术及递归下降子程序语法分析方法进行设计与实现对已通过编译的ＴｕｒｂｏＰＡＳＣＡＬ源程序给出有限的静态分析，为程序员提供程序结构图、模块及变量的交叉引用等静态特性
刘晓燕
昆明理工大学计算系
摘 要：采用词法分析技术及递归下降子程序语法分析方法进行设计与实现对已通过编译的ＴｕｒｂｏＰＡＳＣＡＬ源程序给出有限的静态分析，为程序员提供程序结构图、模块及变量的交叉引用等静态特性
关键词：软件测试;静态分析;
