專利名稱：一種基于接口模型的操作系統(tǒng)標準符合性測試的充分性評估方法
技術(shù)領(lǐng)域：
本發(fā)明涉及計算機軟件領(lǐng)域，特別涉及基于模型的測試充分性評估。
背景技術(shù)：
操作系統(tǒng)的開發(fā)必須在遵循國際和工業(yè)標準的基礎(chǔ)上進行，遵循標準是操作系統(tǒng)互通、互聯(lián)、互操作的基礎(chǔ)。標準符合性是操作系統(tǒng)保證其開放性、兼容性、以及對上層豐富應(yīng)用的有效支持的基礎(chǔ)和關(guān)鍵，標準符合性測試就是測試所開發(fā)的軟件其接口或功能模塊是否符合特定的軟件標準或者規(guī)范，這個符合性不僅是指在形式上是一致的，還指其在功能、數(shù)據(jù)控制、異常處理等方面也要符合標準規(guī)范。例如，ARINC 653作為機載操作系統(tǒng)標準，對應(yīng)用程序編程接口進行了詳細定義，并定義了標準符合性測試的規(guī)范，明確說明了測試過程及測試用例的設(shè)計要求。軟件測試是根據(jù)軟件開發(fā)階段的各種說明文檔，設(shè)計測試用例，使用手工或自動的方式，按照測試方案和流程，使用這些測試用例運行軟件系統(tǒng)，用以檢驗軟件系統(tǒng)是否滿足預(yù)期需求的過程。由于標準接口數(shù)量大、接口之間依賴關(guān)系復(fù)雜、接口使用場景多樣，標準符合性測試面臨組合爆炸的問題，無法做到窮盡測試。標準符合性測試設(shè)計的關(guān)鍵之一就是尋找有效的測試集，力求盡可能地覆蓋接口需求，并有效發(fā)現(xiàn)缺陷，增強測試的可信度。測試充分性評估是對軟件測試集的一種度量，通常針對特定的軟件特征，采用測
試覆蓋率定量度量軟件測試的充分程度，可以用如下公式來表示
已測試執(zhí)行的特定特征數(shù)目覆皿率=車欠件的特定特征總數(shù)Xl00/°根據(jù)軟件測試的分類，測試充分性評估可以分為基于代碼的測試充分性評估和基于功能的測試充分性評估兩大類?；诖a的充分性評估適用于白盒測試中，通過在測試過程中觀測程序的語句、分支、路徑等的執(zhí)行情況，來評估測試覆蓋的充分程度?；诠δ艿某浞中栽u估，常用于黑盒測試中，以評估軟件系統(tǒng)對于功能需求的覆蓋程度。標準符合性測試本質(zhì)上為一種黑盒測試，以明確的應(yīng)用程序接口描述作為軟件功能特性，其基本要求功能點覆蓋就體現(xiàn)為對于各種接口參數(shù)數(shù)據(jù)取值類型、參數(shù)數(shù)據(jù)組合、接口操作、操作組合各個層次上。本發(fā)明給出一種基于接口模型的標準符合性測試充分性度量方法，主要由兩部分組成(I)操作系統(tǒng)標準接口的結(jié)構(gòu)化建模與描述；(2)測試執(zhí)行對于接口模型的覆蓋程度的一種層次化的度量模型，進而給出綜合化評估方法。標準符合性測試是操作系統(tǒng)測試的基本要求。測試充分性分析對測試用例集設(shè)計以及優(yōu)化具有重要指導(dǎo)意義
發(fā)明內(nèi)容
本發(fā)明米用基于模型的軟仵度量技術(shù)，給出一種接口功能的結(jié)構(gòu)化建模及層Z 度量方法。方法針對目前廣泛應(yīng)用的操作系統(tǒng)軟件的接口標準符合性測試問題，要求! 操作系統(tǒng)及其測試用例集滿足以下條件(1)目標操作系統(tǒng)具有明確的接口功能定義 行業(yè)內(nèi)普遍認同的標準，是操作系統(tǒng)設(shè)計、開發(fā)與測試的主要依據(jù)；(2)測試用例集中Z 是針對操作系統(tǒng)標準接口的功能測試，且每個測試用例可追蹤至被測軟件的功能特性 括被測接口的參數(shù)數(shù)據(jù)、被測接口的功能以及功能組合。基于接口模型的操作系統(tǒng)標準符合性測試的充分性評估法，其特征在于是在-計算機中，針對一個已經(jīng)通過標準符合性測試的操作系統(tǒng)軟件S依次按照以下步驟進1 分性評估的步驟(1)計算機初始化輸入根據(jù)所述操作系統(tǒng)軟件S建立接口模型，其中包括數(shù)據(jù)模型和功能模 數(shù)據(jù)模型包括數(shù)據(jù)池的每個數(shù)據(jù)分區(qū)內(nèi)所包含的所有測試數(shù)據(jù)，功能模型各個接口的包括輸入?yún)?shù)和輸出參數(shù)在內(nèi)的接口參數(shù)以及對應(yīng)的| 功能，還包括已經(jīng)在所述操作系統(tǒng)軟件S中通過標準符合性測試的測試用例集合r步驟(2)依次按以下步驟進行標準符合性測試的充分性評估。步驟(2. 1)按以下公式計算接口輸入?yún)?shù)的覆蓋率Cov(7 / )
權(quán)利要求
1.一種基于接口模型的操作系統(tǒng)標準符合性測試的充分性評估法，其特征在于，是在一臺計算機中，針對一個已經(jīng)通過標準符合性測試的操作系統(tǒng)軟件S依次按照以下步驟進行充分性評估的步驟(I)計算機初始化輸入根據(jù)所述操作系統(tǒng)軟件S建立接口模型，其中包括數(shù)據(jù)模型和功能模型數(shù)據(jù)模型包括數(shù)據(jù)池的每個數(shù)據(jù)分區(qū)內(nèi)所包含的所有測試數(shù)據(jù)，功能模型各個接口的包括輸入?yún)?shù)和輸出參數(shù)在內(nèi)的接口參數(shù)以及對應(yīng)的接口功倉泛，還包括已經(jīng)在所述操作系統(tǒng)軟件S中通過標準符合性測試的測試用例集合T，步驟(2)依次按以下步驟進行標準符合性測試的充分性評估步驟(2. I)按以下公式計算接口輸入?yún)?shù)的覆蓋率Cov(r,P ,TM、在Γ中已經(jīng)測試到的接口輸入?yún)?shù)的所有分區(qū)測試數(shù)據(jù)的數(shù)目irvw
全文摘要
一種基于接口模型的操作系統(tǒng)標準符合性測試的充分性評估方法，涉及軟件測試的充分性評估，所述方法適用于操作系統(tǒng)針對特定標準的符合性測試，可以度量測試用例設(shè)計對于標準接口的覆蓋率程度，為測試用例的選擇、改進及測試充分性評估提供依據(jù)。方法包括三個方面計算機初始化，以建立接口的數(shù)據(jù)模型和功能模型，獲得標準符合性測試用例集；測試充分性評估，計算接口輸入?yún)?shù)、接口輸入?yún)?shù)-輸出參數(shù)組合、接口功能、接口功能組合、以及系統(tǒng)綜合覆蓋率；基于覆蓋率的測試用例選擇，設(shè)定標準符合性測試的覆蓋率目標，從總體用例集中迭代選取測試用例，直至滿足覆蓋率目標。
文檔編號G06F11/36GK102945204SQ20121045912
公開日2013年2月27日 申請日期2012年11月14日 優(yōu)先權(quán)日2012年11月14日
發(fā)明者白曉穎, 張瑤 申請人:清華大學