Modelook在無(wú)人機(jī)測(cè)試領(lǐng)域中的應(yīng)用

1、本層系統(tǒng)開(kāi)發(fā),本層系統(tǒng)實(shí)現(xiàn)，IV&V確認(rèn)3F層系統(tǒng)開(kāi)發(fā)W&V利益I妖者需 求定義需求分析下層系統(tǒng)實(shí)現(xiàn)Modelook在無(wú)人機(jī)測(cè)試領(lǐng)域中的應(yīng)用II工程背景II現(xiàn)階段無(wú)人機(jī)系統(tǒng)的架構(gòu)復(fù)雜、使用場(chǎng)景繁多，傳統(tǒng)方法是采用人工方式編寫(xiě)測(cè)試用例集, 使用文檔作為設(shè)計(jì)部門(mén)和測(cè)試部門(mén)之間的數(shù)據(jù)交流。測(cè)試人員將面對(duì)巨大的人工工作量，除 了效率低下，容易出錯(cuò)之外，要保證需求、文檔、測(cè)試用例和測(cè)試結(jié)果的一致性和準(zhǔn)確性更 加困難。針對(duì)復(fù)雜無(wú)人機(jī)系統(tǒng)而言，傳統(tǒng)方法已經(jīng)難以對(duì)系統(tǒng)需求實(shí)現(xiàn)覆蓋性測(cè)試。II解決方案II基于模型的測(cè)試應(yīng)用是在基于模型的系統(tǒng)工程（MBSE ）應(yīng)用大背景下，在測(cè)試領(lǐng)域的模型 化應(yīng)用。其中模型測(cè)試需

2、要實(shí)現(xiàn)以SysML模型作為系統(tǒng)完整描述的數(shù)據(jù)來(lái)源，并自動(dòng)生成 測(cè)試用例所需的完備數(shù)據(jù)結(jié)構(gòu)，從而打通常規(guī)設(shè)計(jì)端與驗(yàn)證端之間的數(shù)據(jù)鴻溝，銜接從設(shè)計(jì) 到測(cè)試驗(yàn)證的整個(gè)MBSE過(guò)程。具體形式為通過(guò)繼承上游的行為邏輯模型，自動(dòng)生成測(cè)試用例，并進(jìn)行覆蓋率分析，實(shí)現(xiàn)基 于統(tǒng)一數(shù)據(jù)源的需求、設(shè)計(jì)到驗(yàn)證的完整閉環(huán)。w&v上層系統(tǒng)開(kāi)發(fā)準(zhǔn)備被測(cè)系統(tǒng)模型被測(cè)系統(tǒng)模型是基于系統(tǒng)維度的模型，主要包含需求模型和功能邏輯模 型。需求模型數(shù)據(jù)主要包含被測(cè)系統(tǒng)的需求條目，功能邏輯模型數(shù)據(jù)主要包含被測(cè)系統(tǒng)相關(guān) 的模型元素和行為圖（活動(dòng)圖、順序圖、狀態(tài)圖）。生成測(cè)試用例基于被測(cè)系統(tǒng)的行為邏輯模型，對(duì)數(shù)據(jù)進(jìn)行解析，自動(dòng)生成測(cè)試場(chǎng)景中所

3、需的 測(cè)試用例。系統(tǒng)會(huì)遍歷每一個(gè)行為圖的眾多執(zhí)行路徑中的每一條路徑生成與之對(duì)應(yīng)的測(cè)試用 例，該測(cè)試用例是以順序圖的形式呈現(xiàn)單一測(cè)試場(chǎng)景，測(cè)試場(chǎng)景的生命線從左向右分別代表 了測(cè)試激勵(lì)、被測(cè)系統(tǒng)、測(cè)試響應(yīng)。同時(shí)系統(tǒng)支持對(duì)測(cè)試用例進(jìn)行檢查分析及合并操作，保證形成一套完整且是最小割集的測(cè)試用例集。5場(chǎng)景1場(chǎng)景2場(chǎng)景3片段用例（一） XT 4停車(chē)場(chǎng)系統(tǒng)評(píng)審測(cè)試用例通過(guò)在需求條目與測(cè)試用例之間創(chuàng)立vv追蹤、VV驗(yàn)證等依賴關(guān)系，檢查 測(cè)試用例集對(duì)需求的覆蓋率，關(guān)聯(lián)關(guān)系創(chuàng)立后可以通過(guò)矩陣視圖直觀的看到每一個(gè)測(cè)試用例 全部或局部滿足哪些需求，或者每一條需求都能夠由哪些測(cè)試用例進(jìn)行全部或局部測(cè)試。通 過(guò)評(píng)審生成的

