張清輝，李志遠(yuǎn)，楊 楠，鄧博文

（1.國(guó)防科技大學(xué)信息通信學(xué)院，西安 710106；2.火箭軍工程大學(xué)，西安 710025；3.解放軍96630 部隊(duì)，北京 102206）

0 引言

計(jì)算機(jī)技術(shù)、虛擬現(xiàn)實(shí)技術(shù)、仿真技術(shù)以及網(wǎng)絡(luò)技術(shù)的普及與應(yīng)用，為信息化時(shí)代部隊(duì)軍事訓(xùn)練手段的改革與創(chuàng)新提供了先進(jìn)的技術(shù)支持。通過(guò)計(jì)算機(jī)虛擬訓(xùn)練系統(tǒng)進(jìn)行虛擬訓(xùn)練，成為信息化條件下部隊(duì)軍事訓(xùn)練和教育的一個(gè)新的發(fā)展動(dòng)向［1-5］。軍事訓(xùn)練特有的復(fù)雜性導(dǎo)致軍事虛擬訓(xùn)練系統(tǒng)的訓(xùn)練劇情結(jié)構(gòu)需要設(shè)計(jì)的十分復(fù)雜，不同參訓(xùn)人員在軍事虛擬訓(xùn)練關(guān)卡中執(zhí)行訓(xùn)練活動(dòng)時(shí)會(huì)采取不同的策略，執(zhí)行不同的操作，從而驅(qū)動(dòng)訓(xùn)練過(guò)程沿著不同的訓(xùn)練劇情發(fā)展。測(cè)試用例的數(shù)量和質(zhì)量決定軍事虛擬訓(xùn)練系統(tǒng)軟件測(cè)試的成本和有效性［6-8］。軍事虛擬訓(xùn)練系統(tǒng)軟件難以進(jìn)行大規(guī)模公開(kāi)測(cè)試，如果軍事虛擬訓(xùn)練系統(tǒng)軟件測(cè)試用例設(shè)計(jì)不合理，既浪費(fèi)有限的測(cè)試人員和時(shí)間，又增加了不必要的工作量，甚至?xí)捎跊](méi)有對(duì)軍事虛擬訓(xùn)練系統(tǒng)軟件進(jìn)行完全覆蓋測(cè)試而導(dǎo)致無(wú)法發(fā)現(xiàn)軟件中隱藏的問(wèn)題和錯(cuò)誤［9-13］。因此，軍事虛擬訓(xùn)練系統(tǒng)軟件測(cè)試的關(guān)鍵在于設(shè)計(jì)覆蓋軍事虛擬訓(xùn)練關(guān)卡中各種訓(xùn)練劇情的測(cè)試用例，進(jìn)而根據(jù)測(cè)試用例對(duì)軍事虛擬訓(xùn)練系統(tǒng)軟件進(jìn)行完全測(cè)試。

本文對(duì)基于形式活動(dòng)圖的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)與優(yōu)化方法進(jìn)行了研究，對(duì)形式活動(dòng)圖的語(yǔ)法及語(yǔ)義進(jìn)行了定義，提出了基于形式活動(dòng)圖的軍事虛擬訓(xùn)練系統(tǒng)軟件測(cè)試用例設(shè)計(jì)與優(yōu)化方法。

1 軍事虛擬訓(xùn)練活動(dòng)圖的語(yǔ)法與語(yǔ)義

形式化活動(dòng)圖以圖形符號(hào)描述軍事虛擬訓(xùn)練系統(tǒng)中的訓(xùn)練活動(dòng)以及活動(dòng)之間的關(guān)系，軍事虛擬訓(xùn)練活動(dòng)圖的形式化圖形符號(hào)如圖1 所示［14-16］。

圖1 軍事虛擬訓(xùn)練活動(dòng)圖形式化圖形符號(hào)

各個(gè)圖形符號(hào)的語(yǔ)義如下：

1）啟動(dòng)指示符。用于表示活動(dòng)圖或其子圖的起始狀態(tài)，代表活動(dòng)圖活動(dòng)序列中的第一個(gè)事件，即Start 事件。

2）終止指示符。用于表示活動(dòng)圖的結(jié)束狀態(tài)，是活動(dòng)圖中最后一個(gè)發(fā)生的事件，即Finish 事件，說(shuō)明活動(dòng)圖已達(dá)到結(jié)束狀態(tài)。

