一种基于有限自动机的程序分析技术研究

关键词：有限自动机 程序分析 信息识别 软件维护 

摘要：程序分析在软件测试和软件维护方面均有着重要作用。为实现软件程序的自动分析,基于有限自动机理论,提出一种实现软件静态信息识别的程序分析技术,根据程序设计语言的语法规则对程序语句进行了分类,针对每类语句设计了对应的识别自动机,在此基础上设计并实现了一个程序分析原型系统。系统应用结果表明,利用这一技术可以有效的提取出程序的控制流和数据流信息,能够为软件质量的定量分析和软件维护工作奠定良好基础。

计算机时代杂志要求:

{1}前言：一般不超过300字。应重点概述研究的背景、理论依据、预期结果及意义等，一定要明确提出本文的写作目的。

{2}选题要新，与时俱进。突出前沿问题、难点问题、热点问题、重点问题，注重理论联系实际，强化现实针对性。

{3}不接收多次投递他处的文章，不得有抄袭或剽窃等违反著作权法的行为，引用的文献须标明出处，参考文献中须注明文献位置，否则不采用。

{4}题目：应反映文章主要内容，一般不用副标题，不超过20个汉字，避免使用非公知的外文缩写。

{5}来稿请注明作者联系电话、E-mail，收刊人及详细地址、邮编。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社