一種基于有限自動機的程序分析技術研究
王超 海軍大連艦艇學院; 遼寧大連116018
關鍵詞：有限自動機 程序分析 信息識別 軟件維護
摘要：程序分析在軟件測試和軟件維護方面均有著重要作用。為實現軟件程序的自動分析,基于有限自動機理論,提出一種實現軟件靜態信息識別的程序分析技術,根據程序設計語言的語法規則對程序語句進行了分類,針對每類語句設計了對應的識別自動機,在此基礎上設計并實現了一個程序分析原型系統。系統應用結果表明,利用這一技術可以有效的提取出程序的控制流和數據流信息,能夠為軟件質量的定量分析和軟件維護工作奠定良好基礎。
計算機時代雜志要求:
{1}前言：一般不超過300字。應重點概述研究的背景、理論依據、預期結果及意義等，一定要明確提出本文的寫作目的。
{2}選題要新，與時俱進。突出前沿問題、難點問題、熱點問題、重點問題，注重理論聯系實際，強化現實針對性。
{3}不接收多次投遞他處的文章，不得有抄襲或剽竊等違反著作權法的行為，引用的文獻須標明出處，參考文獻中須注明文獻位置，否則不采用。
{4}題目：應反映文章主要內容，一般不用副標題，不超過20個漢字，避免使用非公知的外文縮寫。
{5}來稿請注明作者聯系電話、E-mail，收刊人及詳細地址、郵編。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
