伊人色婷婷综在合线亚洲,亚洲欧洲免费视频,亚洲午夜视频在线观看,最新国产成人盗摄精品视频,日韩激情视频在线观看,97公开免费视频,成人激情视频在线观看,成人免费淫片视频男直播,青草青草久热精品视频99

一種基于有限自動(dòng)機(jī)的程序分析技術(shù)研究

王超 海軍大連艦艇學(xué)院; 遼寧大連116018

關(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)雜志社

計(jì)算機(jī)時(shí)代

省級(jí)期刊
預(yù)計(jì)1個(gè)月內(nèi)審稿

期刊主頁(yè)
相關(guān)期刊
  • 戶(hù)外探險(xiǎn)
    省級(jí)期刊
    預(yù)計(jì)1個(gè)月內(nèi)審稿
  • 歌劇
    省級(jí)期刊
    預(yù)計(jì)1個(gè)月內(nèi)審稿
  • 家居主張
    省級(jí)期刊
    預(yù)計(jì)1個(gè)月內(nèi)審稿
  • 幸福生活指南
    省級(jí)期刊
    預(yù)計(jì)1個(gè)月內(nèi)審稿
我們的服務(wù)