4、測(cè)試用例以驗(yàn)證其能正確的滿足系統(tǒng)需求，以驗(yàn)證交付模型直接滿足需求。停車(chē)系統(tǒng)案例11需求包系統(tǒng)需求L1進(jìn)入L.6備用車(chē)位 - 1.511 通知O I 愧 一 4S示O -g! 一W付費(fèi) n 求停一.2車(chē)位統(tǒng)計(jì)S囪停車(chē)系統(tǒng)案例3電停車(chē)系統(tǒng)設(shè)計(jì)模型測(cè) 試 用 例自咨 Non-Guest Arrives Sunny Da. 卜國(guó) Non-Guest Arrives Sunny . HS Non-Guest Arrives Sunny . J國(guó) Non-Guest Arrives Sunny .S-H Guest Arrives - Sunny Day Sc. 卜國(guó) Guest Arrives - Su

5、nny Da. I 國(guó) Guest Arrives - Sunny Da.覆蓋率分析可在測(cè)試過(guò)程中，對(duì)測(cè)試需求的覆蓋率進(jìn)行統(tǒng)計(jì)，并通過(guò)表格的方式顯示分析結(jié) 果，便于測(cè)試人員對(duì)測(cè)試需求完成度的分析。在需求覆蓋率總結(jié)中，綠色表示測(cè)試用例集已 經(jīng)覆蓋到的需求條目，紅色是未覆蓋的需求。同時(shí)，也可以將測(cè)試用例對(duì)模型元素做覆蓋率 分析統(tǒng)計(jì)，可明確測(cè)試模型對(duì)設(shè)計(jì)模型的覆蓋程度。環(huán)境信息測(cè)試人停車(chē)系統(tǒng)案例測(cè)試機(jī)器20測(cè)試系統(tǒng)版本12那么試時(shí)間2020/5/11一工程信息工程停車(chē)系統(tǒng)案例需求20測(cè)試用例12覆蓋率結(jié)果停車(chē)系統(tǒng)案例10%?系統(tǒng)需求10%詳細(xì)信息Pre Payment無(wú)覆蓋Space Availab

6、ilityr Informa無(wú)覆蓋Allocation of Parking Spac無(wú)覆蓋Non Payment無(wú)覆蓋Insufficient Space無(wú)覆蓋Produce Invoices無(wú)覆蓋Alert Free Spaces無(wú)覆蓋Alternate Parking無(wú)覆蓋Entry覆蓋Car Park Access,無(wú)覆蓋導(dǎo)出測(cè)試結(jié)果基于所管理的測(cè)試過(guò)程數(shù)據(jù)，按照自定義的文檔模板生成測(cè)試報(bào)告。導(dǎo)出的測(cè)試報(bào)告中包含 了測(cè)試場(chǎng)景、測(cè)試用例、測(cè)試需求、每個(gè)測(cè)試用例需求覆蓋率的詳細(xì)情況等內(nèi)容。支持導(dǎo)出為Excel文件，可直觀查看需求模型-設(shè)計(jì)模型-測(cè)試模型之間的追蹤關(guān)系?？舍槍?duì)測(cè)試用例，生成符合XML文件格式的測(cè)試用例腳本文件，導(dǎo)出的測(cè)試腳本文件可導(dǎo) 入第三方測(cè)試平臺(tái)，供進(jìn)一步的測(cè)試應(yīng)用。II收益II自動(dòng)生成測(cè)試用