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

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

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

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