魏 波，張衛(wèi)祥，齊玉華，劉鳳菊

(北京跟蹤與通信技術(shù)研究所，北京 100094)

0 引言

航天測(cè)控中心是航天測(cè)控網(wǎng)的重要組成部分，是航天任務(wù)的決策和指揮中心。航天測(cè)控中心計(jì)算機(jī)軟件系統(tǒng)部署于航天測(cè)控中心，完成對(duì)遙測(cè)數(shù)據(jù)、外測(cè)數(shù)據(jù)的接收、處理、顯示，對(duì)測(cè)控設(shè)備的引導(dǎo)控制，以及向航天器發(fā)送遙控指令等功能[1-2]?；镜暮教鞙y(cè)控中心軟件系統(tǒng)一般包括數(shù)據(jù)交換、匯集分發(fā)、遙測(cè)數(shù)據(jù)處理、外測(cè)數(shù)據(jù)處理、綜合數(shù)據(jù)處理、監(jiān)視顯示、安控輔助判決、遙控發(fā)令等軟件配置項(xiàng)[3-4]。航天發(fā)射任務(wù)數(shù)量日益增多，任務(wù)密度日益加大，留給軟件狀態(tài)切換和準(zhǔn)備時(shí)間大幅減少，對(duì)測(cè)控中心軟件系統(tǒng)提出了新的要求。測(cè)控中心軟件為了達(dá)到僅通過(guò)修改任務(wù)配置參數(shù)而適應(yīng)高密度型號(hào)任務(wù)的目的，大多采用領(lǐng)域工程分析和領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)技術(shù)，實(shí)現(xiàn)業(yè)務(wù)處理邏輯和任務(wù)配置參數(shù)的分離。

但是，軟件配置參數(shù)更動(dòng)的正確性在一定程度上依賴操作人員的知識(shí)、經(jīng)驗(yàn)和工作態(tài)度，參數(shù)更動(dòng)需要花費(fèi)大量的時(shí)間和精力[5]。研究數(shù)據(jù)證明,參數(shù)更動(dòng)過(guò)程有時(shí)會(huì)引入大量的軟件問(wèn)題，甚至影響到航天任務(wù)的成敗。依照載人航天工程軟件工程化要求，任務(wù)配置參數(shù)和軟件代碼均是軟件的一部分，無(wú)論是代碼更動(dòng)還是參數(shù)更動(dòng)均需要通過(guò)第三方的測(cè)試[6-9]，并將此作為任務(wù)前檢查的重要部分。然而,無(wú)論是軟件研制單位還是軟件用戶單位，對(duì)參數(shù)更動(dòng)測(cè)試的重視程度不足[10-12]，參數(shù)更動(dòng)測(cè)試的效果不佳。

參數(shù)依賴型軟件是指初始化時(shí)讀取并解析配置參數(shù)，并據(jù)此進(jìn)行任務(wù)處理的軟件，航天測(cè)控中心軟件是典型的參數(shù)依賴型軟件。本文針對(duì)參數(shù)依賴型軟件，提出了一種覆蓋軟件驗(yàn)收、軟件運(yùn)行、任務(wù)參數(shù)更動(dòng)等階段的第三方測(cè)試驗(yàn)證方法。并基于該方法，對(duì)遠(yuǎn)程數(shù)據(jù)交互軟件進(jìn)行了測(cè)試實(shí)踐，結(jié)果表明，該方法具有測(cè)試覆蓋性強(qiáng)、測(cè)試重點(diǎn)突出、測(cè)試效率高等特點(diǎn)，滿足載人航天工程軟件工程化技術(shù)規(guī)范的要求。