3）訓(xùn)練活動(dòng)。表示軍事虛擬訓(xùn)練游戲系統(tǒng)中的訓(xùn)練活動(dòng)，可以進(jìn)一步分解為由操作動(dòng)作、判定框、并行分叉點(diǎn)、并行匯合點(diǎn)等組成的子活動(dòng)圖。訓(xùn)練活動(dòng)符號(hào)隱藏了訓(xùn)練劇情發(fā)展過(guò)程中不重要的細(xì)節(jié)，降低了軍事虛擬訓(xùn)練系統(tǒng)活動(dòng)圖的復(fù)雜性。

4）操作動(dòng)作。操作動(dòng)作是原子活動(dòng)，不再包含子活動(dòng)，用于表示受訓(xùn)人員在訓(xùn)練過(guò)程中執(zhí)行的比較簡(jiǎn)短的操作。

5）劇情提示符。用于向軟件測(cè)試人員提示訓(xùn)練劇情的發(fā)展。

6）NPC 動(dòng)作。NPC 動(dòng)作也是原子活動(dòng)，不再包含子活動(dòng)，用于表示在訓(xùn)練劇情發(fā)展過(guò)程中，NPC根據(jù)訓(xùn)練劇情發(fā)展和受訓(xùn)人員的操作作出的輔助、交互或反饋動(dòng)作。

7）變遷。表示活動(dòng)圖中訓(xùn)練活動(dòng)之間的轉(zhuǎn)移。

8）判定框。判定框中有一個(gè)條件表達(dá)式，條件表達(dá)式的格式為：

其中：

條件表達(dá)式根據(jù)訓(xùn)練劇情發(fā)展過(guò)程中產(chǎn)生的數(shù)據(jù)或受訓(xùn)人員的操作進(jìn)行判定，判定的結(jié)果決定了下一步訓(xùn)練劇情的發(fā)展。

9）并行或分支。用于將軍事虛擬訓(xùn)練劇情分解為多個(gè)相互沖突的劇情分支，受訓(xùn)人員只能選擇其中的一條分支劇情執(zhí)行。

10）并行或匯合。用于將多種可能發(fā)生的訓(xùn)練活動(dòng)劇情分支匯合，只要任何一個(gè)分支的劇情到達(dá)了匯合點(diǎn)，出口變遷指向的訓(xùn)練活動(dòng)就可以發(fā)生。

11）并行與分支。用于將軍事虛擬訓(xùn)練劇情分解為多個(gè)并行的分支劇情。

12）并行與匯合。用于將多個(gè)并行的分支劇情匯合，只有所有的分支劇情都到達(dá)了匯合點(diǎn)，出口變遷指向的訓(xùn)練活動(dòng)才能發(fā)生。

2 基于形式活動(dòng)圖的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)與優(yōu)化方法

基于形式活動(dòng)圖的軍事虛擬訓(xùn)練系統(tǒng)測(cè)試用例設(shè)計(jì)與優(yōu)化方法的基本思想是：首先理清軍事虛擬訓(xùn)練關(guān)卡中訓(xùn)練活動(dòng)之間的關(guān)系，生成軍事虛擬訓(xùn)練關(guān)卡劇情的形式化活動(dòng)圖；然后將軍事虛擬訓(xùn)練關(guān)卡劇情的形式化活動(dòng)圖分解為多個(gè)片段，逐一對(duì)每個(gè)片段進(jìn)行分析，找出其可能對(duì)應(yīng)的事件序列，設(shè)計(jì)各個(gè)片段的測(cè)試用例；在此基礎(chǔ)上建立軍事虛擬訓(xùn)練關(guān)卡測(cè)試活動(dòng)圖的片段合并方程式（片段合并方程式描述了如何合并各片段的驗(yàn)證測(cè)試用例以構(gòu)造出完整的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例），根據(jù)片段合并方程式合并各個(gè)片段的測(cè)試用例；對(duì)合并得到的測(cè)試用例進(jìn)行優(yōu)化及格式化處理，生成最終的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例集。

基于形式活動(dòng)圖的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)與優(yōu)化過(guò)程包括以下步驟，如圖2 所示。

圖2 基于形式活動(dòng)圖的軍事虛擬訓(xùn)練系統(tǒng)測(cè)試用例設(shè)計(jì)與優(yōu)化過(guò)程

