軟件測(cè)試能力介紹ppt課件-文庫吧資料
2025-05-11 22:15本頁面
【正文】 審單 元 與 集成 測(cè) 試 計(jì)劃 和 用 例 /靜 態(tài) 測(cè) 試計(jì) 劃 說 明驗(yàn) 證追 蹤矩 陣測(cè) 試 結(jié) 果評(píng) 審單 元 測(cè) 試靜 態(tài) 測(cè) 試集 成 測(cè) 試驗(yàn) 證追 蹤矩 陣軟 件 確 認(rèn)評(píng) 審系 統(tǒng) 測(cè) 試驗(yàn) 證追 蹤矩 陣系 統(tǒng)需 求標(biāo) 準(zhǔn)和規(guī) 范追 蹤 追 蹤 追 蹤合 成 過 程軟 件 開 發(fā) 過 程追 蹤軟 件 策 劃 過 程追 蹤 追 蹤 追 蹤軟件 測(cè)試驗(yàn)證流程階段 4總體描述 ?關(guān)注重點(diǎn)： ?系統(tǒng)測(cè)試 ?采用技術(shù)： ?飛行控制軟件的系統(tǒng)級(jí)白盒測(cè)試技術(shù) ?使用工具： ? CodeTest 軟件 測(cè)試驗(yàn)證流程階段 4采用技術(shù) ?提出并實(shí)現(xiàn)了 “ 飛控系統(tǒng)軟件的系統(tǒng)級(jí)白盒測(cè)試技術(shù) ” ?成功開發(fā)研制了一種高覆蓋率的電傳控制系統(tǒng)軟件的系統(tǒng)級(jí)白盒測(cè)試環(huán)境； ?提出并驗(yàn)證了系統(tǒng)環(huán)境下針對(duì)軟件 MC/DC結(jié)構(gòu)覆蓋的電傳控制系統(tǒng)軟件白盒測(cè)試技術(shù)； ?提出并實(shí)現(xiàn)了一種系統(tǒng)級(jí)白盒測(cè)試環(huán)境下的電傳控制系統(tǒng)軟件代碼的跟蹤技術(shù)。 軟件 測(cè)試驗(yàn)證流程階段 3使用工具（集成測(cè)試） 軟件集成測(cè)試工具 PolySpace 通過單元測(cè)試可以解決 DO178B所要求的結(jié)構(gòu)覆蓋要求，驗(yàn)證軟件的控制耦合和部分?jǐn)?shù)據(jù)耦合。驗(yàn)證軟件的數(shù)據(jù)耦合與控制耦合。 ? 我們使用 TBrun自動(dòng)產(chǎn)生軟件測(cè)試驅(qū)動(dòng)、樁模塊； ? Tbrun允許我們?cè)谛薷拇a后自動(dòng)對(duì)測(cè)試用例進(jìn)行驗(yàn)證和回歸測(cè)試； ? 同時(shí) Tbrun還可以為我們提供代碼結(jié)構(gòu)覆蓋率分析，比如：語句（ BC）覆蓋、分支 /判定（ DC）覆蓋、修正條件 /判定覆蓋（ MC/DC）等。 軟件 測(cè)試驗(yàn)證流程階段 3使用工具（靜態(tài)測(cè)試） 擁有支持多種編程語言的靜態(tài)測(cè)試和分析工具 ? Testbed for C： 2022年購入并在國內(nèi)率先使用 ? Testbed for ASM： 2022年購入并在國內(nèi)領(lǐng)先使用 ? Testbed for ADA： 2022年購入并在國內(nèi)率先使用 軟件 測(cè)試驗(yàn)證流程階段 3采用技術(shù)（單元測(cè)試） 序號(hào) 說明 軟件等級(jí)適用性 A B C D 1 測(cè)試規(guī)程是否正確 ● ○ ○ 2 測(cè)試結(jié)果是否正確及解釋不符合值 ● ○ ○ 3 高級(jí)需求的測(cè)試覆蓋范圍是否實(shí)現(xiàn) ● ○ ○ ○ 4 低級(jí)需求的測(cè)試覆蓋范圍是否實(shí)現(xiàn) ● ○ ○ 5 軟件結(jié)構(gòu)（更改的條件 /決策，也即MC/DC）的測(cè)試覆蓋范圍是否實(shí)現(xiàn) ● 6 軟件結(jié)構(gòu)的測(cè)試覆蓋范圍（決策范圍，也即 DC）是否實(shí)現(xiàn) ● ● 7 軟件結(jié)構(gòu)的測(cè)試覆蓋范圍（語句范圍）是否實(shí)現(xiàn) ● ● ○ 8 軟件結(jié)構(gòu)（數(shù)據(jù)耦合和控制耦合）的測(cè)試覆蓋范圍是否實(shí)現(xiàn) ● ● ○ ? MC/DC：滿足 DO178B A級(jí)軟件的必要條件 ? 右表中的符號(hào)●表示該目標(biāo)要單獨(dú)滿足，符號(hào)○表示該目標(biāo)要滿足。該工具可以幫助我們完成以下工作： ? 自動(dòng)地驗(yàn)證應(yīng)用軟件是否遵循了所選擇的編程規(guī)則（比如國軍標(biāo)GJB、歐洲防務(wù)標(biāo)準(zhǔn) DERA 以及汽車軟件標(biāo)準(zhǔn) MISRA ）； ? 提供多種形式的軟件度量方法，有助于我們能夠準(zhǔn)確分析和評(píng)價(jià)被測(cè)軟件的質(zhì)量。 ?源代碼的評(píng)審和分析 軟件 測(cè)試驗(yàn)證流程階段 3采用技術(shù)（靜態(tài)測(cè)試） 軟件靜態(tài)測(cè)試技術(shù) ?2022年編寫了 《 飛行控制系統(tǒng)軟件測(cè)試規(guī)范 》 ； ?根據(jù)已有的測(cè)試規(guī)范，國內(nèi)首次引入了 Testbed靜態(tài)分析測(cè)試輔助工具； ?在國內(nèi)首次定制了適合飛控專業(yè)的 Testbed軟件靜態(tài)分析標(biāo)準(zhǔn)（并先后兩次進(jìn)行了該標(biāo)準(zhǔn)的修訂）； ?為發(fā)布軟件靜態(tài)分析的國軍標(biāo)測(cè)試標(biāo)準(zhǔn)奠定了堅(jiān)實(shí)的基礎(chǔ)。我們引入基于設(shè)計(jì)模型的單元測(cè)試工具 Simulink Tester幫助我們產(chǎn)生測(cè)試用例和驅(qū)動(dòng) 軟件測(cè)試驗(yàn)證流程階段 2使用工具 ?Simulink Tester的特點(diǎn) ?提供包括模型分析、自動(dòng)測(cè)試生成、測(cè)試執(zhí)行和結(jié)果分析在內(nèi)的一套集成解決方案； ?分析設(shè)計(jì)模型層次中的每個(gè)路徑并且生成測(cè)試向量來測(cè)試每個(gè)路徑的邊界；模型中會(huì)導(dǎo)致產(chǎn)生死代碼的不可達(dá)路徑會(huì)被標(biāo)識(shí)出來，并且以超鏈接的方式鏈接到Simulink模型中的相關(guān)部分； ?該測(cè)試過程可以選擇生成單元、集成測(cè)試用例，以便更有效的發(fā)現(xiàn)邏輯方面的判斷錯(cuò)誤，整數(shù)和浮點(diǎn)數(shù)數(shù)據(jù)域方面的計(jì)算錯(cuò)誤。 軟件測(cè)試驗(yàn)證流程階段 2使用工具 ?基于設(shè)計(jì)模型的單元測(cè)試用例生成工具 Simul
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1