目　　錄
前言
第1章　軟件測(cè)試概述1
1.1　軟件測(cè)試的定義及發(fā)展1
1.2　軟件及軟件缺陷的概念3
1.2.1　軟件3
1.2.2　軟件缺陷4
1.3　軟件質(zhì)量及軟件質(zhì)量模型5
1.3.1　軟件質(zhì)量5
1.3.2　兩個(gè)軟件質(zhì)量模型6
1.4　軟件測(cè)試的基本原理12
1.5　軟件測(cè)試的分類(lèi)15
1.5.1　白盒測(cè)試和黑盒測(cè)試16
1.5.2　靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試17
1.5.3　測(cè)試級(jí)別18
1.5.4　測(cè)試類(lèi)型24
1.6　通過(guò)維恩圖理解測(cè)試27
習(xí)題29
第2章　嵌入式系統(tǒng)概述30
2.1　嵌入式系統(tǒng)30
2.1.1　什么是嵌入式系統(tǒng)31
2.1.2　嵌入式系統(tǒng)的組成31
2.1.3　嵌入式系統(tǒng)的發(fā)展歷程33
2.2　嵌入式軟件的組成及特點(diǎn)35
2.2.1　嵌入式軟件的組成35
2.2.2　嵌入式軟件的特點(diǎn)37
2.3　嵌入式系統(tǒng)的設(shè)計(jì)流程40
2.4　嵌入式軟件的應(yīng)用領(lǐng)域44
習(xí)題46
第3章　嵌入式軟件測(cè)試概述47
3.1　嵌入式軟件測(cè)試的特點(diǎn)47
3.1.1　嵌入式軟件測(cè)試與普通軟件測(cè)試的相同點(diǎn)47
3.1.2　嵌入式軟件測(cè)試的特殊性48
3.2　嵌入式軟件測(cè)試的策略和方法51
3.2.1　交叉測(cè)試51
3.2.2　白盒測(cè)試54
3.2.3　黑盒測(cè)試56
3.2.4　灰盒測(cè)試57
3.3　嵌入式軟件測(cè)試的原則58
3.4　嵌入式軟件測(cè)試的環(huán)境61
3.4.1　全實(shí)物仿真測(cè)試環(huán)境61
3.4.2　半實(shí)物仿真測(cè)試環(huán)境62
3.4.3　全數(shù)字仿真測(cè)試環(huán)境64
3.4.4　三種仿真測(cè)試的優(yōu)缺點(diǎn)65
習(xí)題67
第4章　嵌入式軟件測(cè)試設(shè)計(jì)方法68
4.1　等價(jià)類(lèi)劃分測(cè)試70
4.2　邊界值測(cè)試76
4.3　因果圖測(cè)試80
4.4　決策表測(cè)試84
4.5　邏輯覆蓋測(cè)試89
4.6　組合測(cè)試96
4.7　蛻變測(cè)試101
習(xí)題104
第5章　嵌入式軟件測(cè)試過(guò)程108
5.1　嵌入式軟件測(cè)試過(guò)程概述108
5.2　測(cè)試需求分析112
5.2.1　為什么要進(jìn)行測(cè)試需求分析112
5.2.2　測(cè)試需求分析的內(nèi)容113
5.2.3　測(cè)試需求分析實(shí)例114
5.3　嵌入式軟件測(cè)試的設(shè)計(jì)與實(shí)現(xiàn)119
5.3.1　嵌入式軟件測(cè)試設(shè)計(jì)過(guò)程119
5.3.2　嵌入式軟件測(cè)試設(shè)計(jì)要點(diǎn)119
5.3.3　嵌入式軟件測(cè)試設(shè)計(jì)實(shí)例121
5.4　問(wèn)題報(bào)告的撰寫(xiě)124
5.4.1　問(wèn)題報(bào)告的內(nèi)容125
5.4.2　問(wèn)題報(bào)告的撰寫(xiě)要點(diǎn)126
5.4.3　問(wèn)題報(bào)告撰寫(xiě)實(shí)例127
5.5　嵌入式軟件測(cè)試案例127
5.5.1　被測(cè)對(duì)象概述128
5.5.2　油壓功能模塊測(cè)試130
5.5.3　車(chē)速功能模塊測(cè)試135
5.5.4　燈光控制功能模塊測(cè)試137
習(xí)題141
第6章　軟件測(cè)試自動(dòng)化概述142
6.1　為什么要實(shí)現(xiàn)軟件測(cè)試自動(dòng)化142
6.1.1　因?yàn)槿藭?huì)犯錯(cuò)142
6.1.2　因?yàn)闇y(cè)試中有大量重復(fù)性的非“智力”操作143
6.1.3　因?yàn)槭止�測(cè)試效率低143
6.1.4　某些測(cè)試只能由測(cè)試工具完成144
6.2　軟件自動(dòng)化測(cè)試技術(shù)分類(lèi)144
6.2.1　依據(jù)測(cè)試級(jí)別劃分145
6.2.2　依據(jù)測(cè)試技術(shù)劃分146
6.2.3　依據(jù)測(cè)試階段劃分155
6.3　嵌入式軟件自動(dòng)化測(cè)試技術(shù)156
6.4　應(yīng)用自動(dòng)化測(cè)試的原則157
習(xí)題160
第7章　常用測(cè)試工具161
7.1　測(cè)試工具概述161
7.2　單元測(cè)試工具162
7.2.1　JUnit162
7.2.2　NUnit164
7.2.3　Cantata166
7.2.4　Visual Unit168
7.2.5　CodeSonar169
7.2.6　Pinpoint175
7.2.7　TBrun177
7.2.8　PureCoverage179
7.2.9　CodeTEST181
7.2.10　BullseyeCoverage184
7.2.11　RTT-MBT185
7.2.12　Testbed189
7.2.13　McCabe IQ190
7.2.14　Klocwork191
7.2.15　其他常用代碼審查與靜態(tài)分析工具193
7.2.16　其他常用覆蓋率分析工具194
7.3　集成化的嵌入式軟件測(cè)試工具195
7.3.1　VectorCAST/RSP195
7.3.2　嵌入式系統(tǒng)測(cè)試平臺(tái)ETest197
7.4　測(cè)試過(guò)程管理工具200
7.4.1　測(cè)試過(guò)程自動(dòng)化管理工具QC201
7.4.2　測(cè)試過(guò)程自動(dòng)化管理工具STM204
7.4.3　軟件測(cè)試過(guò)程管理系統(tǒng)206
7.4.4　其他測(cè)試過(guò)程管理工具209
習(xí)題210
第8章　嵌入式軟件測(cè)試實(shí)踐211
8.1　使用ETest Studio進(jìn)行嵌入式自動(dòng)化測(cè)試211
8.1.1　空調(diào)控制板需求介紹213
8.1.2　測(cè)試環(huán)境的構(gòu)建216
8.1.3　測(cè)試腳本的編寫(xiě)219
8.1.4　測(cè)試自動(dòng)化的執(zhí)行233
8.1.5　測(cè)試監(jiān)控236
8.2　一個(gè)典型的嵌入式軟件測(cè)試案例238
8.2.1　軟件需求238
8.2.2　測(cè)試設(shè)計(jì)與執(zhí)行243
8.3　2019年全國(guó)大學(xué)生軟件測(cè)試大賽真題279
8.3.1　試題內(nèi)容279
8.3.2　參考答案283
8.3.3　解題思路284
8.3.4　測(cè)試執(zhí)行293
習(xí)題296
附錄A　測(cè)試需求規(guī)格說(shuō)明模板297
附錄B　測(cè)試說(shuō)明模板304
參考文獻(xiàn)311