第一章分析了參數(shù)依賴型軟件“代碼+參數(shù)”的可復(fù)用架構(gòu)和軟件使用模式，第二章提出針對(duì)參數(shù)依賴特性的第三方測(cè)試流程，共包括參數(shù)依賴特性驗(yàn)收測(cè)試、參數(shù)更動(dòng)測(cè)試和測(cè)試狀態(tài)維護(hù)等3個(gè)階段，并對(duì)每個(gè)階段的測(cè)試策略、測(cè)試重點(diǎn)進(jìn)行了分析設(shè)計(jì)。第三章給出了該方法的一個(gè)應(yīng)用實(shí)例；第四章指出了該方法的應(yīng)用前景，提出了可能的優(yōu)化改進(jìn)方向。本文中，參數(shù)依賴特性定義為與參數(shù)初始化、參數(shù)解析、參數(shù)處理相關(guān)的功能、性能、安全性等軟件特性。參數(shù)依賴特性驗(yàn)收測(cè)試是指針對(duì)參數(shù)依賴特性而進(jìn)行的用戶驗(yàn)收測(cè)試。參數(shù)更動(dòng)測(cè)試是指因任務(wù)狀態(tài)變化而發(fā)生參數(shù)更動(dòng)后，針對(duì)參數(shù)更動(dòng)而進(jìn)行的軟件回歸測(cè)試。

1 參數(shù)依賴型軟件架構(gòu)及使用模式

參數(shù)依賴型軟件是指初始化時(shí)讀取并解析運(yùn)行參數(shù)信息，并據(jù)此進(jìn)行任務(wù)處理的軟件。航天測(cè)控軟件是典型的參數(shù)依賴型軟件，多采用領(lǐng)域工程分析和領(lǐng)域驅(qū)動(dòng)設(shè)計(jì)技術(shù)，實(shí)現(xiàn)業(yè)務(wù)處理邏輯和型號(hào)任務(wù)配置參數(shù)的分離[13]。參數(shù)依賴型軟件的典型架構(gòu)如圖1所示。

圖1 參數(shù)依賴型軟件架構(gòu)

當(dāng)執(zhí)行新的型號(hào)任務(wù)時(shí)，技術(shù)人員首先梳理新的任務(wù)需求，進(jìn)行軟件維護(hù)可行性分析。分析從3個(gè)層次依次展開(kāi)：軟件代碼和軟件配置均不改變是否可以執(zhí)行新的任務(wù)？?jī)H修改軟件配置是否可以滿足任務(wù)要求？是否必須進(jìn)行代碼的更動(dòng)？并根據(jù)最終的分析結(jié)論制定軟件維護(hù)方案，給出軟件維護(hù)的詳細(xì)內(nèi)容。具體流程如圖2所示。

圖2 軟件維護(hù)流程

航天測(cè)控軟件具有較強(qiáng)的軟件復(fù)用能力，多數(shù)情況下可通過(guò)僅修改配置參數(shù)來(lái)適應(yīng)新的試驗(yàn)任務(wù)。根據(jù)載人航天工程軟件工程化技術(shù)標(biāo)準(zhǔn)的要求，配置參數(shù)更動(dòng)后需要進(jìn)行第三方參數(shù)更動(dòng)測(cè)試。

2 參數(shù)依賴特性測(cè)試流程

軟件生命周期包括需求、設(shè)計(jì)、編碼、內(nèi)部測(cè)試、驗(yàn)收、軟件維護(hù)等階段。軟件維護(hù)包括糾錯(cuò)性維護(hù)、適應(yīng)性維護(hù)和完善性維護(hù)等多種類(lèi)型，基于任務(wù)狀態(tài)變化的配置參數(shù)更動(dòng)屬于典型的適應(yīng)性維護(hù)。任務(wù)執(zhí)行前，需要根據(jù)任務(wù)狀態(tài)變化情況，對(duì)任務(wù)軟件進(jìn)行第三方參數(shù)更動(dòng)測(cè)試。值得注意的是，參數(shù)更動(dòng)是有繼承關(guān)系的，并非所有的任務(wù)更動(dòng)都是基于驗(yàn)收后的初始版本。在參數(shù)更動(dòng)前，需要分析本次任務(wù)與歷史任務(wù)的相似程度，選擇配置參數(shù)內(nèi)容相近，更動(dòng)代價(jià)最小的歷史任務(wù)作為更動(dòng)基礎(chǔ)版本。典型的任務(wù)繼承關(guān)系如圖3所示。

