1、由于核電軟件常常涉及到知識產權、商業(yè)機密，甚至是國家秘密，出于對自我知識產權的保護，在被引進的核電軟件中，能給出核電軟件自身完整設計文檔的例子是少之又少。
　　然而，隨著時間的推移，我國核電已進入繁榮發(fā)展的時期。過去那種出于安全性和經濟性考慮而引進的國外核電軟件已不能滿足現時代我國核電發(fā)展的需求。盡管如此，核電軟件安全事關重大，其中涉及到的很多技術、模型必需經過嚴格的安全驗證才能使用，因此我們不能想當然的另起爐灶去重新開發(fā)一種適合

2、我們現在需求的核電軟件。而被我們引進使用的核電軟件是在經過嚴格的測試并被在核電站安全運行多年的核電軟件，因此可以被認為是安全的。為了滿足我國核電發(fā)展的需求，加之我國目前有很多這樣的被引進的“過時的”核電軟件，在原有核電軟件基礎之上進行軟件重用或再工程成為一個迫切的需求，這就會涉及到核電軟件程序理解的問題?；诖耍瑢穗娷浖绦蚶斫獾难芯繉ξ覈穗姰a業(yè)發(fā)展具有十分重要的現實意義。
　　論文通過深入的調研分析，在經歷了數萬行核電軟件源

3、代碼分析以及參閱國內外大量文獻資料的基礎之上，通過引入一般性程序理解所采用的工具、技術、模型，引出了核電軟件程序理解所需要的技術、模型、步驟，重點介紹了核電點軟件理解的過程及核電軟件程序理解過程中數學模型的建立過程。并以Copernic程序為例，具體介紹了核電軟件理解的過程以及物理模型的建立過程，總結出了一套對核電軟件程序理解切實可行的方案，這對我國核電的發(fā)展具有十分現實的意義。所做主要工作包括：
　　1)研究了有關核電軟件程序理

4、解的相關背景和程序理解的技術、現狀；對一般性程序理解存在的困難及核電軟件程序理解存在困難、意義進行了研究。
　　2)根據核電軟件分析實戰(zhàn)經驗，給出了在核電軟件程序理解過程中應采用何種程序理解技術以及何種程序理解模型?？偨Y了核電軟件程序理解的過程經驗、技術、模型以及核電軟件程序理解過程中數學模型的建立過程，重點介紹了怎么對核電軟件進行建模，形成了一套對核電軟件程序理解切實可行的方案。
　　3)為了能夠更好地實現對核電軟件程序理