【摘要】：由于核電軟件常常涉及到知識(shí)產(chǎn)權(quán)、商業(yè)機(jī)密，甚至是國(guó)家秘密，出于對(duì)自我知識(shí)產(chǎn)權(quán)的保護(hù)，在被引進(jìn)的核電軟件中，能給出核電軟件自身完整設(shè)計(jì)文檔的例子是少之又少。 然而，隨著時(shí)間的推移，我國(guó)核電已進(jìn)入繁榮發(fā)展的時(shí)期。過(guò)去那種出于安全性和經(jīng)濟(jì)性考慮而引進(jìn)的國(guó)外核電軟件已不能滿足現(xiàn)時(shí)代我國(guó)核電發(fā)展的需求。盡管如此，核電軟件安全事關(guān)重大，其中涉及到的很多技術(shù)、模型必需經(jīng)過(guò)嚴(yán)格的安全驗(yàn)證才能使用，因此我們不能想當(dāng)然的另起爐灶去重新開(kāi)發(fā)一種適合我們現(xiàn)在需求的核電軟件。而被我們引進(jìn)使用的核電軟件是在經(jīng)過(guò)嚴(yán)格的測(cè)試并被在核電站安全運(yùn)行多年的核電軟件，因此可以被認(rèn)為是安全的。為了滿足我國(guó)核電發(fā)展的需求，加之我國(guó)目前有很多這樣的被引進(jìn)的“過(guò)時(shí)的”核電軟件，在原有核電軟件基礎(chǔ)之上進(jìn)行軟件重用或再工程成為一個(gè)迫切的需求，，這就會(huì)涉及到核電軟件程序理解的問(wèn)題�；诖耍瑢�(duì)核電軟件程序理解的研究對(duì)我國(guó)核電產(chǎn)業(yè)發(fā)展具有十分重要的現(xiàn)實(shí)意義。 論文通過(guò)深入的調(diào)研分析，在經(jīng)歷了數(shù)萬(wàn)行核電軟件源代碼分析以及參閱國(guó)內(nèi)外大量文獻(xiàn)資料的基礎(chǔ)之上，通過(guò)引入一般性程序理解所采用的工具、技術(shù)、模型，引出了核電軟件程序理解所需要的技術(shù)、模型、步驟，重點(diǎn)介紹了核電點(diǎn)軟件理解的過(guò)程及核電軟件程序理解過(guò)程中數(shù)學(xué)模型的建立過(guò)程。并以Copernic程序?yàn)槔�，具體介紹了核電軟件理解的過(guò)程以及物理模型的建立過(guò)程，總結(jié)出了一套對(duì)核電軟件程序理解切實(shí)可行的方案，這對(duì)我國(guó)核電的發(fā)展具有十分現(xiàn)實(shí)的意義。所做主要工作包括： 1)研究了有關(guān)核電軟件程序理解的相關(guān)背景和程序理解的技術(shù)、現(xiàn)狀；對(duì)一般性程序理解存在的困難及核電軟件程序理解存在困難、意義進(jìn)行了研究。 2)根據(jù)核電軟件分析實(shí)戰(zhàn)經(jīng)驗(yàn)，給出了在核電軟件程序理解過(guò)程中應(yīng)采用何種程序理解技術(shù)以及何種程序理解模型�？偨Y(jié)了核電軟件程序理解的過(guò)程經(jīng)驗(yàn)、技術(shù)、模型以及核電軟件程序理解過(guò)程中數(shù)學(xué)模型的建立過(guò)程，重點(diǎn)介紹了怎么對(duì)核電軟件進(jìn)行建模，形成了一套對(duì)核電軟件程序理解切實(shí)可行的方案。 3)為了能夠更好地實(shí)現(xiàn)對(duì)核電軟件程序理解，本文以Copernic程序?yàn)槔攸c(diǎn)介紹了核電軟件理解的過(guò)程以及如何對(duì)物理模型進(jìn)行數(shù)學(xué)建模，以具體實(shí)例的形式給出了核電軟件程序理解的過(guò)程。
【學(xué)位授予單位】：南華大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TP311.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 馮鐵,李文錦,張家晨;從源碼中抽取設(shè)計(jì)模式技術(shù)研究綜述[J];計(jì)算機(jī)應(yīng)用研究;2005年08期