圖3 軟件版本繼承關(guān)系圖

本文設(shè)計(jì)了第三方參數(shù)依賴特性測(cè)試流程，規(guī)范參數(shù)依賴軟件從軟件驗(yàn)收到軟件維護(hù)階段的第三方測(cè)試工作。測(cè)試流程包括參數(shù)依賴特性驗(yàn)收測(cè)試、測(cè)試狀態(tài)維護(hù)、參數(shù)更動(dòng)測(cè)試3個(gè)部分。測(cè)試流程和各部分的工作對(duì)象見(jiàn)圖4。

圖4 參數(shù)依賴特性測(cè)試流程

軟件研制完成后，第三方評(píng)測(cè)單位應(yīng)針對(duì)軟件初始版本進(jìn)行參數(shù)依賴特性驗(yàn)收測(cè)試。參數(shù)依賴特性驗(yàn)收測(cè)試面向的是參數(shù)依賴特性的所有軟件需求，需要對(duì)參數(shù)依賴特性所涉及的全部功能、性能、容錯(cuò)、人機(jī)交互等進(jìn)行全方位的完整測(cè)試。提高測(cè)試充分性是參數(shù)依賴特性驗(yàn)收測(cè)試的核心要求。

配置參數(shù)更動(dòng)測(cè)試則是面向型號(hào)任務(wù)，基于參數(shù)更動(dòng)前后的配置參數(shù)比對(duì)結(jié)果，針對(duì)更動(dòng)及影響域而進(jìn)行的軟件回歸測(cè)試。在完成參數(shù)依賴特性驗(yàn)收測(cè)試或配置參數(shù)更動(dòng)測(cè)試后，需要進(jìn)行測(cè)試狀態(tài)維護(hù)，包括維護(hù)軟件版本間的繼承關(guān)系、維護(hù)配置參數(shù)狀態(tài)、記錄歷次參數(shù)更動(dòng)內(nèi)容、對(duì)測(cè)試用例進(jìn)行復(fù)用化處理等。

2.1 參數(shù)依賴特性驗(yàn)收測(cè)試

參數(shù)依賴型軟件在軟件驗(yàn)收階段，應(yīng)該進(jìn)行參數(shù)依賴特性專項(xiàng)驗(yàn)收測(cè)試，需要對(duì)參數(shù)依賴特性所涉及的全部功能、性能、容錯(cuò)、人機(jī)交互等進(jìn)行全方位的完整測(cè)試。參數(shù)依賴特性驗(yàn)收測(cè)試是整個(gè)測(cè)試流程中的基礎(chǔ)，其測(cè)試充分性是保證后續(xù)參數(shù)更動(dòng)測(cè)試有效性的必要條件。

2.1.1 參數(shù)依賴特性驗(yàn)收測(cè)試策略

本文從測(cè)試范圍、測(cè)試依據(jù)、測(cè)試思路、用例設(shè)計(jì)、參與人員和測(cè)試時(shí)機(jī)等屬性，提出了測(cè)試策略描述框架。參數(shù)依賴特性驗(yàn)收測(cè)試的測(cè)試策略如表1所示。

表1 參數(shù)依賴特性驗(yàn)收測(cè)試策略

2.1.2 參數(shù)依賴特性驗(yàn)收測(cè)試的充分性保證措施

提高測(cè)試充分性是參數(shù)依賴特性驗(yàn)收測(cè)試的核心要求。保障參數(shù)依賴特性驗(yàn)收測(cè)試充分性主要通過(guò)以下3個(gè)措施：

