魏 波,張慧穎,司倩然
(北京跟蹤與通信技術(shù)研究所,北京 100094)
航天測(cè)控中心軟件系統(tǒng)主要部署于航天測(cè)控中心、測(cè)量船、二級(jí)指控中心等,完成對(duì)遙測(cè)數(shù)據(jù)、外測(cè)數(shù)據(jù)的接收、處理、顯示,對(duì)測(cè)控設(shè)備的引導(dǎo)控制,以及向航天器發(fā)送遙控指令等功能[1]?;镜暮教鞙y(cè)控軟件系統(tǒng)一般包括數(shù)據(jù)交換、匯集分發(fā)、遙測(cè)數(shù)據(jù)處理、外測(cè)數(shù)據(jù)處理、綜合數(shù)據(jù)處理、監(jiān)視顯示、安控輔助判決、遙控發(fā)令等軟件配置項(xiàng)。航天測(cè)控軟件系統(tǒng)具有架構(gòu)復(fù)雜、軟件配置項(xiàng)多、內(nèi)外接口復(fù)雜、實(shí)時(shí)性強(qiáng)、軟件安全關(guān)鍵等級(jí)高等顯著特點(diǎn)[2],對(duì)軟件測(cè)試提出了非常高的要求[3]。
軟件測(cè)試的目的是發(fā)現(xiàn)軟件錯(cuò)誤,驗(yàn)證其是否滿(mǎn)足研制任務(wù)書(shū)、軟件需求、軟件設(shè)計(jì)等規(guī)定的各項(xiàng)技術(shù)要求,并為軟件質(zhì)量評(píng)價(jià)提供依據(jù)[4]。依照測(cè)試級(jí)別來(lái)分,軟件研制過(guò)程中,會(huì)依次進(jìn)行軟件單元測(cè)試、軟件集成測(cè)試、軟件配置項(xiàng)測(cè)試、軟件系統(tǒng)測(cè)試等各個(gè)級(jí)別的測(cè)試,各級(jí)別的測(cè)試的關(guān)注點(diǎn)是不同的[5-6]。
軟件系統(tǒng)測(cè)試一般在真實(shí)的系統(tǒng)工作環(huán)境下進(jìn)行,重點(diǎn)檢查系統(tǒng)所屬配置項(xiàng)之間的接口、時(shí)序、邏輯關(guān)系等是否正確[7],重點(diǎn)考核各軟件配置項(xiàng)之間能否協(xié)調(diào)有序的正確工作[8],是否滿(mǎn)足軟件系統(tǒng)設(shè)計(jì)說(shuō)明的要求。開(kāi)展系統(tǒng)測(cè)試的前提是系統(tǒng)包含的軟件配置項(xiàng)都已經(jīng)通過(guò)了各自的配置項(xiàng)測(cè)試。
當(dāng)前,相對(duì)于配置項(xiàng)測(cè)試,人們對(duì)系統(tǒng)測(cè)試的重視還不夠,在配置項(xiàng)測(cè)試完成后,存在不進(jìn)行正規(guī)的系統(tǒng)測(cè)試,直接以系統(tǒng)聯(lián)調(diào)代替系統(tǒng)測(cè)試的情況,導(dǎo)致在聯(lián)調(diào)中暴露出軟件系統(tǒng)的諸多問(wèn)題,嚴(yán)重影響任務(wù)進(jìn)度。
根據(jù)軟件工程規(guī)范要求,系統(tǒng)測(cè)試的輸入是軟件系統(tǒng)設(shè)計(jì)說(shuō)明。軟件系統(tǒng)設(shè)計(jì)說(shuō)明中應(yīng)準(zhǔn)確分析、提取、描述軟件系統(tǒng)需求,包括功能、性能、外部接口、適應(yīng)性、安全性、操作、可靠性以及其他需求。但因人們對(duì)系統(tǒng)測(cè)試重視不夠,導(dǎo)致編寫(xiě)的軟件系統(tǒng)設(shè)計(jì)說(shuō)明往往不夠規(guī)范,關(guān)鍵內(nèi)容缺失。
依照載人航天工程軟件工程化技術(shù)標(biāo)準(zhǔn)的要求,軟件系統(tǒng)設(shè)計(jì)說(shuō)明應(yīng)在系統(tǒng)分析與設(shè)計(jì)階段編寫(xiě),是后續(xù)編寫(xiě)軟件配置項(xiàng)需求規(guī)格說(shuō)明的依據(jù)。但有些時(shí)候,軟件系統(tǒng)設(shè)計(jì)說(shuō)明往往與軟件配置項(xiàng)需求規(guī)格說(shuō)明同步編寫(xiě),或晚于軟件配置項(xiàng)需求規(guī)格說(shuō)明進(jìn)行補(bǔ)寫(xiě),系統(tǒng)級(jí)的需求往往成為了多個(gè)配置項(xiàng)需求的簡(jiǎn)單羅列。
以上種種情況,導(dǎo)致第三方評(píng)測(cè)機(jī)構(gòu)在進(jìn)行系統(tǒng)測(cè)試需求分析和測(cè)試設(shè)計(jì)時(shí),得到的軟件系統(tǒng)需求要么非常簡(jiǎn)單,無(wú)法作為有效的系統(tǒng)測(cè)試依據(jù)進(jìn)行測(cè)試設(shè)計(jì);要么是所有軟件配置項(xiàng)需求的簡(jiǎn)單羅列,缺少系統(tǒng)級(jí)軟件需求等關(guān)鍵信息,如果測(cè)試人員依照這些需求進(jìn)行用例設(shè)計(jì),就變成了系統(tǒng)所屬各軟件的配置項(xiàng)測(cè)試,無(wú)法體現(xiàn)系統(tǒng)測(cè)試的價(jià)值。
目前,對(duì)系統(tǒng)測(cè)試方法研究,大多集中于基于控制流[9]、基于場(chǎng)景[10-11]、基于數(shù)據(jù)流和控制流疊加[12]、基于業(yè)務(wù)流程[13]、基于操作概圖(Operational Profile)[14]和基于形式化模型(Formal Model)[15]等方面,雖然取得了較好的測(cè)試效果,但僅僅適合于指揮控制、金融、電子商務(wù)等基于工作流的軟件系統(tǒng)。
本文結(jié)合航天測(cè)控中心軟件系統(tǒng)特點(diǎn),設(shè)計(jì)了一種基于數(shù)據(jù)源識(shí)別和數(shù)據(jù)驅(qū)動(dòng)分析的軟件系統(tǒng)測(cè)試方法,能夠從軟件系統(tǒng)層面入手,快速梳理系統(tǒng)測(cè)試需求,提高系統(tǒng)測(cè)試用例設(shè)計(jì)針對(duì)性,進(jìn)而提高測(cè)試效率和測(cè)試有效性。
航天測(cè)控中心軟件系統(tǒng)是一個(gè)典型的數(shù)據(jù)驅(qū)動(dòng)型軟件系統(tǒng),具有數(shù)據(jù)輸入、處理和輸出的典型特征,其大部分功能均由數(shù)據(jù)觸發(fā),數(shù)據(jù)的類(lèi)型和狀態(tài)決定了數(shù)據(jù)處理邏輯的不同分支。在具體編程實(shí)現(xiàn)上,各軟件基本采用多線程處理架構(gòu),數(shù)據(jù)接收線程通過(guò)輸入接口接收數(shù)據(jù),根據(jù)數(shù)據(jù)類(lèi)型標(biāo)志放入不同的數(shù)據(jù)接收緩沖區(qū);處理線程從數(shù)據(jù)接收緩沖區(qū)中取出數(shù)據(jù),根據(jù)數(shù)據(jù)的要求,或進(jìn)行系統(tǒng)行為控制,或進(jìn)行數(shù)據(jù)處理并將處理結(jié)果放入數(shù)據(jù)發(fā)送緩沖區(qū);數(shù)據(jù)發(fā)送線程從數(shù)據(jù)發(fā)送緩沖區(qū)取出數(shù)據(jù),通過(guò)輸出接口向外發(fā)送數(shù)據(jù)。
本文針對(duì)數(shù)據(jù)驅(qū)動(dòng)型軟件系統(tǒng)特點(diǎn),設(shè)計(jì)了一種基于數(shù)據(jù)識(shí)別和驅(qū)動(dòng)分析的軟件系統(tǒng)測(cè)試方法,通過(guò)對(duì)系統(tǒng)處理數(shù)據(jù)的測(cè)試全覆蓋,進(jìn)而覆蓋系統(tǒng)的絕大部分功能和性能,從而以較小的測(cè)試成本,最大程度的檢驗(yàn)系統(tǒng)所屬軟件配置項(xiàng)之間的接口、時(shí)序、邏輯關(guān)系,達(dá)到系統(tǒng)級(jí)測(cè)試的目的。
基于數(shù)據(jù)識(shí)別和驅(qū)動(dòng)分析的系統(tǒng)測(cè)試方法的關(guān)鍵技術(shù)包括數(shù)據(jù)源的識(shí)別、數(shù)據(jù)路徑分析、數(shù)據(jù)狀態(tài)分析、系統(tǒng)級(jí)數(shù)據(jù)順序圖繪制、系統(tǒng)測(cè)試用例設(shè)計(jì)等。該系統(tǒng)測(cè)試方法的一般工作流程如圖1所示。
圖1 基于數(shù)據(jù)源識(shí)別和驅(qū)動(dòng)分析的系統(tǒng)測(cè)試方法工作流程圖
本文規(guī)定,系統(tǒng)中被注入的或自主產(chǎn)生的一類(lèi)數(shù)據(jù),稱(chēng)為一個(gè)數(shù)據(jù)源。通過(guò)定義可知,數(shù)據(jù)源的類(lèi)型有兩種,一種是外部數(shù)據(jù)源,即系統(tǒng)外部注入的數(shù)據(jù),典型的該類(lèi)數(shù)據(jù)有遙測(cè)數(shù)據(jù)、雷達(dá)測(cè)量數(shù)據(jù)、光學(xué)測(cè)量數(shù)據(jù)等。另一種是內(nèi)部數(shù)據(jù)源,即系統(tǒng)在運(yùn)行過(guò)程中,由操作人員操作控制產(chǎn)生,或由軟件系統(tǒng)自主產(chǎn)生的數(shù)據(jù),典型的該類(lèi)數(shù)據(jù)包括遙控指令數(shù)據(jù)、綜合彈道、設(shè)備引導(dǎo)數(shù)據(jù)、系統(tǒng)狀態(tài)上報(bào)數(shù)據(jù)等。
識(shí)別數(shù)據(jù)源的方法主要包括3種。一是梳理軟件系統(tǒng)設(shè)計(jì)等文檔,通過(guò)系統(tǒng)外部接口中輸入接口的描述來(lái)識(shí)別外部數(shù)據(jù)源;二是梳理系統(tǒng)所含的各個(gè)軟件配置項(xiàng)的需求規(guī)格說(shuō)明文檔,通過(guò)功能和接口的描述,識(shí)別系統(tǒng)內(nèi)部數(shù)據(jù)源。三是通過(guò)與操作員和系統(tǒng)總體人員的交互,并依靠測(cè)試分析人員的領(lǐng)域知識(shí)和測(cè)試經(jīng)驗(yàn)來(lái)識(shí)別數(shù)據(jù)源。
需要說(shuō)明的是,由于系統(tǒng)中數(shù)據(jù)傳遞路徑較長(zhǎng),雖然一個(gè)數(shù)據(jù)源在系統(tǒng)內(nèi)部流動(dòng)時(shí),格式或內(nèi)容發(fā)生了變化,但我們?nèi)匀欢x它為一個(gè)數(shù)據(jù)源,所發(fā)生變化的僅僅是該數(shù)據(jù)源的狀態(tài)。
識(shí)別數(shù)據(jù)源的關(guān)鍵在于不重復(fù)、不遺漏。我們將識(shí)別的數(shù)據(jù)源,以表格的形式表示出來(lái),該表格包含數(shù)據(jù)源描述、數(shù)據(jù)源類(lèi)型、數(shù)據(jù)發(fā)起方等字段。其中數(shù)據(jù)發(fā)起方可以是外部硬件設(shè)備或外部軟件系統(tǒng),也可以是軟件系統(tǒng)內(nèi)部的軟件配置項(xiàng)。在對(duì)某測(cè)控中心軟件系統(tǒng)進(jìn)行系統(tǒng)測(cè)試時(shí),獲取的外部數(shù)據(jù)源如表1所示,獲取的內(nèi)部數(shù)據(jù)源表如表2所示。
表1 某測(cè)量船測(cè)控中心軟件系統(tǒng)外部數(shù)據(jù)源表
表2 某測(cè)量船中心軟件系統(tǒng)內(nèi)部數(shù)據(jù)源表
識(shí)別數(shù)據(jù)源后,下一步工作是數(shù)據(jù)路徑分析和數(shù)據(jù)狀態(tài)分析。數(shù)據(jù)路徑分析,是指分析數(shù)據(jù)源在系統(tǒng)內(nèi)部各配置項(xiàng)之間被處理、傳遞的路徑,分析的粒度應(yīng)達(dá)到配置項(xiàng)級(jí)別。數(shù)據(jù)狀態(tài)分析則是分析和確定數(shù)據(jù)在路徑中各個(gè)節(jié)點(diǎn)上的狀態(tài)。這兩個(gè)分析步驟關(guān)系緊密,且在時(shí)間上是交叉進(jìn)行的,在實(shí)際測(cè)試中,可以同時(shí)進(jìn)行路徑分析和狀態(tài)分析。
本文規(guī)定數(shù)據(jù)源首次從外部注入系統(tǒng)時(shí),或首次在系統(tǒng)內(nèi)部產(chǎn)生時(shí),其狀態(tài)為初始狀態(tài)。當(dāng)數(shù)據(jù)流出系統(tǒng),或者終止在系統(tǒng)內(nèi)部某個(gè)配置項(xiàng)時(shí),其狀態(tài)為最終狀態(tài)。當(dāng)一個(gè)數(shù)據(jù)源在系統(tǒng)中流動(dòng)時(shí),必然會(huì)依照數(shù)據(jù)處理流程,依次途徑系統(tǒng)中多個(gè)軟件配置項(xiàng),在每流經(jīng)一個(gè)軟件配置項(xiàng)后,數(shù)據(jù)的狀態(tài)一般會(huì)發(fā)生變化。
數(shù)據(jù)的狀態(tài)包括數(shù)據(jù)幀格式、頻率、存儲(chǔ)介質(zhì),以及幀內(nèi)各數(shù)據(jù)項(xiàng)的類(lèi)型、字節(jié)長(zhǎng)度、數(shù)值、單位、量綱等特性,上述特性均可以從系統(tǒng)的接口控制文件中獲得。數(shù)據(jù)狀態(tài)的變化,包括了數(shù)據(jù)幀的轉(zhuǎn)發(fā)、數(shù)據(jù)幀的格式變化、數(shù)據(jù)幀的分解和重組、數(shù)據(jù)量綱的變化、數(shù)據(jù)坐標(biāo)系的轉(zhuǎn)換、參數(shù)值的解算、數(shù)據(jù)融合處理等。數(shù)據(jù)狀態(tài)變化的正確與否,反映了系統(tǒng)功能的正確性。
針對(duì)每一個(gè)數(shù)據(jù)源,都要分析和記錄其數(shù)據(jù)路徑和狀態(tài)變化,分析要素見(jiàn)表3。
表3 數(shù)據(jù)路徑分析和狀態(tài)分析要素表
識(shí)別出全部數(shù)據(jù)源、并依照分析要素進(jìn)行路徑分析和狀態(tài)分析后,下一步要對(duì)分析結(jié)果進(jìn)行建模和呈現(xiàn)。當(dāng)前,研究人員對(duì)基于UML模型的系統(tǒng)測(cè)試方法進(jìn)行了一些研究,文獻(xiàn)[16]通過(guò)擴(kuò)展UML用例圖的方法導(dǎo)出系統(tǒng)測(cè)試用例,文獻(xiàn)[17]綜合利用UML活動(dòng)圖和用例圖信息,通過(guò)擴(kuò)展活動(dòng)圖的方法獲取系統(tǒng)測(cè)試信息,均取得了較好的效果。
本文設(shè)計(jì)了一種簡(jiǎn)化的UML順序圖,對(duì)系統(tǒng)的數(shù)據(jù)流向圖進(jìn)行建模。UML順序圖的主要元素為參與者和事件消息等[19],主要用來(lái)幫助用戶(hù)準(zhǔn)確的為組成系統(tǒng)的各部分之間如何交互進(jìn)行建模[18]。本文設(shè)計(jì)的基于順序圖的數(shù)據(jù)流向圖,參與者為與該數(shù)據(jù)源有關(guān)的外部硬件設(shè)備、外部軟件系統(tǒng),以及系統(tǒng)內(nèi)部所屬軟件配置項(xiàng),事件消息為具備一定狀態(tài)特征的數(shù)據(jù)。一個(gè)典型的飛船遙測(cè)數(shù)據(jù)源的數(shù)據(jù)流向圖如圖2所示。
圖2 飛船遙測(cè)數(shù)據(jù)源的系統(tǒng)數(shù)據(jù)流向圖
設(shè)計(jì)系統(tǒng)測(cè)試用例,關(guān)鍵在于確定用例的測(cè)試輸入和期望結(jié)果。以下給出依照系統(tǒng)數(shù)據(jù)流向圖,確定測(cè)試輸入和期望結(jié)果的方法。
1)測(cè)試輸入:
系統(tǒng)測(cè)試用例的輸入,取決于數(shù)據(jù)源的初始狀態(tài),通過(guò)數(shù)據(jù)流向圖,可以得到數(shù)據(jù)源的初始狀態(tài)。在圖2中,數(shù)據(jù)源的初始狀態(tài)為注入至數(shù)據(jù)交換軟件配置項(xiàng)的原始遙測(cè)幀。
當(dāng)數(shù)據(jù)的初始狀態(tài)是外部注入時(shí),測(cè)試用例的輸入是外部測(cè)量設(shè)備或者測(cè)試仿真程序產(chǎn)生的注入數(shù)據(jù);當(dāng)數(shù)據(jù)的初始狀態(tài)是由系統(tǒng)內(nèi)部產(chǎn)生時(shí),測(cè)試用例的輸入就是操作員對(duì)系統(tǒng)的相關(guān)操作,或者軟件系統(tǒng)自主產(chǎn)生的數(shù)據(jù)。
2)期望結(jié)果:
系統(tǒng)測(cè)試用例的期望結(jié)果,包括3個(gè)基本要素。(1)確定系統(tǒng)測(cè)試檢查點(diǎn),即在系統(tǒng)什么位置獲取數(shù)據(jù)狀態(tài);(2)通過(guò)什么方式獲取數(shù)據(jù)狀態(tài);(3)期望的數(shù)據(jù)狀態(tài)應(yīng)該是什么。
一般來(lái)說(shuō),數(shù)據(jù)的最終狀態(tài)表明系統(tǒng)功能將在該點(diǎn)完成,該點(diǎn)對(duì)測(cè)試人員而言往往是可見(jiàn)的,因此我們將數(shù)據(jù)最終狀態(tài)所處的軟件配置項(xiàng)設(shè)置為系統(tǒng)測(cè)試檢查點(diǎn)。通過(guò)查看該軟件配置項(xiàng)的顯示界面、數(shù)據(jù)文件、數(shù)據(jù)庫(kù)等方式,獲取數(shù)據(jù)的實(shí)際狀態(tài),并與接口控制文件中規(guī)定的期望狀態(tài)相比較,驗(yàn)證系統(tǒng)功能是否正確。
圖2中,飛船遙測(cè)數(shù)據(jù)源的最終狀態(tài)有兩處,一處是數(shù)據(jù)存儲(chǔ)軟件配置項(xiàng)存儲(chǔ)的原始遙測(cè)幀,另一處是監(jiān)視顯示軟件配置項(xiàng)界面顯示的解算后遙測(cè)參數(shù)值,因此該測(cè)試用例將擁有兩個(gè)系統(tǒng)檢查點(diǎn),在后續(xù)的用例設(shè)計(jì)中將至少對(duì)應(yīng)兩個(gè)測(cè)試步驟。
需要說(shuō)明的是,數(shù)據(jù)的中間狀態(tài)對(duì)用戶(hù)來(lái)說(shuō)則不一定是可見(jiàn)的,但如果測(cè)試中有必要,測(cè)試人員依舊可以通過(guò)網(wǎng)絡(luò)捕獲、查看日志、查看共享內(nèi)存的方法來(lái)設(shè)置系統(tǒng)檢查點(diǎn)。
3)編寫(xiě)系統(tǒng)測(cè)試用例:
依照系統(tǒng)數(shù)據(jù)流向圖2,確定系統(tǒng)測(cè)試輸入和期望結(jié)果后,編寫(xiě)的系統(tǒng)測(cè)試用例如表4所示。
表4 飛船遙測(cè)數(shù)據(jù)接收、處理和顯示測(cè)試用例
需要說(shuō)明的是,表4測(cè)試用例是針對(duì)一個(gè)數(shù)據(jù)源編寫(xiě)的。系統(tǒng)測(cè)試時(shí),要按照系統(tǒng)真實(shí)使用場(chǎng)景,同時(shí)注入系統(tǒng)工作時(shí)的所有數(shù)據(jù)源,測(cè)試人員需要同時(shí)關(guān)注每個(gè)數(shù)據(jù)源的處理結(jié)果,以及有關(guān)聯(lián)關(guān)系的多個(gè)數(shù)據(jù)源的綜合處理結(jié)果。
在某測(cè)控中心軟件系統(tǒng)測(cè)試中,對(duì)本文提出的系統(tǒng)測(cè)試方法進(jìn)行了驗(yàn)證。用例設(shè)計(jì)階段,通過(guò)對(duì)數(shù)據(jù)源的識(shí)別,數(shù)據(jù)路徑和狀態(tài)分析,共設(shè)計(jì)測(cè)試用例91個(gè),測(cè)試用例設(shè)計(jì)情況見(jiàn)表5。
表5 測(cè)試用例設(shè)計(jì)一覽表
表5中,因系統(tǒng)參試設(shè)備較多,且大多數(shù)設(shè)備產(chǎn)生多種數(shù)據(jù),共梳理出62個(gè)外部數(shù)據(jù)源。梳理內(nèi)部數(shù)據(jù)源19個(gè),包括遙控?cái)?shù)據(jù)、綜合彈道、設(shè)備引導(dǎo)數(shù)據(jù)、系統(tǒng)狀態(tài)上報(bào)數(shù)據(jù)、鏈監(jiān)信息等,遙控?cái)?shù)據(jù)又細(xì)分為指令碼、執(zhí)行脈沖、指令序列等多個(gè)子類(lèi)。綜合性測(cè)試用例則進(jìn)行多個(gè)數(shù)據(jù)源的組合,用于數(shù)據(jù)優(yōu)選功能、數(shù)據(jù)融合功能、性能和余量測(cè)試。
系統(tǒng)測(cè)試共發(fā)現(xiàn)軟件缺陷13處,軟件缺陷分布情況見(jiàn)表6。
表6 軟件缺陷分布一覽表
該系統(tǒng)是在原有系統(tǒng)基礎(chǔ)上進(jìn)行的國(guó)產(chǎn)化改造,大部分軟件為代碼移植,故13個(gè)軟件缺陷符合測(cè)試預(yù)期。其中軟件功能缺陷3個(gè),說(shuō)明軟件配置項(xiàng)測(cè)試比較充分,大部分軟件功能缺陷已在配置項(xiàng)測(cè)試中發(fā)現(xiàn)并解決。其余10個(gè)軟件缺陷為系統(tǒng)級(jí)缺陷,分布于系統(tǒng)內(nèi)外接口、軟件互操作和綜合試驗(yàn)流程中,系統(tǒng)級(jí)缺陷數(shù)占比為76.92%。而系統(tǒng)所屬配置項(xiàng)間接口、時(shí)序、邏輯關(guān)系是否正確,能否協(xié)調(diào)有序工作,正是軟件系統(tǒng)測(cè)試應(yīng)重點(diǎn)關(guān)注的對(duì)象。
經(jīng)過(guò)本次系統(tǒng)測(cè)試,該系統(tǒng)一年內(nèi)運(yùn)行穩(wěn)定,成功執(zhí)行多次試驗(yàn)任務(wù)。實(shí)踐證明,本文提出的基于數(shù)據(jù)源識(shí)別和數(shù)據(jù)驅(qū)動(dòng)分析的軟件系統(tǒng)測(cè)試方法,從系統(tǒng)所處理的數(shù)據(jù)入手,能夠快速、清晰提取測(cè)試需求,提高系統(tǒng)測(cè)試用例設(shè)計(jì)的針對(duì)性和有效性。
本文結(jié)合航天測(cè)控中心軟件系統(tǒng)的特點(diǎn),設(shè)計(jì)了一種基于數(shù)據(jù)源識(shí)別和數(shù)據(jù)驅(qū)動(dòng)分析的航天測(cè)控軟件系統(tǒng)測(cè)試方法,給出了該方法的一般工作流程,并對(duì)數(shù)據(jù)源的識(shí)別、數(shù)據(jù)路徑分析、數(shù)據(jù)狀態(tài)分析,系統(tǒng)數(shù)據(jù)流向圖繪制、系統(tǒng)測(cè)試用例編寫(xiě)等關(guān)鍵技術(shù)進(jìn)行了研究。該方法是對(duì)傳統(tǒng)的基于需求的系統(tǒng)測(cè)試方法的有力補(bǔ)充,能夠顯著提高系統(tǒng)測(cè)試用例設(shè)計(jì)的針對(duì)性和有效性。該方法已經(jīng)在多個(gè)航天測(cè)控中心、測(cè)量船的軟件系統(tǒng)測(cè)試中得到應(yīng)用和驗(yàn)證,結(jié)果表明,該方法能夠有效發(fā)現(xiàn)系統(tǒng)層面的軟件缺陷,提高系統(tǒng)測(cè)試效率。后續(xù),作者將針對(duì)該方法的測(cè)試充分性、測(cè)試數(shù)據(jù)和測(cè)試用例輔助生成[20]、數(shù)據(jù)驅(qū)動(dòng)和業(yè)務(wù)驅(qū)動(dòng)相結(jié)合的系統(tǒng)測(cè)試方法做進(jìn)一步的研究。