周景科

（工業(yè)和信息化部電子第五研究所，廣東　廣州　510610）

?

專業(yè)領(lǐng)域軟件的代碼審查方法研究

周景科

（工業(yè)和信息化部電子第五研究所，廣東廣州510610）

代碼審查是發(fā)現(xiàn)軟件的缺陷、保證軟件的質(zhì)量的重要手段?，F(xiàn)今對(duì)特定專業(yè)領(lǐng)域的軟件進(jìn)行代碼審查時(shí)一般采用傳統(tǒng)的代碼審查方法，但傳統(tǒng)的代碼審查方法仍存在一些問題，基于此，提出了一種專業(yè)領(lǐng)域軟件的代碼審查方法。結(jié)果表明，該方法在實(shí)際的工程應(yīng)用中能夠有效地發(fā)現(xiàn)軟件的缺陷，顯著地提高軟件測(cè)試效率。

代碼審查；專業(yè)領(lǐng)域；軟件測(cè)試

0　引言

隨著嵌入式軟件復(fù)雜程度的增加、規(guī)模的增大，作為一種保證軟件質(zhì)量的手段，軟件測(cè)試越來越受人們的重視［1］。代碼審查是一種高效的軟件測(cè)試手段，通過代碼審查能夠盡早地發(fā)現(xiàn)軟件的缺陷，找出動(dòng)態(tài)測(cè)試難以發(fā)現(xiàn)或隔離的軟件缺陷［2］。而且越早發(fā)現(xiàn)缺陷，越有利于降低軟件測(cè)試的成本。代碼審查的另一個(gè)優(yōu)點(diǎn)是，其能夠?yàn)閯?dòng)態(tài)測(cè)試設(shè)計(jì)和使用測(cè)試用例提供思路。

現(xiàn)今對(duì)特定專業(yè)領(lǐng)域 （例如：雷達(dá)、電子對(duì)抗和武器等）的軟件進(jìn)行代碼審查時(shí)主要采用傳統(tǒng)的代碼審查方法。這種方法主要關(guān)注代碼本身的邏輯問題，與專業(yè)領(lǐng)域知識(shí)相隔離，不易發(fā)現(xiàn)與功能邏輯相關(guān)的有價(jià)值的問題。此外，在實(shí)際工程中，由于未對(duì)特定專業(yè)領(lǐng)域軟件的代碼審查方法進(jìn)行歸納總結(jié)，從而造成了同一專業(yè)領(lǐng)域的軟件的不同的測(cè)試項(xiàng)目的代碼審查工作之間的可借鑒性不強(qiáng)，效率不高。

1　傳統(tǒng)的代碼審查方法

傳統(tǒng)的代碼審查是由程序員和測(cè)試員組成的審查小組，通過閱讀、討論和分析等方式對(duì)程序進(jìn)行靜態(tài)的檢查的過程。代碼審查是一種正式的檢查和評(píng)估方法，其利用一種逐步地檢查源代碼中有無邏輯或語法錯(cuò)誤的方法來檢查軟件中的缺陷。通常，代碼審查的內(nèi)容包括以下幾項(xiàng)：檢查代碼和設(shè)計(jì)的一致性；檢查代碼對(duì)標(biāo)準(zhǔn)的遵循情況和可讀性；檢查代碼的邏輯表達(dá)的正確性；檢查代碼結(jié)構(gòu)的合理性［3］。

傳統(tǒng)的代碼審查的一個(gè)重要手段是建立代碼審查單。審查單可以保證程序遵照精確的規(guī)程進(jìn)行。下面列舉了一個(gè)C語言通用代碼審查單所包含的檢查項(xiàng)目。

a）檢查是否存在數(shù)據(jù)引用錯(cuò)誤。數(shù)據(jù)引用錯(cuò)誤是指由未經(jīng)正確聲明和初始化的變量、常量、數(shù)組、字符串或記錄導(dǎo)致的軟件缺陷。