1)提高配置參數(shù)功能設(shè)計(jì)的合理完備：測(cè)試人員應(yīng)與總體設(shè)計(jì)人員、軟件操作人員充分溝通，使用領(lǐng)域分析的方法，從使用需求出發(fā)，分析配置參數(shù)功能設(shè)計(jì)是否合理完備。必要時(shí)應(yīng)補(bǔ)充遺漏的配置參數(shù)功能，避免軟件因設(shè)計(jì)不充分而帶來(lái)的配置參數(shù)功能的不完善，提高軟件復(fù)用能力。

2)對(duì)參數(shù)依賴代碼進(jìn)行邏輯測(cè)試：邏輯測(cè)試是對(duì)程序代碼邏輯設(shè)計(jì)的合理性、實(shí)現(xiàn)的正確性進(jìn)行測(cè)試。利用程序代碼內(nèi)部的邏輯結(jié)構(gòu)及相關(guān)信息設(shè)置監(jiān)測(cè)點(diǎn)，在測(cè)試用例執(zhí)行過(guò)程中記錄監(jiān)測(cè)點(diǎn)的狀態(tài)，并給出測(cè)試覆蓋率信息。邏輯測(cè)試是提高測(cè)試充分性和實(shí)現(xiàn)精準(zhǔn)測(cè)試的有效手段。參數(shù)依賴特性驗(yàn)收測(cè)試應(yīng)根據(jù)軟件編程語(yǔ)言和運(yùn)行環(huán)境，選擇適合的邏輯測(cè)試工具，通過(guò)插樁代碼、執(zhí)行測(cè)試用例、分析語(yǔ)句/分支覆蓋率和補(bǔ)充測(cè)試等流程，提高對(duì)配置參數(shù)及其取值范圍的測(cè)試覆蓋率[14-17]。測(cè)試中需重點(diǎn)關(guān)注以下幾點(diǎn):

(1)確保軟件代碼實(shí)現(xiàn)了軟件需求和設(shè)計(jì)要求的所有配置參數(shù)功能。

(2)確保軟件代碼中的所有配置參數(shù)及其處理分支均得到測(cè)試。

(3)控制流覆蓋不僅要關(guān)注軟件初始化時(shí)配置文件讀取部分，還要關(guān)注使用配置參數(shù)進(jìn)行控制處理的不同執(zhí)行路徑。

(4)在進(jìn)行代碼插樁前，應(yīng)通過(guò)人工代碼走查的方式，標(biāo)識(shí)出參數(shù)依賴相關(guān)的代碼。插樁時(shí)僅對(duì)參數(shù)依賴代碼進(jìn)行插裝，后續(xù)測(cè)試中僅關(guān)注參數(shù)依賴代碼的測(cè)試覆蓋率。

3)針對(duì)軟件高發(fā)缺陷進(jìn)行重點(diǎn)測(cè)試：通過(guò)對(duì)歷年二十余個(gè)參數(shù)依賴型軟件測(cè)試項(xiàng)目分析，我們發(fā)現(xiàn)參數(shù)相關(guān)的軟件缺陷大多集中分布在軟件特定位置。因此除了依照需求進(jìn)行功能、性能等常規(guī)測(cè)試外，驗(yàn)收測(cè)試還需重點(diǎn)關(guān)注以下內(nèi)容，詳見(jiàn)表2。

表2 驗(yàn)收測(cè)試重點(diǎn)及技術(shù)要求

以上為參數(shù)依賴型軟件驗(yàn)收測(cè)試的通用要求，具體軟件可根據(jù)自身特點(diǎn)和數(shù)據(jù)依賴程度，對(duì)以上要求進(jìn)行選擇和裁剪。

2.2 參數(shù)更動(dòng)測(cè)試

2.2.1 參數(shù)更動(dòng)測(cè)試策略

