軟件測試能力介紹ppt課件(編輯修改稿)
2025-06-01 22:15 本頁面
【文章內(nèi)容簡介】 件 實(shí) 現(xiàn)和 集 成編 譯 連 接系 統(tǒng) 綜 合需 求 規(guī) 格評 審系 統(tǒng) 測 試計(jì) 劃 與 用 例評 審系 統(tǒng) 測 試計(jì) 劃系 統(tǒng) 測 試用 例驗(yàn) 證追 蹤矩 陣軟 件 設(shè) 計(jì)評 審測 試 計(jì) 劃與 用 例 評 審單 元 與 集成 測 試 計(jì)劃 和 用 例 /靜 態(tài) 測 試計(jì) 劃 說 明驗(yàn) 證追 蹤矩 陣測 試 結(jié) 果評 審單 元 測 試靜 態(tài) 測 試集 成 測 試驗(yàn) 證追 蹤矩 陣軟 件 確 認(rèn)評 審系 統(tǒng) 測 試驗(yàn) 證追 蹤矩 陣系 統(tǒng)需 求標(biāo) 準(zhǔn)和規(guī) 范追 蹤 追 蹤 追 蹤合 成 過 程軟 件 開 發(fā) 過 程追 蹤軟 件 策 劃 過 程追 蹤 追 蹤 追 蹤軟件 測試驗(yàn)證流程階段 3總體描述 ? 關(guān)注重點(diǎn)： ? 源代碼的評審與分析 ? 靜態(tài)測試 ? 單元測試 ? 集成測試 ? 采用技術(shù)： ? 滿足安全關(guān)鍵系統(tǒng)要求的靜態(tài)分析技術(shù) ? 滿足 MC/DC結(jié)構(gòu)覆蓋要求的單元測試 ? 基于抽象解釋的飛行控制軟件的自動(dòng)集成測試技術(shù) ? 使用工具： ? 靜態(tài)測試工具 Testbed ? 單元測試工具 Tbrun ? 集成測試工具 PolySpace 軟件 測試驗(yàn)證流程階段 3關(guān)注重點(diǎn) 參加源代碼評審和分析的組織 組織單位 評審參與組織 配合組織 所級管理部門 軟件測試組 軟件開發(fā)組 項(xiàng)目系統(tǒng)組 軟件配置管理組 質(zhì)量監(jiān)督組織（ SQA） 在源代碼評審檢查表中所有的項(xiàng)目都必須填寫，評審和分析意見應(yīng)填寫在評審報(bào)告中，并和源代碼一起歸檔入配置庫。 ?源代碼的評審和分析 軟件 測試驗(yàn)證流程階段 3采用技術(shù)（靜態(tài)測試） 軟件靜態(tài)測試技術(shù) ?2022年編寫了 《 飛行控制系統(tǒng)軟件測試規(guī)范 》 ； ?根據(jù)已有的測試規(guī)范，國內(nèi)首次引入了 Testbed靜態(tài)分析測試輔助工具； ?在國內(nèi)首次定制了適合飛控專業(yè)的 Testbed軟件靜態(tài)分析標(biāo)準(zhǔn)（并先后兩次進(jìn)行了該標(biāo)準(zhǔn)的修訂）； ?為發(fā)布軟件靜態(tài)分析的國軍標(biāo)測試標(biāo)準(zhǔn)奠定了堅(jiān)實(shí)的基礎(chǔ)。 軟件 測試驗(yàn)證流程階段 3使用工具（靜態(tài)測試） 軟件靜態(tài)測試工具 Testbed 為了提高軟件代碼審查、靜態(tài)測試和分析的效率，保證軟件源代碼滿足特定的代碼規(guī)則要求，我們借助軟件靜態(tài)測試與分析工具 Testbed開展軟件靜態(tài)測試工作。該工具可以幫助我們完成以下工作： ? 自動(dòng)地驗(yàn)證應(yīng)用軟件是否遵循了所選擇的編程規(guī)則（比如國軍標(biāo)GJB、歐洲防務(wù)標(biāo)準(zhǔn) DERA 以及汽車軟件標(biāo)準(zhǔn) MISRA ）； ? 提供多種形式的軟件度量方法，有助于我們能夠準(zhǔn)確分析和評價(jià)被測軟件的質(zhì)量。常用的度量方法有：控制流結(jié)點(diǎn)度量、扇入 /扇出度量、 McCabe 圈復(fù)雜度、注釋行度量；代碼可達(dá)性度量等。 軟件 測試驗(yàn)證流程階段 3使用工具（靜態(tài)測試） 擁有支持多種編程語言的靜態(tài)測試和分析工具 ? Testbed for C： 2022年購入并在國內(nèi)率先使用 ? Testbed for ASM： 2022年購入并在國內(nèi)領(lǐng)先使用 ? Testbed for ADA： 2022年購入并在國內(nèi)率先使用 軟件 測試驗(yàn)證流程階段 3采用技術(shù)（單元測試） 序號 說明 軟件等級適用性 A B C D 1 測試規(guī)程是否正確 ● ○ ○ 2 測試結(jié)果是否正確及解釋不符合值 ● ○ ○ 3 高級需求的測試覆蓋范圍是否實(shí)現(xiàn) ● ○ ○ ○ 4 低級需求的測試覆蓋范圍是否實(shí)現(xiàn) ● ○ ○ 5 軟件結(jié)構(gòu)（更改的條件 /決策，也即MC/DC）的測試覆蓋范圍是否實(shí)現(xiàn) ● 6 軟件結(jié)構(gòu)的測試覆蓋范圍（決策范圍，也即 DC）是否實(shí)現(xiàn) ● ● 7 軟件結(jié)構(gòu)的測試覆蓋范圍（語句范圍）是否實(shí)現(xiàn) ● ● ○ 8 軟件結(jié)構(gòu)（數(shù)據(jù)耦合和控制耦合）的測試覆蓋范圍是否實(shí)現(xiàn) ● ● ○ ? MC/DC：滿足 DO178B A級軟件的必要條件 ? 右表中的符號●表示該目標(biāo)要單獨(dú)滿足，符號○表示該目標(biāo)要滿足。 軟件 測試驗(yàn)證流程階段 3使用工具（單元測試） 單元測試工具 TBrun 為滿足軟件單元測試的結(jié)構(gòu)覆蓋要求，達(dá)到 DO178B A級軟件的 MC/DC結(jié)構(gòu)覆蓋率 100%，我們借助軟件單元測試工具Tbrun展開軟件單元測試。 ? 我們使用 TBrun自動(dòng)產(chǎn)生軟件測試驅(qū)動(dòng)、樁模塊；
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1