軟件測(cè)試能力介紹ppt課件(完整版)
【正文】 用 例驗(yàn) 證追 蹤矩 陣軟 件 設(shè) 計(jì)評(píng) 審測(cè) 試 計(jì) 劃與 用 例 評(píng) 審單 元 與 集成 測(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使用工具（靜態(tài)測(cè)試） 擁有支持多種編程語言的靜態(tài)測(cè)試和分析工具 ? Testbed for C： 2022年購(gòu)入并在國(guó)內(nèi)率先使用 ? Testbed for ASM： 2022年購(gòu)入并在國(guó)內(nèi)領(lǐng)先使用 ? Testbed for ADA： 2022年購(gòu)入并在國(guó)內(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)要滿足。 軟件測(cè)試驗(yàn)證流程階段 2使用工具 ?基于設(shè)計(jì)模型的單元測(cè)試用例生成工具 Simulink Tester 軟件單元測(cè)試用例的設(shè)計(jì)需要在本階段內(nèi)完成，以往我們是參照設(shè)計(jì)文檔和模型，手工編制測(cè)試用例。 ?2022年開始，我們成立了軟件測(cè)試中心 ?建立一整套面向高安全性、高可靠性飛控軟件的軟件測(cè)試驗(yàn)證流程 主要內(nèi)容 ? 測(cè)試對(duì)象及組織機(jī)構(gòu) ? 測(cè)試標(biāo)準(zhǔn)與規(guī)范 ? 測(cè)試流程 ? 軟件測(cè)試管理 ? 軟件測(cè)試能力 ? 成功案例 測(cè)試標(biāo)準(zhǔn)與規(guī)范 ?通用規(guī)范： CMM、 DO178B ?行業(yè)規(guī)范：涉及航空、航天、武器、電信和軍事等領(lǐng)域 ?企業(yè)標(biāo)準(zhǔn)與規(guī)范： ?《 機(jī)載軟件編程規(guī)范 》 ?《 飛行控制系統(tǒng)軟件測(cè)試規(guī)范 》 ?《 軟件開發(fā)流程 》 主要內(nèi)容 ? 測(cè)試對(duì)象及組織機(jī)構(gòu) ? 測(cè)試標(biāo)準(zhǔn)與規(guī)范 ? 測(cè)試流程 ? 軟件測(cè)試管理 ? 軟件測(cè)試能力 ? 成功案例 軟件生存周期全流程 軟件測(cè)試驗(yàn)證流程 軟件測(cè)試驗(yàn)證流程階段 1流程中的位置 軟 件 合 格 審 定 計(jì) 劃軟 件開 發(fā)計(jì) 劃質(zhì) 量保 證計(jì) 劃配 置管 理計(jì) 劃軟 件驗(yàn) 證計(jì) 劃計(jì) 劃 評(píng) 審需 求 跟 蹤 矩 陣 和 評(píng) 審 結(jié) 果軟 件 配 置 管 理軟 件 需 求 軟 件 設(shè) 計(jì)軟 件 實(shí) 現(xiàn)和 集 成編 譯 連 接系 統(tǒng) 綜 合需 求 規(guī) 格評(píng) 審系 統(tǒng) 測(cè) 試計(jì) 劃 與 用 例評(píng) 審系 統(tǒng) 測(cè) 試計(jì) 劃系 統(tǒng) 測(cè) 試用 例驗(yàn) 證追 蹤矩 陣軟 件 設(shè) 計(jì)評(píng) 審測(cè) 試 計(jì) 劃與 用 例 評(píng) 審單 元 與 集成 測(cè) 試 計(jì)劃 和 用 例 /靜 態(tài) 測(cè) 試計(jì) 劃 說 明驗(yàn) 證追 蹤矩 陣測(cè) 試 結(jié) 果評(píng) 審單 元 測(cè) 試靜 態(tài) 測(cè) 試集 成 測(cè) 試驗(yàn) 證
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1