軟件在進(jìn)行任務(wù)參數(shù)更動(dòng)后，應(yīng)進(jìn)行參數(shù)更動(dòng)測(cè)試。與驗(yàn)收測(cè)試不同，參數(shù)更動(dòng)測(cè)試屬于軟件回歸測(cè)試，更關(guān)注參數(shù)更動(dòng)內(nèi)容及對(duì)軟件功能、性能等特性的影響。參數(shù)更動(dòng)測(cè)試的總體策略如表3所示。

表3 參數(shù)更動(dòng)測(cè)試策略

配置參數(shù)比對(duì)是配置參數(shù)更動(dòng)測(cè)試的關(guān)鍵步驟。首先與軟件更動(dòng)維護(hù)方案比對(duì)，確保已經(jīng)正確完成了軟件更動(dòng)維護(hù)方案要求的更動(dòng)項(xiàng)，沒(méi)有偏差和遺漏。同時(shí)與更動(dòng)前的配置參數(shù)進(jìn)行比對(duì)，識(shí)別出軟件更動(dòng)維護(hù)方案中沒(méi)有描述，但實(shí)際實(shí)施了的更動(dòng)，并將其納入到參數(shù)更動(dòng)測(cè)試范圍內(nèi)。

針對(duì)識(shí)別出的配置參數(shù)更動(dòng)內(nèi)容，進(jìn)行影響域分析。對(duì)受影響部分逐項(xiàng)進(jìn)行測(cè)試分析，在之前回歸測(cè)試中確實(shí)已經(jīng)覆蓋的更動(dòng)內(nèi)容，可以僅通過(guò)配置文件檢查來(lái)驗(yàn)證，之前沒(méi)有測(cè)試或測(cè)試不充分的更動(dòng)內(nèi)容，通過(guò)選用之前的可復(fù)用測(cè)試用例，或重新設(shè)計(jì)測(cè)試用例來(lái)驗(yàn)證。測(cè)試設(shè)計(jì)時(shí)應(yīng)重點(diǎn)關(guān)注典型的更動(dòng)錯(cuò)誤類(lèi)型。

某些情況下，配置參數(shù)的更動(dòng)分析和更動(dòng)實(shí)施不是由軟件研發(fā)人員完成，而是由軟件操作人員完成，此時(shí)應(yīng)該將軟件操作人員納入配置參數(shù)更動(dòng)測(cè)試的參與人員中，以保證配置參數(shù)比對(duì)工作的效果和效率。

2.2.2 參數(shù)更動(dòng)的典型錯(cuò)誤

對(duì)歷年來(lái)航天測(cè)控中心計(jì)算機(jī)系統(tǒng)配置參數(shù)更動(dòng)錯(cuò)誤進(jìn)行了梳理和分析，典型的參數(shù)更動(dòng)錯(cuò)誤如表4所示。測(cè)試設(shè)計(jì)時(shí)應(yīng)重點(diǎn)關(guān)注典型更動(dòng)錯(cuò)誤，提高測(cè)試的針對(duì)性和有效性。

表4 參數(shù)更動(dòng)的典型錯(cuò)誤

2.3 測(cè)試狀態(tài)維護(hù)

參數(shù)依賴型軟件驗(yàn)收測(cè)試階段完成，或參數(shù)更動(dòng)測(cè)試完成后，應(yīng)轉(zhuǎn)入測(cè)試狀態(tài)維護(hù)階段。測(cè)試狀態(tài)維護(hù)階段應(yīng)進(jìn)行配置參數(shù)狀態(tài)維護(hù)和可復(fù)用配置參數(shù)測(cè)試用例維護(hù)。

2.3.1 配置參數(shù)狀態(tài)維護(hù)