b）檢查是否存在數(shù)據(jù)聲明錯(cuò)誤。數(shù)據(jù)聲明缺陷是由不正確的聲明或使用變量和常量引起的。

c）檢查是否存在計(jì)算錯(cuò)誤。計(jì)算錯(cuò)誤是指錯(cuò)誤的數(shù)學(xué)計(jì)算問題，例如：除數(shù)為零、運(yùn)算優(yōu)先級(jí)錯(cuò)誤和運(yùn)算溢出等。

d）檢查是否存在比較和判斷錯(cuò)誤。應(yīng)特別關(guān)注文中使用的比較和判斷用語，例如：小于、大于、等于、不等于、真、假。比較和判斷錯(cuò)誤很可能是邊界問題導(dǎo)致的。

e）檢查是否存在控制流程錯(cuò)誤?？刂屏麇e(cuò)誤出現(xiàn)的原因是編程語言中循環(huán)等控制結(jié)構(gòu)未按預(yù)期的方式工作。它們通常都是由計(jì)算或者比較錯(cuò)誤直接或間接地造成的。

f）檢查是否存在子程序參數(shù)錯(cuò)誤。子程序參數(shù)錯(cuò)誤的來源是軟件子程序不正確地傳遞數(shù)據(jù)。

g）檢查是否存在輸入/輸出錯(cuò)誤。輸入/輸出錯(cuò)誤包括文件的讀取、接收鍵盤或鼠標(biāo)輸入錯(cuò)誤，以及向打印機(jī)或屏幕等輸出設(shè)備寫入錯(cuò)誤。

h）檢查是否存在一致性錯(cuò)誤。主要指程序與設(shè)計(jì)文檔不一致的錯(cuò)誤。

隨著電子信息行業(yè)的快速發(fā)展，軟件的規(guī)模及復(fù)雜度劇增，與此同時(shí)軟件的測(cè)試壓力及質(zhì)量風(fēng)險(xiǎn)也在倍增。但受國內(nèi)軟件行業(yè)整體成熟度的限制，軟件研制企業(yè)在軟件測(cè)試方面的投入普遍偏低，軟件測(cè)試從業(yè)人員普遍存在對(duì)被測(cè)專業(yè)領(lǐng)域不夠熟悉，技術(shù)能力一般，人員結(jié)構(gòu)偏年輕，測(cè)試項(xiàng)目經(jīng)驗(yàn)十分有限等問題。

使用傳統(tǒng)的代碼審查方法對(duì)特定專業(yè)領(lǐng)域的軟件進(jìn)行代碼審查時(shí)，主要依據(jù)通用代碼審查單逐項(xiàng)進(jìn)行檢查。這種方法主要存在以下兩個(gè)問題。

a）通用代碼審查單主要關(guān)注代碼本身的語法和邏輯問題，與專業(yè)領(lǐng)域知識(shí)相隔離，因而難以發(fā)現(xiàn)有價(jià)值的問題。例如：針對(duì)雷達(dá)專業(yè)領(lǐng)域，由于其軟件本身的功能具有復(fù)雜性，因此測(cè)試人員需要具備較強(qiáng)的雷達(dá)領(lǐng)域的專業(yè)知識(shí)，且熟悉雷達(dá)軟件的主要功能和雷達(dá)系統(tǒng)的工作流程。若僅采用傳統(tǒng)的代碼審查方法建立通用的審查單，而未結(jié)合雷達(dá)的功能進(jìn)行分析，則將難以發(fā)現(xiàn)與雷達(dá)功能邏輯相關(guān)的有價(jià)值的問題。

