《軟件測試能力介紹》PPT課件

《《軟件測試能力介紹》PPT課件》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、主要內(nèi)容測試對象及組織機構(gòu)測試標準與規(guī)范測試流程軟件測試管理軟件測試能力成功案例主要內(nèi)容測試對象及組織機構(gòu)測試標準與規(guī)范測試流程軟件測試管理軟件測試能力成功案例我所從50年代后期開始涉足我國飛行控制領(lǐng)域。上世紀80年代開始，隨著數(shù)字計算機在飛控系統(tǒng)的廣泛采用，飛控系統(tǒng)軟件的質(zhì)量逐漸成為影響系統(tǒng)安全可靠的重要環(huán)節(jié)。由于飛行控制系統(tǒng)是影響到各類飛行器安全的關(guān)鍵系統(tǒng)。因此飛控系統(tǒng)軟件的測試和驗證成為貫穿于整個軟件生命周期過程的不可或缺重要工作。專業(yè)簡介目前我所飛控系統(tǒng)產(chǎn)品所涉及的兩個主要領(lǐng)域為：軍用飛行器固定翼飛機旋翼飛機無人機導(dǎo)彈民用飛機主要領(lǐng)域安全關(guān)鍵級軟件

2、的測試數(shù)字化控制在飛控系統(tǒng)中的應(yīng)用，計算機軟件在飛控系統(tǒng)中得到大量的應(yīng)用。飛控軟件在規(guī)模上以及重要性上，均呈急劇上升的趨勢。2001年開始，我們成立了軟件測試中心建立一整套面向高安全性、高可靠性飛控軟件的軟件測試驗證流程主要內(nèi)容測試對象及組織機構(gòu)測試標準與規(guī)范測試流程軟件測試管理軟件測試能力成功案例測試標準與規(guī)范通用規(guī)范：CMM、DO-178B行業(yè)規(guī)范：涉及航空、航天、武器、電信和軍事等領(lǐng)域企業(yè)標準與規(guī)范：《機載軟件編程規(guī)范》《飛行控制系統(tǒng)軟件測試規(guī)范》《軟件開發(fā)流程》主要內(nèi)容測試對象及組織機構(gòu)測試標準與規(guī)范測試流程軟件測試管理軟件測試能力成功案例軟件生存

3、周期全流程軟件測試驗證流程軟件測試驗證流程階段1-流程中的位置軟件測試驗證流程階段1-總體描述關(guān)注重點：軟件需求的評審與分析系統(tǒng)測試用例采用技術(shù)：基于需求的測試用例自動生成技術(shù)使用工具：T-VEC軟件測試驗證流程階段1-關(guān)注重點高級需求（軟件需求規(guī)格說明）評審和分析參加高級需求評審和分析的組織組織單位評審參與組織配合組織飛控部軟件測試組軟件開發(fā)組項目系統(tǒng)組軟件配置管理組質(zhì)量監(jiān)督組織（SQA）在軟件需求文檔的評審檢查表中所有的項目都必須填寫，評審和分析意見應(yīng)填寫在評審報告中，并和軟件需求文檔一起歸檔入配置庫。軟件測試驗證流程階段1-主要技術(shù)基于需求的自動測試

4、用例生成技術(shù)是一種驗證和確認的方法，它能夠在產(chǎn)品發(fā)布之前減少“瘋狂”測試和返工，因為測試工程師在項目早期就對需求進行精練和建模，能夠使缺陷對系統(tǒng)產(chǎn)生影響前就被發(fā)現(xiàn)。隨著軟件開發(fā)的進行，測試工程師創(chuàng)建測試用例和測試驅(qū)動，并建立它們與目標系統(tǒng)的映射和模板；當系統(tǒng)具備可測試條件的時候，測試工程師就可以把經(jīng)過充分準備的、全面的測試過程快速地進行實施。軟件測試驗證流程階段1-使用工具系統(tǒng)測試用例生成工具——T-VEC為了保證系統(tǒng)測試用例設(shè)計的正確性、完整性，提高效率，我們采用了軟件測試用例生成工具T-VEC。它能夠幫助我們在需求分析的基礎(chǔ)上，不依賴于任何軟件編譯平臺

5、和任何硬件平臺，獨立設(shè)計測試用例生成模型，并自動生成測試用例。軟件測試驗證流程階段1-使用工具T-VEC工具的TTM模型圖軟件測試驗證流程階段2-流程中的位置軟件測試驗證流程階段2-總體描述關(guān)注重點：軟件設(shè)計的評審與分析單元/集成測試用例采用技術(shù)：基于模型的測試用例自動生成技術(shù)使用工具：SimulinkTesterT-VEC軟件測試驗證流程階段2-關(guān)注重點參加低級需求的評審和分析的組織組織單位評審參與組織配合組織所級管理部門軟件測試組軟件開發(fā)組項目系統(tǒng)組軟件配置管理組質(zhì)量監(jiān)督組織（SQA）在軟件設(shè)計文檔的評審檢查表和軟件結(jié)構(gòu)的評審表中所有的項目都必須填寫，

6、評審和分析意見應(yīng)填寫在評審報告中，并和軟件設(shè)計文檔一起歸檔入配置庫。低級需求（軟件設(shè)計文檔）評審和分析軟件測試驗證流程階段2-采用技術(shù)基于模型的測試用例自動生成技術(shù)測試驅(qū)動生成器能夠生成和MatlabSimulinkRTW相兼容的測試用例驅(qū)動模板。將測試用例驅(qū)動和源代碼在同一個環(huán)境下編譯生成測試程序；該測試程序在目標環(huán)境下執(zhí)行，并且在測試驅(qū)動執(zhí)行的時候每個測試執(zhí)行的結(jié)構(gòu)被存儲起來和預(yù)期結(jié)果進行比較。軟件測試驗證流程階段2-使用工具基于設(shè)計模型的單元測試用例生成工具SimulinkTester軟件單元測試用例的設(shè)計需要在本階段內(nèi)完成，以往我們是參照設(shè)計文檔和

7、模型，手工編制測試用例。這樣的方式不僅效率低，而且不能保證測試的完整性。我們引入基于設(shè)計模型的單元測試工具SimulinkTester幫助我們產(chǎn)生測試用例和驅(qū)動軟件測試驗證流程階段2-使用工具SimulinkTester的特點提供包括模型分析、自動測試生成、測試執(zhí)行和結(jié)果分析在內(nèi)的一套集成解決方案；分析設(shè)計模型層次中的每個路徑并且生成測試向量來測試每個路徑的邊界；模型中會導(dǎo)致產(chǎn)生死代碼的不可達路徑會被標識出來，并且以超鏈接的方式鏈接到Simulink模型中的相關(guān)部分；該測試過程可以選擇生成單元、集成測試用例，以便更有效的發(fā)現(xiàn)邏輯方面的判斷錯誤，整數(shù)和浮點數(shù)

8、數(shù)據(jù)域方面的計算錯誤。軟件測試驗證流程階段2-使用工具模型獲取子系