測(cè)試結(jié)束后，測(cè)試人員應(yīng)督促軟件研發(fā)人員、軟件操作人員，根據(jù)軟件最新?tīng)顟B(tài)，編制或維護(hù)配置參數(shù)維護(hù)手冊(cè)，配置參數(shù)維護(hù)手冊(cè)也可以作為軟件使用手冊(cè)的單獨(dú)一章提供。配置參數(shù)維護(hù)手冊(cè)應(yīng)詳細(xì)描述修改配置參數(shù)的方法、注意事項(xiàng)，明確各配置參數(shù)的值域范圍、參數(shù)類(lèi)型約束、參數(shù)間關(guān)聯(lián)約束等。另外在軟件代碼初始化配置參數(shù)和使用配置參數(shù)處，增加明確的注釋，注釋內(nèi)容應(yīng)與配置參數(shù)維護(hù)手冊(cè)保持一致。

此外，要建立任務(wù)參數(shù)更動(dòng)圖譜，維護(hù)參數(shù)版本間的繼承關(guān)系、更動(dòng)內(nèi)容，并納入配置管理。

2.3.2 可復(fù)用配置參數(shù)測(cè)試用例維護(hù)

參數(shù)更動(dòng)測(cè)試本質(zhì)上是軟件回歸測(cè)試。對(duì)于新的配置參數(shù)更動(dòng)測(cè)試，應(yīng)通過(guò)將更動(dòng)需求與復(fù)用庫(kù)中類(lèi)似軟件需求進(jìn)行匹配篩選，檢索并形成可復(fù)用測(cè)試用例集，經(jīng)適當(dāng)修改完善后快速生成參數(shù)更動(dòng)測(cè)試的測(cè)試用例集，從而大幅提高參數(shù)更動(dòng)測(cè)試用例設(shè)計(jì)效率[18-20]。

因此，測(cè)試狀態(tài)維護(hù)階段需要整理本輪測(cè)試中與配置參數(shù)相關(guān)的測(cè)試用例，對(duì)測(cè)試用例進(jìn)行可復(fù)用化處理，建立可復(fù)用配置參數(shù)測(cè)試用例庫(kù)。測(cè)試用例復(fù)用化處理的關(guān)鍵是建立測(cè)試用例與所測(cè)試配置參數(shù)的索引，下輪配置參數(shù)更動(dòng)測(cè)試可根據(jù)配置參數(shù)索引，復(fù)用相關(guān)測(cè)試用例。

3 實(shí)驗(yàn)結(jié)果分析

使用本文提出的參數(shù)依賴特性測(cè)試策略和方法，對(duì)某航天測(cè)控中心計(jì)算機(jī)系統(tǒng)遠(yuǎn)程數(shù)據(jù)交互軟件進(jìn)行了第三方測(cè)試。該軟件主要完成測(cè)控中心內(nèi)外數(shù)據(jù)的接收、格式轉(zhuǎn)換和分發(fā)。數(shù)據(jù)收發(fā)規(guī)則保存在配置文件中，軟件完成數(shù)據(jù)收發(fā)規(guī)則的解析，實(shí)現(xiàn)內(nèi)外數(shù)據(jù)正確轉(zhuǎn)發(fā)。

軟件驗(yàn)收測(cè)試階段，采用領(lǐng)域分析、邏輯測(cè)試和重點(diǎn)測(cè)試等技術(shù)，設(shè)計(jì)并執(zhí)行了配置參數(shù)相關(guān)測(cè)試用例72個(gè)，對(duì)參數(shù)相關(guān)源代碼的語(yǔ)句和分支覆蓋率均達(dá)到100%。發(fā)現(xiàn)與配置參數(shù)相關(guān)軟件問(wèn)題5處，問(wèn)題包括不能轉(zhuǎn)發(fā)某雷達(dá)測(cè)角數(shù)據(jù)、接收緩沖區(qū)數(shù)量配置錯(cuò)誤導(dǎo)致軟件異常、存在冗余配置參數(shù)信息、配置文件格式異常沒(méi)有進(jìn)行容錯(cuò)處理、模式控制參數(shù)配置異常給出的提示不正確等，詳見(jiàn)表5。

表5 驗(yàn)收測(cè)試用例設(shè)計(jì)與缺陷分布表