Step1：創(chuàng)建軍事虛擬訓(xùn)練關(guān)卡的劇情活動(dòng)圖。以軍事虛擬訓(xùn)練關(guān)卡中需要執(zhí)行測(cè)試的軍事訓(xùn)練活動(dòng)為中心，對(duì)軍事虛擬訓(xùn)練關(guān)卡中的活動(dòng)序列進(jìn)行建模，創(chuàng)建形式化的軍事虛擬訓(xùn)練關(guān)卡劇情活動(dòng)圖。

Step2：活動(dòng)圖分段。將創(chuàng)建的形式化軍事虛擬訓(xùn)練關(guān)卡劇情活動(dòng)圖分成多個(gè)較小的片段。每個(gè)片段都是軍事虛擬訓(xùn)練關(guān)卡劇情活動(dòng)圖的一個(gè)組成部分，理想情況下，每個(gè)片段應(yīng)刻畫(huà)活動(dòng)圖中的一個(gè)劇情特征，包含一到兩個(gè)操作動(dòng)作。

Step3：設(shè)計(jì)分段測(cè)試用例。對(duì)活動(dòng)圖的各個(gè)片段進(jìn)行分析，設(shè)計(jì)各個(gè)片段的驗(yàn)證測(cè)試用例。

·D 描述了測(cè)試用例的測(cè)試內(nèi)容；

·Spre表示測(cè)試人員在執(zhí)行測(cè)試操作前軍事虛擬訓(xùn)練關(guān)卡的狀態(tài)；

·O 表示測(cè)試人員在測(cè)試時(shí)需要執(zhí)行的操作；

Sfeed表示測(cè)試的期望輸出，即測(cè)試人員執(zhí)行操作后期望的軍事虛擬訓(xùn)練關(guān)卡狀態(tài)。

Step4：建立片段合并方程式。軍事虛擬訓(xùn)練關(guān)卡劇情活動(dòng)圖的片段合并方程式用數(shù)學(xué)語(yǔ)言描述怎樣將各個(gè)片段的驗(yàn)證測(cè)試用例連接起來(lái)以構(gòu)成完整的軍事虛擬訓(xùn)練關(guān)卡劇情測(cè)試用例?；顒?dòng)圖片段合并方程式的格式為：

其中，運(yùn)算符主要包括以下4 類(lèi)：

·順序運(yùn)算符：→。例如：X→Y，表示活動(dòng)Y 在X之后發(fā)生，對(duì)應(yīng)于形式化活動(dòng)圖中由一個(gè)變遷箭頭相連的兩個(gè)片段；

·或運(yùn)算符：⊕。例如：X⊕Y，表示或者X 發(fā)生，或者Y 發(fā)生，但X 和Y 不能同時(shí)發(fā)生，只能發(fā)生一個(gè)；

·并行運(yùn)算符：‖。例如：Y‖X，表示Y 和X 并行發(fā)生；

·判定運(yùn)算符：？。例如：{隱蔽成功？}表示在隱蔽成功的條件下發(fā)生后續(xù)活動(dòng)。

在活動(dòng)圖合并方程式中，括號(hào)表示運(yùn)算符的優(yōu)先級(jí)。

Step5：片段驗(yàn)證測(cè)試用例合并。根據(jù)片段合并方程將軍事虛擬訓(xùn)練關(guān)卡劇情活動(dòng)圖中各個(gè)片段的測(cè)試用例合并，生成完整的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例集。

1）順序關(guān)系片段測(cè)試用例合并。兩個(gè)順序關(guān)系活動(dòng)A 和B 的測(cè)試用例合并后所得的集合為：

2）或關(guān)系片段測(cè)試用例合并。將兩個(gè)或關(guān)系活動(dòng)A 和B 的測(cè)試用例合并后所得的集合為：

3）并行關(guān)系片段測(cè)試用例合并。將兩個(gè)并行關(guān)系活動(dòng)A 和B 的測(cè)試用例合并后所得的集合為：

Step6：測(cè)試用例優(yōu)化。對(duì)合并后的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例集進(jìn)行優(yōu)化處理，消除那些冗余的或者無(wú)助于軍事虛擬訓(xùn)練關(guān)卡軟件測(cè)試的測(cè)試用例，生成最終的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例集。測(cè)試用例的優(yōu)化處理方法包括刪除偽測(cè)試用例、刪除不一致的測(cè)試用例、刪除無(wú)助于軍事虛擬訓(xùn)練關(guān)卡正確性驗(yàn)證檢測(cè)的測(cè)試用例、刪除測(cè)試用例中的非操作性測(cè)試元素、合并類(lèi)似的測(cè)試用例等，除此之外，還可以構(gòu)造一些附加測(cè)試用例以檢查未定義的軍事虛擬訓(xùn)練關(guān)卡行為。

