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