從表5可以看出，驗(yàn)收測(cè)試共設(shè)計(jì)通用參數(shù)功能用例47個(gè)，發(fā)現(xiàn)軟件缺陷1處，缺陷發(fā)現(xiàn)率(發(fā)現(xiàn)缺陷數(shù)/總?cè)毕輸?shù))為25%。設(shè)計(jì)重點(diǎn)測(cè)試用例25個(gè)，發(fā)現(xiàn)軟件缺陷5處(1處在通用測(cè)試中同時(shí)發(fā)現(xiàn))，缺陷發(fā)現(xiàn)率為100%。數(shù)據(jù)表明，針對(duì)驗(yàn)收測(cè)試重點(diǎn)進(jìn)行用例設(shè)計(jì)，可以有效提高測(cè)試的有效性和針對(duì)性。

在后續(xù)某型號(hào)任務(wù)的配置參數(shù)更動(dòng)測(cè)試中，依照配置參數(shù)文件更動(dòng)前后的比對(duì)結(jié)果和該中心提交的軟件維護(hù)方案，進(jìn)行了更動(dòng)影響域分析和回歸用例設(shè)計(jì)。設(shè)計(jì)并執(zhí)行回歸測(cè)試用例12個(gè)，測(cè)試中發(fā)現(xiàn)遙測(cè)數(shù)據(jù)轉(zhuǎn)發(fā)方向配置錯(cuò)誤、某門(mén)限參數(shù)類(lèi)型錯(cuò)誤等2處缺陷，參數(shù)更動(dòng)測(cè)試缺陷分布詳見(jiàn)表6。軟件修正錯(cuò)誤后成功執(zhí)行多次型號(hào)任務(wù)，沒(méi)有出現(xiàn)軟件問(wèn)題。與以往同類(lèi)軟件配置參數(shù)更動(dòng)回歸測(cè)試相比，本次參數(shù)更動(dòng)測(cè)試用例數(shù)減少60%，測(cè)試時(shí)間縮短40%，測(cè)試用例在覆蓋全部更動(dòng)影響影響域的基礎(chǔ)上，具有更強(qiáng)的測(cè)試針對(duì)性。

表6 參數(shù)更動(dòng)測(cè)試缺陷分布表

實(shí)踐證明，本文提出的參數(shù)依賴特性測(cè)試策略和方法具有測(cè)試覆蓋性強(qiáng)、測(cè)試重點(diǎn)突出、測(cè)試效率高等特點(diǎn)，并滿足載人航天工程軟件工程化技術(shù)規(guī)范的要求。

4 結(jié)束語(yǔ)

本文分析了參數(shù)依賴型軟件“代碼+參數(shù)”的可復(fù)用架構(gòu)和使用模式，制定了針對(duì)參數(shù)依賴特性的第三方測(cè)試規(guī)范和流程，提出了參數(shù)依賴特性驗(yàn)收、參數(shù)更動(dòng)等測(cè)試階段的測(cè)試策略、測(cè)試重點(diǎn)等技術(shù)要求，對(duì)參數(shù)更動(dòng)測(cè)試中應(yīng)重點(diǎn)關(guān)注的錯(cuò)誤類(lèi)型進(jìn)行了歸納，分析了錯(cuò)誤原因。本文提出的參數(shù)依賴特性測(cè)試方法，已經(jīng)在多個(gè)航天測(cè)控軟件第三方測(cè)試中得到應(yīng)用和驗(yàn)證，該方法具有測(cè)試覆蓋性強(qiáng)、測(cè)試重點(diǎn)突出、測(cè)試效率高、可操作性好等特點(diǎn)。后續(xù)，作者將對(duì)基于配置文件的測(cè)試用例輔助生成、參數(shù)相關(guān)代碼的自動(dòng)識(shí)別做進(jìn)一步的研究，提高本方法的自動(dòng)化水平。