3 軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)與優(yōu)化實(shí)例

本文以《利劍之光》軍事虛擬訓(xùn)練系統(tǒng)中指揮官指揮部隊(duì)向作戰(zhàn)地域開(kāi)進(jìn)測(cè)試用例設(shè)計(jì)過(guò)程為例，說(shuō)明基于形式活動(dòng)圖的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)方法。

訓(xùn)練劇情簡(jiǎn)介：指揮官（受訓(xùn)人員）接受“指揮部隊(duì)向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)后，指揮車(chē)隊(duì)向作戰(zhàn)地域開(kāi)進(jìn)。在開(kāi)進(jìn)過(guò)程中觸發(fā)“衛(wèi)星臨空處置”訓(xùn)練活動(dòng)后，游戲NPC 向指揮官發(fā)布衛(wèi)星臨空預(yù)警信息。指揮官接受衛(wèi)星臨空預(yù)警信息后，采取相應(yīng)的處置操作，在敵方衛(wèi)星臨空前指揮車(chē)隊(duì)完成隱蔽。正確的做法是指揮車(chē)隊(duì)向預(yù)設(shè)的隱蔽地域加速開(kāi)進(jìn)，在到達(dá)預(yù)設(shè)隱蔽地域后指揮車(chē)隊(duì)實(shí)施隱蔽；除此之外指揮官也可能采取其他的操作，如：繼續(xù)按原路線(xiàn)前進(jìn)，按原路線(xiàn)加速前進(jìn)，指揮車(chē)隊(duì)向預(yù)設(shè)隱蔽地域正常速度開(kāi)進(jìn)等。如果指揮官在衛(wèi)星臨空時(shí)指揮車(chē)隊(duì)正確實(shí)施了隱蔽，則衛(wèi)星經(jīng)過(guò)該區(qū)域后離去，指揮官指揮車(chē)隊(duì)繼續(xù)按照預(yù)設(shè)路線(xiàn)向作戰(zhàn)地域開(kāi)進(jìn)，在按時(shí)到達(dá)作戰(zhàn)地域后指揮車(chē)隊(duì)待機(jī)，完成訓(xùn)練任務(wù)。如果指揮官未能在衛(wèi)星臨空時(shí)指揮車(chē)隊(duì)正確實(shí)施隱蔽，則車(chē)隊(duì)暴露，會(huì)遭到敵方戰(zhàn)機(jī)的攻擊，使車(chē)輛、裝備受損，任務(wù)失敗。

測(cè)試用例設(shè)計(jì)過(guò)程如下：

3.1 訓(xùn)練活動(dòng)分析

根據(jù)“向作戰(zhàn)地域開(kāi)進(jìn)”訓(xùn)練劇情設(shè)計(jì)以及開(kāi)發(fā)的虛擬訓(xùn)練系統(tǒng)軟件對(duì)訓(xùn)練活動(dòng)進(jìn)行分析，“向作戰(zhàn)地域開(kāi)進(jìn)”過(guò)程包含以下活動(dòng)：

·指揮車(chē)隊(duì)向作戰(zhàn)地域開(kāi)進(jìn)；

·觸發(fā)衛(wèi)星臨空處置訓(xùn)練活動(dòng)；

·接受衛(wèi)星臨空預(yù)警信息；

·指揮車(chē)隊(duì)向預(yù)設(shè)隱蔽地域加速前進(jìn)；

·指揮車(chē)隊(duì)實(shí)施隱蔽；

·衛(wèi)星離去后指揮車(chē)隊(duì)繼續(xù)向作戰(zhàn)地域開(kāi)進(jìn)；

·指揮車(chē)隊(duì)待機(jī)；

·其他操作活動(dòng)。

3.2 生成“向作戰(zhàn)地域開(kāi)進(jìn)”關(guān)卡的形式化劇情活動(dòng)圖

根據(jù)“向作戰(zhàn)地域開(kāi)進(jìn)”訓(xùn)練劇情設(shè)計(jì)以及軍事虛擬訓(xùn)練軟件說(shuō)明，對(duì)“向作戰(zhàn)地域開(kāi)進(jìn)”過(guò)程的劇情以及訓(xùn)練活動(dòng)之間的邏輯關(guān)系進(jìn)行分析，建立形式化的軍事虛擬訓(xùn)練劇情活動(dòng)圖，如下頁(yè)圖3 所示。

