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

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

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