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

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

 
(全文阅读请到中国期刊全文数据库)



 
   
读者园地  
   
 
 
地址:  杭州市五常港路121号西溪创智中心四号楼807室    《计算机时代》编辑部
邮编:  310012      电话:  (0571)85118010   (0571)85119435   E-mail:  Computer_era @ vip.163.com
浙ICP备10035352号