2 王成;王彬;;利用軟件逆向工程實(shí)現(xiàn)注冊(cè)算法解密[J];通化師范學(xué)院學(xué)報(bào);2008年10期

3 朱澤彬,黃會(huì)群,何锫;轉(zhuǎn)換系統(tǒng)的設(shè)計(jì)及其應(yīng)用[J];長(zhǎng)沙理工大學(xué)學(xué)報(bào);2005年03期

4 陳紹強(qiáng),楊放春,陳俊亮;功能轉(zhuǎn)換——軟件維護(hù)自動(dòng)化之路[J];軟件學(xué)報(bào);1997年03期

5 丁劍潔;魚濱;侯紅;;軟件維護(hù)中程序理解的應(yīng)用與研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2007年04期

6 宋海鴻,陳平;逆向工程在軟件開(kāi)發(fā)中的作用和應(yīng)用現(xiàn)狀[J];電子科技;2002年01期

7 孫家殨,袁勇;面向Java語(yǔ)言的逆向工程工具JBRET-JAVA[J];岳陽(yáng)師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2002年03期

8 王宇穎,李永浩,孫志崗,蘇小紅;代碼多樣化消除規(guī)則的研究[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);2005年04期

9 王玉英;基于程序依賴圖的軟件植入范圍選取策略[J];西安文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

10 楊玲;常紅;王開(kāi)鑄;;C語(yǔ)言程序關(guān)鍵詞序列表示法[J];電腦學(xué)習(xí);2006年03期

相關(guān)會(huì)議論文 前10條

1 李忠;張君峰;趙合計(jì);;支持程序理解的擴(kuò)展表示模型[A];山東省計(jì)算機(jī)學(xué)會(huì)2005年信息技術(shù)與信息化研討會(huì)論文集（二）[C];2005年

2 鄭文榮;王樹(shù)宗;劉剛;;軟件逆向工程應(yīng)用研究[A];全國(guó)第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

3 韓曉東;王曉博;劉超;;中文文檔與源代碼間關(guān)聯(lián)關(guān)系提取方法的研究[A];全國(guó)第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議(CACIS·2009)暨全國(guó)第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2009年

4 陳秋楓;;一種軟件控制程序在分體式太陽(yáng)能熱水器控制中的多種應(yīng)用[A];全國(guó)住宅工程太陽(yáng)能熱水應(yīng)用研討會(huì)論文集[C];2004年

5 余斌;史亮;錢巨;;程序概率依賴性分析技術(shù)研究[A];中國(guó)造船工程學(xué)會(huì)電子技術(shù)學(xué)術(shù)委員會(huì)2006學(xué)術(shù)年會(huì)論文集（上冊(cè)）[C];2006年

6 Masahiko Houda;薛虹;;對(duì)數(shù)字內(nèi)容的法律保護(hù)的研究[A];專利法研究（2001）[C];2001年

7 謝志剛;李惜春;;計(jì)算機(jī)間諜軟件的分析與防范[A];第二十次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2005年

8 陳玉剛;;各類匯總表的自動(dòng)形成是如何實(shí)現(xiàn)的[A];加入WTO和中國(guó)科技與可持續(xù)發(fā)展——挑戰(zhàn)與機(jī)遇、責(zé)任和對(duì)策（下冊(cè)）[C];2002年

9 徐文國(guó);王丹;盧凱;;基于量化參數(shù)的硝基苯類化合物毒性構(gòu)效關(guān)系研究[A];中國(guó)化學(xué)會(huì)第九屆全國(guó)量子化學(xué)學(xué)術(shù)會(huì)議暨慶祝徐光憲教授從教六十年論文摘要集[C];2005年

10 肖群;;計(jì)算機(jī)軟件版權(quán)保護(hù)之淺見(jiàn)[A];信息網(wǎng)絡(luò)與高新技術(shù)法律前沿（2005）——電子法與電子商務(wù)時(shí)代的傳統(tǒng)知識(shí)保護(hù)研討會(huì)論文集[C];2005年

相關(guān)重要報(bào)紙文章 前10條

