軟件測試能力介紹ppt課件-資料下載頁
2025-05-05 22:15本頁面
【正文】 ?模型審查技術(shù)； ?模型覆蓋率技術(shù)； ?編譯器驗(yàn)證技術(shù)。 基于模型設(shè)計(jì)的軟件測試與驗(yàn)證方法 ?模型審查技術(shù)： 對軟件模型進(jìn)行模型審查時(shí)，既要對軟件模型進(jìn)行審查，也要對各類軟件文檔進(jìn)行審查：對軟件開發(fā)過程中的軟件需求和模型設(shè)計(jì)等階段中所生成的文檔進(jìn)行檢查。 基于模型設(shè)計(jì)的軟件測試與驗(yàn)證方法 ?模型覆蓋率技術(shù) 為了保證測試的完備性， SCADE提供了基于模型的覆蓋率分析（ MTC， Model Test Coverage）。它能夠分析仿真場景在模型中的覆蓋程度，并能指明未覆蓋的路徑，發(fā)現(xiàn)設(shè)計(jì)或需求中的缺陷。同時(shí)， SCADE還能自動(dòng)生成覆蓋率分析的報(bào)告。 基于模型設(shè)計(jì)的軟件測試與驗(yàn)證方法 ?編譯器驗(yàn)證技術(shù) CVK KCG（代碼生成器）所產(chǎn)生代碼編譯后的目標(biāo)碼，經(jīng)過 CVK軟件包的驗(yàn)證，可指出該 C編譯器是否是安全的。 基于模型設(shè)計(jì)的軟件測試與驗(yàn)證方法 ?編譯器驗(yàn)證技術(shù) CVK 主要內(nèi)容 ? 測試對象及組織機(jī)構(gòu) ? 測試標(biāo)準(zhǔn)與規(guī)范 ? 測試流程 ? 軟件測試管理 ? 軟件測試能力 ? 成功案例 軟件測試管理 ?清晰的軟件配置管理 ?嚴(yán)格的軟件質(zhì)量保證 ?統(tǒng)一的軟件測試管理 軟件測試管理 ?清晰的軟件配置管理 為了有效地管理測試過程中產(chǎn)生的各類文檔、資料和數(shù)據(jù)，我們借助 IBM公司的 ClearCase和 ClearQuest實(shí)現(xiàn)軟件配置管理和變更控制活動(dòng)： ?錄入可復(fù)用的被測試軟件庫； ?錄入 /撿出被測試程序的源代碼、目標(biāo)代碼、設(shè)計(jì)、測試文檔； ?觀察一個(gè)元素的歷史記錄； ?比較元素版本間的差異，便于管理軟件的回歸測試； ?跟蹤檢出的軟件測試版本； ?為相同開發(fā)項(xiàng)目提供與軟件產(chǎn)品有關(guān)的測試文檔和數(shù)據(jù)。 軟件測試管理 ?嚴(yán)格的軟件質(zhì)量保證 建立了評審的控制程序、軟件過程活動(dòng)審核制度和軟件的檢查和監(jiān)督制度， SQA嚴(yán)格按照上述的程序和制度，采取抽樣檢查、參與評審和階段評審的方法，在軟件的全生命周期中，嚴(yán)格執(zhí)行軟件的 SQA制度，確保軟件的產(chǎn)品質(zhì)量。 軟件測試管理 測試管理工具 Test Director 為了將各個(gè)階段、測試工具和測試人員產(chǎn)生的軟件測試數(shù)據(jù)和結(jié)果統(tǒng)一進(jìn)行分析和管理，解決不同測試工具形成的 “ 信息孤島 ” 現(xiàn)象。 ? 基于 Web的測試管理系統(tǒng)為我們提供了一個(gè)協(xié)同合作的環(huán)境和一個(gè)中央數(shù)據(jù)倉庫； ? Web 界面簡化了這些需求管理過程。通過提供一個(gè)比較直觀的機(jī)制將需求和測試用例、測試結(jié)果和報(bào)告的錯(cuò)誤聯(lián)系起來，從而確保能達(dá)到最高的測試覆蓋率； ? 借助該工具可以將需求和測試聯(lián)系起來，實(shí)現(xiàn)需求跟蹤和驗(yàn)證。 主要內(nèi)容 ? 測試對象及組織機(jī)構(gòu) ? 測試標(biāo)準(zhǔn)與規(guī)范 ? 測試流程 ? 軟件測試管理 ? 軟件測試能力 ? 成功案例 軟件的測試能力 ?已經(jīng)形成一整套專業(yè)的測試流程； ?已形成一條完備的軟件測試工具鏈，覆蓋軟件全生命周期的測試與驗(yàn)證（包含靜態(tài)測試、單元測試、集成測試、系統(tǒng)測試 ）； ?能夠針對多種測試對象開展測試，包含：設(shè)計(jì)模型、 C語言、 Ada語言、匯編語言等； ?所測試項(xiàng)目遍及國內(nèi)多個(gè)型號，測試代碼行超過 200萬行； ?擁有一支高水平的測試梯隊(duì)和一批經(jīng)驗(yàn)豐富的測試專家； ?測試中心具有承接安全關(guān)鍵級軟件和任務(wù)關(guān)鍵級軟件測試的經(jīng)驗(yàn)和能力。 主要內(nèi)容 ? 測試對象及組織機(jī)構(gòu) ? 測試標(biāo)準(zhǔn)與規(guī)范 ? 測試流程 ? 軟件測試管理 ? 軟件測試能力 ? 成功案例 成功案例 ?獵鷹高級教練機(jī)電傳控制系統(tǒng) ?某型（ A）雙坐高級教練機(jī)電傳控制系統(tǒng) ?某型（ B）電傳控制系統(tǒng) ?某型支線客機(jī)自動(dòng)駕駛儀 ?導(dǎo)彈系列 ?無人機(jī)系列 取得的榮譽(yù) ?多種類型的飛機(jī)（固定翼、旋翼、有人駕駛、無人駕駛）和導(dǎo)彈等飛行控制軟件，經(jīng)過我們獨(dú)立測試后，在內(nèi)場調(diào)試中很少產(chǎn)生故障，在外場試驗(yàn)和試飛中均無故障產(chǎn)生，獲得用戶好評； ?通過了總裝組織的 GJB5000 CMM 2級認(rèn)證，這一突破使我所成為首批通過此認(rèn)證的航空院所； ?“ 高覆蓋率的電傳控制系統(tǒng)軟件系統(tǒng)級白盒測試技術(shù) ” 項(xiàng)目取得了國防技術(shù)成果獎(jiǎng)，在同行業(yè)中填補(bǔ)了國內(nèi)空白； ?獲得了 SCADE工具中國最佳用戶的稱號。 謝 謝 ！
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1