3.3 設(shè)計(jì)“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)中操作訓(xùn)練活動(dòng)的測(cè)試用例

“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試活動(dòng)圖中的每項(xiàng)操作訓(xùn)練活動(dòng)都可以看作是“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試活動(dòng)圖的一個(gè)原子片段，原子片段合并后構(gòu)成任務(wù)劇情測(cè)試活動(dòng)圖的片段，通過(guò)不斷地合并最終生成完整的“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情活動(dòng)圖。以操作訓(xùn)練活動(dòng)“接受衛(wèi)星臨空預(yù)警信息”為例說(shuō)明操作訓(xùn)練活動(dòng)片段的驗(yàn)證測(cè)試用例設(shè)計(jì)過(guò)程。

“接受衛(wèi)星臨空預(yù)警信息”操作訓(xùn)練活動(dòng)包含兩個(gè)測(cè)試用例：

TestCase1：受訓(xùn)人員正確接受衛(wèi)星臨空預(yù)警信息操作測(cè)試；

TestCase2：受訓(xùn)人員未正確接受衛(wèi)星臨空預(yù)警信息操作測(cè)試。

這兩個(gè)測(cè)試用例的詳細(xì)設(shè)計(jì)如下：

TestCase1：

{

測(cè)試內(nèi)容：受訓(xùn)人員正確接受衛(wèi)星臨空預(yù)警信息操作測(cè)試；

操作前的狀態(tài)：NPC 發(fā)布衛(wèi)星臨空預(yù)警信息；

受訓(xùn)人員的操作：正確接受衛(wèi)星臨空預(yù)警信息；測(cè)試的期望輸出：顯示衛(wèi)星臨空預(yù)警信息內(nèi)容；

}

TestCase 2：

{

測(cè)試內(nèi)容：受訓(xùn)人員未正確接受衛(wèi)星臨空預(yù)警信息操作測(cè)試；

操作前的狀態(tài)：NPC 發(fā)布衛(wèi)星臨空預(yù)警信息；

受訓(xùn)人員的操作：不正確接受衛(wèi)星臨空預(yù)警信息；

測(cè)試的期望輸出：不顯示衛(wèi)星臨空預(yù)警信息內(nèi)容；

}

3.4 生成任務(wù)劇情活動(dòng)圖的片段合并方程式

在分析、設(shè)計(jì)完每項(xiàng)訓(xùn)練活動(dòng)的測(cè)試用例之后，創(chuàng)建任務(wù)劇情活動(dòng)圖的片段合并方程式來(lái)描述如何合并各項(xiàng)訓(xùn)練活動(dòng)的測(cè)試用例片段。

圖3 “向作戰(zhàn)地域開(kāi)進(jìn)”形式化劇情活動(dòng)圖

3.5 測(cè)試用例合并

根據(jù)“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情活動(dòng)圖的片段合并方程式依次合并各個(gè)片段的測(cè)試用例，生成完整的“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試用例集，共包含646 條驗(yàn)證測(cè)試用例，其中部分驗(yàn)證測(cè)試用例如下所示：

從合并后的測(cè)試用例集可以看出，測(cè)試用例的合并容易導(dǎo)致組合爆炸，因此，需要對(duì)合并后得到的測(cè)試用例進(jìn)行優(yōu)化處理來(lái)減少測(cè)試用例的數(shù)量。

3.6 測(cè)試用例優(yōu)化

對(duì)生成的“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試用例集進(jìn)行優(yōu)化處理。

3.6.1 刪除偽測(cè)試用例

3.6.2 刪除不一致的測(cè)試用例

如果一個(gè)測(cè)試用例的劇情前后不一致，那么應(yīng)該從測(cè)試用例集中刪除該測(cè)試用例。例如：順序關(guān)系活動(dòng)“A：發(fā)布衛(wèi)星臨空預(yù)警信息”和“B：接受衛(wèi)星臨空預(yù)警信息”測(cè)試用例合并，其中活動(dòng)“A：發(fā)布衛(wèi)星臨空預(yù)警信息”包含兩個(gè)測(cè)試用例“x：發(fā)布衛(wèi)星臨空預(yù)警信息”和“y：未發(fā)布衛(wèi)星臨空預(yù)警信息”；訓(xùn)練活動(dòng)“B：接受衛(wèi)星臨空預(yù)警信息”包含兩個(gè)測(cè)試用例“u：正確接受衛(wèi)星臨空預(yù)警信息”和“v：未正確接受衛(wèi)星臨空預(yù)警信息”。順序關(guān)系片段A 和B 合并后得到的測(cè)試用例集為：不可能發(fā)生，因此，在測(cè)試用例合并后應(yīng)該刪除。