b）同一專業(yè)領(lǐng)域不同項(xiàng)目的代碼審查工作的可借鑒性不強(qiáng)，代碼審查效率不高。在實(shí)際的工程項(xiàng)目中，同一專業(yè)領(lǐng)域的不同項(xiàng)目之間通常具有類似性和相關(guān)性。而傳統(tǒng)的代碼審查方法，每次實(shí)施新項(xiàng)目時(shí)，都只是根據(jù)通用代碼審查單進(jìn)行審查，未結(jié)合專業(yè)領(lǐng)域的知識(shí)對(duì)功能要素進(jìn)行歸納總結(jié)，造成了項(xiàng)目間的可借鑒性不強(qiáng)，代碼審查效率不高。

2　專業(yè)領(lǐng)域軟件的代碼審查方法

針對(duì)傳統(tǒng)的代碼審查方法存在的問題，本文提出了一種專業(yè)領(lǐng)域軟件的代碼審查方法。即在傳統(tǒng)的代碼審查方法的基礎(chǔ)上，將通用代碼審查單與特定專業(yè)領(lǐng)域的知識(shí)相結(jié)合，建立一種基于特定專業(yè)領(lǐng)域的代碼審查單。該方法的具體實(shí)施步驟如下所述。

a）針對(duì)不同語言的軟件建立通用代碼審查單知識(shí)庫。

b）根據(jù)特定的專業(yè)領(lǐng)域，將軟件的功能進(jìn)行劃分，建立專業(yè)領(lǐng)域代碼審查要素知識(shí)庫。

c）將第一步和第二步中的知識(shí)庫進(jìn)行融合，將第二步的專業(yè)領(lǐng)域要素加入到第一步建立的通用代碼審查單中，形成基于專業(yè)領(lǐng)域的代碼審查單。

以下是建立雷達(dá)數(shù)據(jù)處理專業(yè)的代碼審查單的一個(gè)應(yīng)用實(shí)例。

雷達(dá)是一種用于檢測(cè)和定位反射物體 （例如：飛機(jī)、艦船、航天飛機(jī)、車輛、行人和自然環(huán)境）的電磁系統(tǒng)［4］。常見的嵌入式雷達(dá)系統(tǒng)由處理機(jī)、天線單元、發(fā)射單元和接收單元組成，其結(jié)構(gòu)如圖1所示，在下文中將天線單元、發(fā)射單元和接收單元統(tǒng)稱為各分機(jī)。

圖1　雷達(dá)系統(tǒng)結(jié)構(gòu)圖

處理機(jī)是雷達(dá)的核心部分。處理機(jī)中駐留雷達(dá)數(shù)據(jù)處理軟件和信號(hào)處理軟件。數(shù)據(jù)處理軟件主要完成雷達(dá)系統(tǒng)的調(diào)度和控制，接收上位機(jī)的控制指令并向其返回雷達(dá)狀態(tài)信息，控制各分機(jī)進(jìn)行工作和自檢并接收各分機(jī)返回的狀態(tài)信息和自檢結(jié)果，控制信號(hào)處理軟件的工作模式和向信號(hào)處理軟件發(fā)送載機(jī)姿態(tài)數(shù)據(jù)，接收信號(hào)處理軟件發(fā)送的目標(biāo)信息進(jìn)行點(diǎn)跡、航跡處理等［5］。

根據(jù)雷達(dá)數(shù)據(jù)處理軟件的功能需求及特點(diǎn)，結(jié)合工程經(jīng)驗(yàn)，本文闡述了建立雷達(dá)數(shù)據(jù)處理軟件代碼審查單的方法。即：1）建立通用C語言代碼審查單知識(shí)庫，見第1章a）～h）；2）將雷達(dá)數(shù)據(jù)處理軟件的功能進(jìn)行劃分，建立雷達(dá)數(shù)據(jù)處理專業(yè)代碼審查要素知識(shí)庫，見2.1部分；3）建立雷達(dá)數(shù)據(jù)處理專業(yè)代碼審查單，見2.2部分。

2.1建立雷達(dá)數(shù)據(jù)處理專業(yè)代碼審查要素知識(shí)庫