1 本報(bào)記者 張巍巍;知面可知心[N];科技日?qǐng)?bào);2008年

2 李建文;讓大腦與裝備同步“升級(jí)”[N];解放軍報(bào);2007年

3 趙明;IT人嫌貧愛(ài)富？[N];廠長(zhǎng)經(jīng)理日?qǐng)?bào);2002年

4 李剛;間諜軟件：演繹安全版“無(wú)間道”[N];中國(guó)計(jì)算機(jī)報(bào);2006年

5 編譯 沈建苗;遠(yuǎn)離間諜軟件[N];計(jì)算機(jī)世界;2006年

6 林長(zhǎng)久;不要讓間諜軟件卷土重來(lái)[N];中國(guó)計(jì)算機(jī)報(bào);2005年

7 見(jiàn)習(xí)記者 洪壘;古井貢業(yè)績(jī)下滑為哪般？[N];中國(guó)經(jīng)濟(jì)時(shí)報(bào);2004年

8 張曉兵邋李剛;惡意軟件:安全史上“最牛釘子戶”[N];中國(guó)計(jì)算機(jī)報(bào);2007年

9 于翔;協(xié)作歸于門戶？[N];網(wǎng)絡(luò)世界;2007年

10 沈瑋;陪你“哭”陪你“笑”,電子油畫“善解人意”[N];新華每日電訊;2006年

相關(guān)博士學(xué)位論文 前9條

1 張志猛;面向理解的OORE關(guān)鍵技術(shù)研究[D];浙江大學(xué);2004年

2 陳華;基于復(fù)合代碼倉(cāng)庫(kù)的多Agent程序理解環(huán)境和工具研究[D];浙江大學(xué);2004年

3 陳昊鵬;軟件逆向工程技術(shù)研究[D];西北工業(yè)大學(xué);2002年

4 錢劍飛;基于特征符號(hào)的程序理解研究[D];浙江大學(xué);2006年

5 褚華;面向?qū)ο筌浖⻊?dòng)態(tài)模型抽象與轉(zhuǎn)換技術(shù)研究[D];西安電子科技大學(xué);2007年

6 馮鐵;可變性驅(qū)動(dòng)的軟件設(shè)計(jì)改進(jìn)方法的研究[D];吉林大學(xué);2007年

7 張雪松;軟件迷惑技術(shù)研究[D];吉林大學(xué);2008年

8 李必信;程序切片技術(shù)及其在面向?qū)ο筌浖攘亢蛙浖䴗y(cè)試中的應(yīng)用[D];南京大學(xué);2000年

9 黃晉;組合橫切關(guān)注自動(dòng)化挖掘與重構(gòu)方法研究[D];華中科技大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 付世敏;基于綜合模型的核電程序理解[D];南華大學(xué);2013年

2 林道淼;程序理解中信息提取與可視化表示的研究[D];浙江工業(yè)大學(xué);2012年

3 葉彭飛;一種基于領(lǐng)域本體的程序理解方法研究[D];復(fù)旦大學(xué);2010年

4 姚靈靈;程序理解中支持多語(yǔ)言理解與信息提取技術(shù)的研究[D];浙江工業(yè)大學(xué);2012年

5 游聯(lián)啟;程序理解中的信息抽取和聲明語(yǔ)句解釋的研究[D];浙江工業(yè)大學(xué);2012年

6 劉思聰;方面挖掘算法及其在程序理解中的應(yīng)用研究[D];浙江工業(yè)大學(xué);2010年

7 葉佳杰;基于C/C++語(yǔ)言的函數(shù)級(jí)程序理解可視化的研究與實(shí)現(xiàn)[D];浙江工業(yè)大學(xué);2012年

8 杜均;基于OSDG切片的核電程序理解[D];南華大學(xué);2013年

9 李榮榮;JAVA語(yǔ)言程序理解中算法可視化表示和實(shí)現(xiàn)的研究[D];浙江工業(yè)大學(xué);2012年

10 魏志廣;基于C語(yǔ)言的逆向工程的分析與實(shí)現(xiàn)[D];河北工業(yè)大學(xué);2004年

本文編號(hào)：2557910