核電設計軟件編碼規(guī)范研究與應用.pdf

1、隨著核電行業(yè)的興起及計算機科學與技術突飛猛進的發(fā)展，計算機及其軟件在核電領域中的作用越來越明顯。和其他行業(yè)一樣，如何開發(fā)出高質量的軟件也成為核電行業(yè)值得深究的課題，因為保證軟件質量的關鍵途徑是系統(tǒng)全面的軟件測試。然而軟件測試是一項非常枯燥且繁瑣的事情。在軟件測試工作中，存在著大量的重復勞動，以往這些工作常常有人工來完成，花費掉大量的時間和精力不說，還會出現差錯，存在漏報的情況。傳統(tǒng)的代碼走查就是一項非常耗時且存在大量重復勞動的工作。由于

2、程序員本身的編程習慣及對語言的理解不到位，可能導致代碼難維護、存在隱藏的缺陷，程序員應該遵守一套良好的編碼規(guī)范，測試人員的代碼走查工作也必不可少。所以制定一套適合核電軟件的編碼規(guī)范以及怎么樣將測試人員從核電軟件枯燥繁瑣的代碼編碼規(guī)范檢查工作中解脫出來就成為了本文的主題。
　　在介紹研究背景及軟件測試理論之后，本文首先討論了C/C++語言及其特點，介紹了業(yè)內存在的C/C++編碼規(guī)范及現有的編碼規(guī)則檢測靜態(tài)分析工具，并深入剖析了基于編

3、碼規(guī)則檢測的靜態(tài)測試原理。然后詳細分析了核電軟件的特點，針對核電軟件的特點及作者的核電軟件測試經驗，制定了適合核電軟件特點的《核電軟件 C/C++編碼規(guī)范》。最后對C++test中的自定義規(guī)則編輯器RuleWizard進行了介紹，并舉例如何實現核電軟件編碼規(guī)范規(guī)則的定制。
　　利用規(guī)則編輯器定制的《核電軟件C/C++編碼規(guī)范》規(guī)則集，本文將核電計算系列軟件用比較成熟的工具C++test進行了檢測。結果表明：1）編碼規(guī)范的定制，提高