2.1.1初始化檢查

初始化檢查主要檢查雷達(dá)數(shù)據(jù)處理軟件開始工作時(shí)，系統(tǒng)的軟硬件是否處于正確的初始狀態(tài)。檢查要點(diǎn)如下所述。

a）定時(shí)器初始化。雷達(dá)數(shù)據(jù)處理軟件采用定時(shí)器來控制整個(gè)雷達(dá)系統(tǒng)的時(shí)序，故定時(shí)器初始設(shè)置尤為重要。應(yīng)重點(diǎn)關(guān)注定時(shí)周期的設(shè)置。

b）中斷初始化。重點(diǎn)關(guān)注中斷觸發(fā)方式和中斷使能設(shè)置。

c）接口初始化。由于數(shù)據(jù)處理軟件和各分機(jī)軟件之間有通信接口，由此需要依據(jù)需求及設(shè)計(jì)文檔，檢查接口數(shù)據(jù)傳輸?shù)牟ㄌ芈省⑵媾夹ｒ?yàn)等的設(shè)置是否正確。

d）系統(tǒng)默認(rèn)工作參數(shù)初始化。雷達(dá)上電后若未接收到上位機(jī)發(fā)送的控制指令，一般會(huì)采用默認(rèn)工作方式。此時(shí)應(yīng)依據(jù)需求和設(shè)計(jì)文檔，檢查默認(rèn)參數(shù)的設(shè)置是否正確。一般應(yīng)檢查雷達(dá)的工作方式、量程、方位、俯仰和輻射開關(guān)等信息等。

e）故障狀態(tài)標(biāo)志位。雷達(dá)數(shù)據(jù)處理軟件將本機(jī)和各分機(jī)自檢結(jié)果上報(bào)給上位機(jī)。結(jié)合程序上下文，分析故障情況下標(biāo)志位為0還是1，檢查初始故障狀態(tài)標(biāo)志位設(shè)置是否正確。

2.1.2中斷處理檢查

由于無操作系統(tǒng)，故雷達(dá)數(shù)據(jù)處理軟件使用中斷的方式進(jìn)行系統(tǒng)控制和調(diào)度。若中斷處理不當(dāng)，可能導(dǎo)致整個(gè)系統(tǒng)崩潰或進(jìn)入死循環(huán)。在嵌入式雷達(dá)數(shù)據(jù)處理軟件中，主要有定時(shí)器中斷和接口通信中斷兩類中斷。

a）定時(shí)器中斷處理。軟件采用定時(shí)器控制時(shí)序，一般會(huì)采用在定時(shí)中斷中設(shè)置一個(gè)全局計(jì)數(shù)變量自加進(jìn)行計(jì)時(shí)，在程序主循環(huán)中根據(jù)該計(jì)數(shù)變量的值來進(jìn)行分時(shí)操作。應(yīng)重點(diǎn)檢查對(duì)此全局變量賦值的語句。以下舉例一個(gè)典型的問題。

在中斷函數(shù)中，控制上電自檢時(shí)間的計(jì)數(shù)變量為g_uBitcnt。通過在程序中查找該變量的賦值和使用處發(fā)現(xiàn)，程序維護(hù)自檢也采用同一變量g_u-Bitcnt進(jìn)行計(jì)數(shù)，而在接收上位機(jī)自檢控制命令中斷中又將該變量清零。經(jīng)分析得出若在上電自檢過程中，上位機(jī)下發(fā)維護(hù)自檢命令，則上電自檢的計(jì)數(shù)變量g_uBitcnt將被清零，導(dǎo)致上電自檢無法按正常時(shí)序進(jìn)行。發(fā)現(xiàn)問題后經(jīng)修改，將上電自檢計(jì)數(shù)全局變量改為g_uPowerupBitcnt，和維護(hù)自檢計(jì)數(shù)變量加以區(qū)分。修改前和修改后的程序如表1所示。

