《軟件測(cè)試能力介紹》ppt課件-預(yù)覽頁(yè)
【正文】 年代開(kāi)始，隨著數(shù)字計(jì)算機(jī)在飛控系統(tǒng)的廣泛采用，飛控系統(tǒng)軟件的質(zhì)量逐漸成為影響系統(tǒng)安全可靠的重要環(huán)節(jié)。 ?飛控軟件在規(guī)模上以及重要性上，均呈急劇上升的趨勢(shì)。 軟件測(cè)試驗(yàn)證流程階段 1使用工具 ?系統(tǒng)測(cè)試用例生成工具 —— TVEC 為了保證系統(tǒng)測(cè)試用例設(shè)計(jì)的正確性、完整性，提高效率，我們采用了軟件測(cè)試用例生成工具 TVEC。將測(cè)試用例驅(qū)動(dòng)和源代碼在同一個(gè)環(huán)境下編譯生成測(cè)試程序；該測(cè)試程序在目標(biāo)環(huán)境下執(zhí)行，并且在測(cè)試驅(qū)動(dòng)執(zhí)行的時(shí)候每個(gè)測(cè)試執(zhí)行的結(jié)構(gòu)被存儲(chǔ)起來(lái)和預(yù)期結(jié)果進(jìn)行比較。 軟件測(cè)試驗(yàn)證流程階段 2使用工具 模型獲取 子系統(tǒng)選擇 模型分析 模型仿真 轉(zhuǎn)換選項(xiàng) 測(cè)試生成 信號(hào)數(shù)據(jù)范圍 覆蓋分析 Simulink Tester（ TVec）工作流程 軟件 測(cè)試驗(yàn)證流程階段 3流程中的位置 軟 件 合 格 審 定 計(jì) 劃軟 件開(kāi) 發(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ì) 劃 說(shuō) 明驗(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ī) 范追 蹤 追 蹤 追 蹤合 成 過(guò) 程軟 件 開(kāi) 發(fā) 過(guò) 程追 蹤軟 件 策 劃 過(guò) 程追 蹤 追 蹤 追 蹤軟件 測(cè)試驗(yàn)證流程階段 3總體描述 ? 關(guān)注重點(diǎn)： ? 源代碼的評(píng)審與分析 ? 靜態(tài)測(cè)試 ? 單元測(cè)試 ? 集成測(cè)試 ? 采用技術(shù)： ? 滿足安全關(guān)鍵系統(tǒng)要求的靜態(tài)分析技術(shù) ? 滿足 MC/DC結(jié)構(gòu)覆蓋要求的單元測(cè)試 ? 基于抽象解釋的飛行控制軟件的自動(dòng)集成測(cè)試技術(shù) ? 使用工具： ? 靜態(tài)測(cè)試工具 Testbed ? 單元測(cè)試工具 Tbrun ? 集成測(cè)試工具 PolySpace 軟件 測(cè)試驗(yàn)證流程階段 3關(guān)注重點(diǎn) 參加源代碼評(píng)審和分析的組織 組織單位 評(píng)審參與組織 配合組織 所級(jí)管理部門 軟件測(cè)試組 軟件開(kāi)發(fā)組 項(xiàng)目系統(tǒng)組 軟件配置管理組 質(zhì)量監(jiān)督組織（ SQA） 在源代碼評(píng)審檢查表中所有的項(xiàng)目都必須填寫，評(píng)審和分析意見(jiàn)應(yīng)填寫在評(píng)審報(bào)告中，并和源代碼一起歸檔入配置庫(kù)。常用的度量方法有：控制流結(jié)點(diǎn)度量、扇入 /扇出度量、 McCabe 圈復(fù)雜度、注釋行度量；代碼可達(dá)性度量等。 軟件 測(cè)試驗(yàn)證流程階段 3采用技術(shù)（集成測(cè)試） 集成測(cè)試 集成測(cè)試的主要內(nèi)容包含：模塊間的接口測(cè)試、全局?jǐn)?shù)據(jù)結(jié)構(gòu)測(cè)試、性能測(cè)試、軟件功能模塊的功能測(cè)試。但是，對(duì)于數(shù)據(jù)耦合的另外的部分問(wèn)題（比如：數(shù)組越界、數(shù)據(jù)溢出、非法指針等）無(wú)法得到完整的驗(yàn)證，因此我們借助 PolySpace對(duì)被測(cè)軟件進(jìn)行測(cè)試 ,實(shí)現(xiàn)對(duì)被測(cè)軟件的完整測(cè)試。測(cè)試人員無(wú)法跟蹤軟件的內(nèi)部運(yùn)行情況，不利軟件問(wèn)題的發(fā)現(xiàn)和定位。 基于模型設(shè)計(jì)的軟件測(cè)試與驗(yàn)證方法 ?模型審查技術(shù)： 對(duì)軟件模型進(jìn)行模型審查時(shí)，既要對(duì)軟件模型進(jìn)行審查，也要對(duì)各類軟件文檔進(jìn)行審查：對(duì)軟件開(kāi)發(fā)過(guò)程中的軟件需求和模型設(shè)計(jì)等階段中所生成的文檔進(jìn)行檢查。 基于模型設(shè)計(jì)的軟件測(cè)試與驗(yàn)證方法 ?編譯器驗(yàn)證技術(shù) CVK KCG（代碼生成器）所產(chǎn)生代碼編譯后的目標(biāo)碼，經(jīng)過(guò) CVK軟件包的驗(yàn)證，可指出該 C編譯器是否是安全的。 ? 基于 Web的測(cè)試管理系統(tǒng)為我們提供了一個(gè)協(xié)同合作的環(huán)境和一個(gè)中央數(shù)據(jù)倉(cāng)庫(kù)； ? Web 界面簡(jiǎn)化了這些需求管理過(guò)程。 謝 謝 ！
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1