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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 本報記者 張巍巍;知面可知心[N];科技日報;2008年

2 李建文;讓大腦與裝備同步“升級”[N];解放軍報;2007年

3 趙明;IT人嫌貧愛富？[N];廠長經(jīng)理日報;2002年

4 李剛;間諜軟件：演繹安全版“無間道”[N];中國計算機報;2006年

5 編譯 沈建苗;遠離間諜軟件[N];計算機世界;2006年

6 林長久;不要讓間諜軟件卷土重來[N];中國計算機報;2005年

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

8 張曉兵邋李剛;惡意軟件:安全史上“最牛釘子戶”[N];中國計算機報;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ù)合代碼倉庫的多Agent程序理解環(huán)境和工具研究[D];浙江大學(xué);2004年

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

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

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

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

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

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

9 黃晉;組合橫切關(guān)注自動化挖掘與重構(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 姚靈靈;程序理解中支持多語言理解與信息提取技術(shù)的研究[D];浙江工業(yè)大學(xué);2012年

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

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

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

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

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

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

本文編號：2557910