b）接口通信中斷。雷達(dá)數(shù)據(jù)處理軟件的接口中斷主要包括與上位機(jī)軟件的指令通信中斷、與各分機(jī)的通信中斷等。應(yīng)重點(diǎn)檢查各中斷的優(yōu)先級(jí)設(shè)置是否合理。此外，還應(yīng)考慮中斷嵌套的情況?？紤]在上位機(jī)進(jìn)行異常操作時(shí)，例如：在執(zhí)行上位機(jī)工作模式切換指令的中斷服務(wù)程序時(shí)，又收到上位機(jī)的自檢指令中斷，此時(shí)中斷優(yōu)先級(jí)的設(shè)置是否合理。

表1　修改前、后的程序

2.1.3自檢功能檢查

自檢是雷達(dá)數(shù)據(jù)處理軟件的重要功能。常見的自檢方式主要有上電自檢、周期自檢和維護(hù)自檢等。雷達(dá)數(shù)據(jù)處理軟件主要實(shí)現(xiàn)對(duì)處理機(jī)和各分機(jī)單元的自檢，并將自檢結(jié)果上報(bào)給上位機(jī)軟件。主要檢查項(xiàng)如下。

a）檢查自檢對(duì)象是否完整。依據(jù)軟件需求規(guī)格說明和軟件設(shè)計(jì)說明，檢查自檢對(duì)象是否完整。

b）檢查上電自檢完成后是否能進(jìn)入某一特定的工作模式。

c）檢查維護(hù)自檢與正常工作模式之間的關(guān)系是否正確。根據(jù)用途，雷達(dá)軟件一般具有多種工作模式。通過分析自檢函數(shù)，檢查軟件是否在任意工作模式下都能夠進(jìn)行維護(hù)自檢，以及自檢完成后是否能回到原工作模式。

d）檢查自檢項(xiàng)是否被人為屏蔽。在軟件開發(fā)的過程中，常會(huì)因調(diào)試原因而屏蔽某些自檢項(xiàng)。因此，在代碼審查時(shí)，應(yīng)檢查是否有自檢項(xiàng)被人為注釋的情況。

e）檢查自檢標(biāo)志位的設(shè)置是否正確。依據(jù)接口控制文件或接口需求規(guī)格說明，檢查自檢標(biāo)志位是否與接口協(xié)議一致。

2.1.4通信接口檢查

通信是雷達(dá)數(shù)據(jù)處理軟件的重要功能。一般分為與上位機(jī)的通信和與各分機(jī)的通信兩種。主要檢查以下內(nèi)容。

a）底層數(shù)據(jù)傳輸設(shè)置是否正確。包括通信速率和奇偶校驗(yàn)位設(shè)置是否正確。

b）應(yīng)用層通信協(xié)議是否符合接口協(xié)議。依據(jù)接口協(xié)議，檢查應(yīng)用層通信數(shù)據(jù)包的各字段是否與接口協(xié)議一致。

c）檢查通信異常時(shí)的處理策略是否合理。檢查是否有握手、通信超時(shí)重傳或上報(bào)故障等通信機(jī)制。

d）檢查軟件對(duì)異常通信報(bào)文的處理是否合理。數(shù)據(jù)處理軟件可能接收到上位機(jī)或分機(jī)發(fā)送的異常的報(bào)文，例如：報(bào)文頭、報(bào)文尾和校驗(yàn)位錯(cuò)誤等，檢查軟件是否對(duì)異常的報(bào)文進(jìn)行屏蔽，使用默認(rèn)值或上次收到的報(bào)文值。

2.1.5控制功能檢查

控制功能是雷達(dá)數(shù)據(jù)處理軟件的一個(gè)重要功能，其主要實(shí)現(xiàn)對(duì)信號(hào)處理軟件和各分機(jī)軟件的控制。主要檢查以下內(nèi)容。

