基于SysML模塊圖的集成測試序列生成方法.pdf

1、集成測試是檢測系統(tǒng)各部分功能能否達到相應(yīng)技術(shù)要求的活動，是保證產(chǎn)品質(zhì)量的關(guān)鍵技術(shù)。隨著嵌入式系統(tǒng)規(guī)模和復(fù)雜性的急劇增長，如何保證嵌入式系統(tǒng)的質(zhì)量和提高產(chǎn)品的可靠性，已成為當前工程領(lǐng)域最為關(guān)注的問題之一。
　　本文選題來源于國防基礎(chǔ)預(yù)研重點項目，研究如何以SysML模塊圖為依據(jù)，實現(xiàn)集成測試序列的自動生成。本文對SysML模塊圖進行處理，將其轉(zhuǎn)換為中間模型，定義了相關(guān)模塊分支覆蓋準則、數(shù)據(jù)依賴對覆蓋準則、關(guān)鍵模塊覆蓋準則，然后根據(jù)集

2、成測試策略的要求，選取相應(yīng)的覆蓋準則，自動生成集成測試序列集。
　　SysML模塊圖包括模塊定義圖和內(nèi)部模塊圖。針對嵌入式系統(tǒng)中功能模塊間的邏輯組織關(guān)系，采用模塊定義圖對其建模，針對模塊間數(shù)據(jù)交互關(guān)系，采用內(nèi)部模塊圖對其建模；通過分析SysML模塊圖中模塊的測試依賴性，定義了模塊依賴圖，并描述了模塊圖轉(zhuǎn)換為模塊依賴圖的規(guī)則；提出了先約束再組合、先成對再成組、自底向上的集成測試策略；定義相關(guān)模塊分支覆蓋準則解決組合覆蓋容易產(chǎn)生組合爆