3.6.3 刪除無(wú)助于任務(wù)劇情測(cè)試的測(cè)試用例

例如：上文中順序關(guān)系片段“A：發(fā)布衛(wèi)星臨空預(yù)警信息”和“B：接受衛(wèi)星臨空預(yù)警信息”測(cè)試用例

順序關(guān)系片段“A：發(fā)布衛(wèi)星臨空預(yù)警信息”和“B：接受衛(wèi)星臨空預(yù)警信息”測(cè)試用例合并后得到的測(cè)試用例集在刪除不一致性的測(cè)試用例以及無(wú)助于系統(tǒng)測(cè)試的測(cè)試用例后得到的測(cè)試用例集為：

3.6.4 刪除測(cè)試用例中的非操作性測(cè)試元素

非操作性測(cè)試元素主要用于輔助“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試用例設(shè)計(jì)，在測(cè)試用例生成后，非操作性測(cè)試元素的使命已經(jīng)完成，因此，可以從測(cè)試用例中刪除非操作性測(cè)試元素，以簡(jiǎn)化劇情的測(cè)試用例。

3.6.5 合并等價(jià)測(cè)試用例

“向作戰(zhàn)地域開(kāi)進(jìn)”任務(wù)劇情測(cè)試用例集中包含大量等價(jià)的驗(yàn)證測(cè)試用例，因此，需要對(duì)“向作戰(zhàn)地域開(kāi)進(jìn)”測(cè)試用例集中的等價(jià)測(cè)試用例進(jìn)行合并優(yōu)化處理，減少測(cè)試用例的數(shù)量。

經(jīng)過(guò)優(yōu)化處理后，最終生成的“向作戰(zhàn)地域開(kāi)進(jìn)”游戲關(guān)卡驗(yàn)證測(cè)試用例集包含21 條驗(yàn)證測(cè)試用例，其中部分驗(yàn)證測(cè)試用例如下所示：

通過(guò)對(duì)優(yōu)化后最終生成的“向作戰(zhàn)地域開(kāi)進(jìn)”訓(xùn)練關(guān)卡測(cè)試用例集與優(yōu)化之前的測(cè)試用例集進(jìn)行分析、比較發(fā)現(xiàn)：

1）優(yōu)化后的測(cè)試用例集中的測(cè)試用例覆蓋了受訓(xùn)人員在各項(xiàng)原子訓(xùn)練活動(dòng)中可能執(zhí)行的各種操作；

2）測(cè)試用例集中每條測(cè)試用例都代表了不同的關(guān)卡劇情，不再存在可以合并的測(cè)試用例；

3）測(cè)試用例中刪除了與受訓(xùn)人員操作無(wú)關(guān)的非操作性測(cè)試元素。

從優(yōu)化結(jié)果分析可以看出，通過(guò)關(guān)卡測(cè)試用例優(yōu)化，在保持對(duì)訓(xùn)練關(guān)卡中的訓(xùn)練活動(dòng)進(jìn)行完全覆蓋驗(yàn)證測(cè)試的前提下，大大減少了測(cè)試用例集中測(cè)試用例的數(shù)量，提高了驗(yàn)證測(cè)試的效率。

4 結(jié)論

軟件測(cè)試是軍事虛擬訓(xùn)練系統(tǒng)開(kāi)發(fā)的一個(gè)重要環(huán)節(jié)，軍事虛擬訓(xùn)練系統(tǒng)中隱含的大量問(wèn)題和缺陷都需要通過(guò)軟件測(cè)試來(lái)查找和發(fā)現(xiàn)，在軟件開(kāi)發(fā)人員修改后還需要再次進(jìn)行驗(yàn)證測(cè)試。測(cè)試用例設(shè)計(jì)是影響軟件測(cè)試效率和質(zhì)量的關(guān)鍵因素，本文提出了一種基于形式活動(dòng)圖的軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例設(shè)計(jì)與優(yōu)化方法，在設(shè)計(jì)軍事虛擬訓(xùn)練關(guān)卡測(cè)試用例時(shí)通過(guò)對(duì)設(shè)計(jì)的測(cè)試用例進(jìn)行優(yōu)化避免了組合爆炸的產(chǎn)生。