a）檢查控制對(duì)象與控制內(nèi)容的一致性。例如：數(shù)據(jù)處理軟件能夠控制信號(hào)處理軟件工作在不同的工作模式下，控制發(fā)射機(jī)軟件工作在不同的輻射狀態(tài)下，此外，其還能夠控制接收機(jī)使用的波形碼和頻段號(hào)等，因此對(duì)控制功能進(jìn)行檢查時(shí)，應(yīng)首先對(duì)這些控制對(duì)象與控制內(nèi)容的一致性進(jìn)行檢查。檢查控制命令的發(fā)送對(duì)象是否正確，例如：是否存在把發(fā)送給接收機(jī)的控制命令發(fā)送給發(fā)射機(jī)的問題。

b）檢查控制命令與接口協(xié)議的一致性。依據(jù)接口協(xié)議，檢查數(shù)據(jù)處理軟件發(fā)送的控制命令的格式和內(nèi)容是否與接口協(xié)議保持一致。

2.1.6點(diǎn)跡、航跡處理功能檢查

點(diǎn)跡、航跡處理是雷達(dá)數(shù)據(jù)處理軟件的一個(gè)關(guān)鍵功能，主要實(shí)現(xiàn)點(diǎn)跡預(yù)處理、航跡起始和航跡關(guān)聯(lián)等功能。主要進(jìn)行如下檢查。

a）檢查點(diǎn)跡預(yù)處理的判斷條件是否正確。例如：檢查速度窗、角度窗和距離窗的值是否設(shè)置正確，進(jìn)行波束相關(guān)的雷達(dá)幀數(shù)是否正確。以下舉例一個(gè)典型的問題：程序中距離窗的門限值與設(shè)計(jì)文檔不一致。該門限值設(shè)置偏小，這可能導(dǎo)致將同一個(gè)目標(biāo)識(shí)別為不同目標(biāo)，從而影響雷達(dá)的功能。在實(shí)際測(cè)試中，應(yīng)依據(jù)設(shè)計(jì)文檔，檢查各門限值設(shè)置是否正確。

b）檢查航跡起始的條件是否正確。例如：測(cè)量和潛在航跡的判斷距離門限、角度門限是否設(shè)置正確等。

2.2建立雷達(dá)數(shù)據(jù)處理專業(yè)代碼審查單

在建立通用C語言代碼審查單知識(shí)庫和雷達(dá)數(shù)據(jù)處理專業(yè)代碼審查要素知識(shí)庫后，將兩個(gè)知識(shí)庫的要素進(jìn)行融合，形成基于專業(yè)領(lǐng)域的代碼審查單。以下是基于雷達(dá)數(shù)據(jù)處理專業(yè)領(lǐng)域的代碼審查單的一部分內(nèi)容。

a）檢查數(shù)據(jù)引用。檢查雷達(dá)上電默認(rèn)工作參數(shù)變量、數(shù)組等是否正確聲明和初始化。

b）檢查控制流程。檢查定時(shí)器相關(guān)的控制流程是否正確，軟件是否能按預(yù)期的時(shí)間進(jìn)行系統(tǒng)調(diào)度。

c）依據(jù)軟件設(shè)計(jì)說明書，檢查典型的邊界，例如：角度邊界、高度邊界、距離邊界和速度邊界等邊界值的設(shè)置是否與設(shè)計(jì)說明書一致。

d）檢查是否存在比較錯(cuò)誤。檢查波束相關(guān)的速度窗、角度窗和距離窗的判斷條件是否正確。

e）檢查子程序參數(shù)。檢查控制命令的發(fā)送對(duì)象是否正確。

……

3　專業(yè)領(lǐng)域軟件的代碼審查效率

普通測(cè)試工程師分別采用傳統(tǒng)代碼審查方法與專業(yè)領(lǐng)域的代碼審查方法對(duì)實(shí)際工程中不同代碼規(guī)模的項(xiàng)目數(shù)據(jù)進(jìn)行了測(cè)試，得到的代碼審查數(shù)據(jù)統(tǒng)計(jì)表和統(tǒng)計(jì)圖分別如表2和圖2-3所示。

