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