嵌入式軟件測(cè)試：面向結(jié)構(gòu)的測(cè)試技術(shù)
作者: 來(lái)源: 文字大小:[大][中][小]
課程背景：
隨著軟硬件技術(shù)的發(fā)展，嵌入式系統(tǒng)在各個(gè)領(lǐng)域的應(yīng)用日漸廣泛，設(shè)備也越來(lái)越復(fù)雜，嵌入式軟件測(cè)試的難度也越來(lái)越大。國(guó)內(nèi)企業(yè)的測(cè)試還處于非常原始的狀態(tài)，往往不重視前期測(cè)試工作的開(kāi)展，反而投入大量的資金在后期進(jìn)行返工，從而大幅度地增加了開(kāi)發(fā)成本，降低了嵌入式軟件的質(zhì)量穩(wěn)定性。
本課程全面介紹當(dāng)前業(yè)界先進(jìn)的嵌入式軟件的測(cè)試方法，尤其是第四代嵌入式軟件白盒測(cè)試技術(shù)。在實(shí)踐經(jīng)驗(yàn)基礎(chǔ)上，深入探討嵌入式軟件測(cè)試的核心難題與解決策略，講述單元測(cè)試與集成測(cè)試的方法論、實(shí)施過(guò)程，以及配套設(shè)備工具等以提高提高學(xué)員解決這些問(wèn)題的方法和技巧，具有很強(qiáng)的可操作性。
培訓(xùn)收益
全面理解嵌入式軟件測(cè)試的質(zhì)量控制方法
了解嵌入式軟件的的可測(cè)試性設(shè)計(jì)的方法
了解常見(jiàn)的嵌入式軟件質(zhì)量缺陷
掌握如何實(shí)施嵌入式軟件在線白盒測(cè)試，包括在線測(cè)試驅(qū)動(dòng)、在線腳本樁、在線測(cè)試改進(jìn)等
掌握如何開(kāi)展嵌入式軟件的持續(xù)集成測(cè)試
掌握如何有效設(shè)計(jì)白盒測(cè)試用例，如何評(píng)價(jià)白盒測(cè)試的完備性
掌握如何進(jìn)行嵌入式軟件白盒自動(dòng)化測(cè)試規(guī)劃和設(shè)計(jì)，確保測(cè)試腳本的持續(xù)重用
了解業(yè)界先進(jìn)的嵌入式測(cè)試設(shè)備和測(cè)試平臺(tái)
掌握嵌入式軟件測(cè)試效果、設(shè)計(jì)質(zhì)量的評(píng)價(jià)方法
講師介紹 崔博
資歷：，在北京航空航天大學(xué)獲工學(xué)博士，曾任職航天時(shí)代集團(tuán)、中航
可靠性工程技術(shù)中心，參與神州飛船以及多項(xiàng)國(guó)家重點(diǎn)工程的設(shè)計(jì)、測(cè)試工作，多次擔(dān)任測(cè)試組長(zhǎng)。主要研究方向?yàn)檐浖煽啃怨こ蹋ㄜ浖?yàn)證技術(shù)、IC驗(yàn)證與測(cè)試技術(shù)、SoC與嵌入式系統(tǒng)、DFT技術(shù)等。
課程大綱（僅作參考，以實(shí)際講課稿件為準(zhǔn)）
第一天：上午
一、嵌入式軟件的質(zhì)量
1、需求問(wèn)題
2、設(shè)計(jì)問(wèn)題
3、實(shí)現(xiàn)問(wèn)題
4、文檔問(wèn)題
5、管理問(wèn)題
二、嵌入式軟件的設(shè)計(jì)問(wèn)題
1、空間約束
2、時(shí)間約束
3、避錯(cuò)設(shè)計(jì)
4、容錯(cuò)設(shè)計(jì)
5、形式化方法
第一天：下午
一、常見(jiàn)嵌入式軟件缺陷
1、體系結(jié)構(gòu)因素及缺陷案例
2、程序設(shè)計(jì)語(yǔ)言因素及缺陷案例
3、存儲(chǔ)空間因素及缺陷案例
4、實(shí)時(shí)性因素及缺陷案例
5、性能因素及缺陷案例
6、可靠性/安全性因素及缺陷案例
二、嵌入式軟件的靜態(tài)測(cè)試
1、靜態(tài)語(yǔ)法測(cè)試
2、靜態(tài)語(yǔ)義測(cè)試
3、軟件靜態(tài)審查
4、案例分析
第二天：上午
一、嵌入式軟件的白盒測(cè)試
1、白盒測(cè)試基礎(chǔ)
白盒測(cè)試在軟件研發(fā)全流程中的位置
V模型與軟件白盒測(cè)試過(guò)程
為什么要測(cè)試？為什么要盡早測(cè)試？
案例分析：?jiǎn)栴}根源分析，IBM的正交缺陷分析方法
為什么要持續(xù)測(cè)試？
單元測(cè)試是什么？不是什么？
集成測(cè)試是什么？不是什么？
案例分享：Cantata公司對(duì)白盒測(cè)試的界定
調(diào)試與測(cè)試、一次測(cè)試與持續(xù)測(cè)試、離線測(cè)試與在線測(cè)試
Good-Enough原則，白盒測(cè)試要遵循的原則
白盒測(cè)試的主要誤區(qū)
有效性評(píng)估與測(cè)試質(zhì)量評(píng)估
案例分析：企業(yè)不做白盒測(cè)試的典型原因
白盒測(cè)試的核心難題是什么？
案例分析：測(cè)試同比曲線
軟件白盒測(cè)試發(fā)展歷程：從第1代到第3代
第4代白盒方法的關(guān)鍵域與關(guān)鍵特征
構(gòu)造在線測(cè)試的必要條件與實(shí)施步驟
持續(xù)集成到測(cè)試先行，再到每日構(gòu)建
案例分享：一次測(cè)試與持續(xù)測(cè)試的典型差異
什么是軟件測(cè)試小循環(huán)？如何融入研發(fā)大循環(huán)？
測(cè)試粒度與可見(jiàn)性，白盒？黑盒？還是灰盒
測(cè)試操作的三種形式化表述方式
2、面向控制流的測(cè)試
（1）語(yǔ)句覆蓋測(cè)試及案例
（2）判定覆蓋測(cè)試及案例
（3）分支覆蓋測(cè)試及案例
（4）路徑覆蓋測(cè)試及案例
（5）MC/DC覆蓋測(cè)試及案例
（6）Z覆蓋測(cè)試及案例
（7）其它結(jié)構(gòu)覆蓋測(cè)試測(cè)試及案例
3、面向數(shù)據(jù)流的測(cè)試
（1）定義覆蓋測(cè)試及案例
（2）引用覆蓋測(cè)試及案例
（3）定義—引用覆蓋測(cè)試及案例
（4）數(shù)據(jù)間交互作用測(cè)試及案例
（5）計(jì)算環(huán)境測(cè)試及案例
（6）結(jié)構(gòu)性數(shù)據(jù)的測(cè)試及案例
（7）動(dòng)態(tài)數(shù)據(jù)的測(cè)試及案例
4、面向?qū)ο筇匦缘臏y(cè)試
（1）面向?qū)ο筇匦?br />
（2）面向?qū)ο鬁y(cè)試模型
（3）面向?qū)ο筌浖y(cè)試策略
（4）案例分析
5、排錯(cuò)性測(cè)試
（1）植錯(cuò)法
（2）變異體測(cè)試
（3）插樁技術(shù)
6、研發(fā)平臺(tái)與測(cè)試平臺(tái)選擇，
案例分享：這個(gè)工具的適用范圍怎么越做越窄？
界白盒測(cè)試工具的應(yīng)用狀況與對(duì)比分析
主測(cè)試工具與輔助工具的選擇與評(píng)估模型
實(shí)施基于消息的測(cè)試？
實(shí)時(shí)操作系統(tǒng)下白盒測(cè)試注意事項(xiàng)
如何封裝白盒測(cè)試設(shè)計(jì)，如何在功能測(cè)試、協(xié)議測(cè)試、性能測(cè)試中重用？
老產(chǎn)品或半新產(chǎn)品中如何實(shí)施白盒測(cè)試？
測(cè)試架構(gòu)設(shè)計(jì)與軟件架構(gòu)設(shè)計(jì)的關(guān)系
第二天：下午
一、測(cè)試方法的分析
1、測(cè)試方法分類與比較
2、最少測(cè)試集的估計(jì)
二、嵌入式軟件測(cè)試工程
1、嵌入式軟件測(cè)試的組織
2、嵌入式軟件測(cè)試策略與流程設(shè)計(jì)
持續(xù)集成、每日構(gòu)建、冒煙測(cè)試之間的關(guān)系
持續(xù)集成的組織管理模式與框架體系
產(chǎn)品版本樹(shù)與項(xiàng)目版本樹(shù)組織
如何構(gòu)造可監(jiān)控、可驗(yàn)證的持續(xù)集成研發(fā)體系
實(shí)例講解：某產(chǎn)品研發(fā)的持續(xù)集成框架體系
3、測(cè)試方法選擇與測(cè)試環(huán)境搭建
流程與研發(fā)組織形態(tài)對(duì)推行白盒測(cè)試實(shí)踐的影響？如何協(xié)調(diào)到最佳？
選擇大方向：一次測(cè)試還是持續(xù)測(cè)試？是否具備TDD的實(shí)施條件？
編寫代碼之前的白盒測(cè)試相關(guān)實(shí)踐：可測(cè)試性需求分析、測(cè)試策略擬定、SVVP計(jì)劃、工具選型與評(píng)估、可測(cè)試性設(shè)計(jì)
如何處理與單元測(cè)試配套的軟件過(guò)程，正規(guī)檢視、編碼風(fēng)格與LINT檢查、交叉測(cè)試、技術(shù)評(píng)審、缺陷分析
實(shí)例講解：從單元測(cè)試過(guò)渡到集成測(cè)試的操作實(shí)踐
幾個(gè)相關(guān)的測(cè)試：代碼審查、性能測(cè)試、協(xié)議測(cè)試、組件測(cè)試（基于接口）、功能自動(dòng)化測(cè)試，這些測(cè)試如何定位？與白盒測(cè)試如何配合？如何重用？
實(shí)例講解：白盒測(cè)試中如何解決嵌入式產(chǎn)品的設(shè)備相關(guān)性
4、軟件度量
5、測(cè)試文檔設(shè)計(jì)
6、測(cè)試配置管理
7、測(cè)試評(píng)價(jià)與軟件評(píng)價(jià)
8、軟件測(cè)試中的社會(huì)性因素
9、關(guān)于軟件質(zhì)量管理標(biāo)準(zhǔn)的討論
推行階段劃分與工作要點(diǎn)質(zhì)量策略擬定組織、角色、職責(zé)與配合關(guān)系
如何定義白盒測(cè)試過(guò)程，如何確定流程標(biāo)準(zhǔn)？
10、案例討論