從表2和圖2可以觀察到，對(duì)不同代碼規(guī)模的項(xiàng)目進(jìn)行審查時(shí)，采用專業(yè)領(lǐng)域代碼審查方法比采用傳統(tǒng)代碼審查方法發(fā)現(xiàn)的有價(jià)值的問題的千行代碼缺陷率均有大幅度的提高。從表2和圖3可以觀察到，對(duì)不同代碼規(guī)模的項(xiàng)目進(jìn)行審查時(shí)，采用專業(yè)領(lǐng)域代碼審查方法明顯比采用傳統(tǒng)代碼審查方法所需工時(shí)短，且代碼規(guī)模越大，節(jié)省工時(shí)就越多，代碼審查效率也就越高。

表2　代碼審查數(shù)據(jù)統(tǒng)計(jì)表

圖2　代碼規(guī)模與分別采用兩種不同的方法發(fā)現(xiàn)的有價(jià)值的問題的千行代碼缺陷率之間的關(guān)系圖

圖3　代碼規(guī)模與采用兩種方法所需工時(shí)之間的關(guān)系圖

4　結(jié)束語

本文針對(duì)傳統(tǒng)的代碼審查方法存在的問題，提出了一種基于專業(yè)領(lǐng)域的軟件代碼審查方法。在實(shí)際工程應(yīng)用中，使用該方法有益于測(cè)評(píng)機(jī)構(gòu)內(nèi)代碼審查實(shí)踐經(jīng)驗(yàn)的有效傳遞。一般情況下，測(cè)試人員采用該方法對(duì)專業(yè)領(lǐng)域的軟件進(jìn)行代碼審查時(shí)，可以快速地適應(yīng)繁重復(fù)雜的測(cè)評(píng)工作，顯著地提高測(cè)試效率，充分地發(fā)現(xiàn)深層次的軟件缺陷，從而保證被測(cè)軟件的質(zhì)量。

［1］RON Patton.軟件測(cè)試 ［M］.張小松，王玨，曹越，等譯.北京：機(jī)械工業(yè)出版社，2006.

［2］黎連業(yè)，王華，李淑春.測(cè)試技術(shù) ［M］.北京：清華大學(xué)出版社，2009.

［3］黎連業(yè)，王華，李淑春.測(cè)試技術(shù) ［M］.北京：清華大學(xué)出版社，2006.

［4］MERRILL I Sko1nik.雷達(dá)系統(tǒng)導(dǎo)論 ［M］.左群，徐國良，馬林，等譯.北京：電子工業(yè)出版社，2010.

［5］何友，修建娟，關(guān)欣.雷達(dá)數(shù)據(jù)處理及應(yīng)用 （第三版）［M］.北京：電子工業(yè)出版社，2013.

Research on Code Inspection Method of Software in Particular Fields

Zhou Jing-ke
（CEPREI，Guangzhou 510610，China）

Code inspection is an important way to find software defects and ensure software qua1ity.Nowadays，traditiona1 code inspection method is usua11y used in the code inspection of therefore，software in particu1ar fie1ds，but there are sti11 some prob1ems in the traditiona1 code inspection，so a code inspection method of software in particular fields is proposed.It turns out that the method can effective1y find software defects and significant1y improve the efficiency of software testing in engineering practice.

code inspection；particu1ar fie1d；software testing

TP 311.55

A

1672-5468（2016）03-0039-06

10.3969/j.issn.1672-5468.2016.03.008

2016-01-19

2016-05-09

周景科 （1987-），女，四川自貢人，工業(yè)和信息化部電子第五研究所軟件質(zhì)量工程研究中心工程師，碩士，主要從事軟件測(cè)評(píng)工作。