課件02-嵌入式軟件測(cè)試

嵌入式軟件測(cè)試

第二部分測(cè)試類(lèi)型測(cè)試類(lèi)型—提要代碼類(lèi)測(cè)試類(lèi)型規(guī)格說(shuō)明類(lèi)測(cè)試類(lèi)型質(zhì)量特性類(lèi)測(cè)試類(lèi)型代碼類(lèi)測(cè)試類(lèi)型代碼審查(Codeinspections)代碼走查(Codewalkthroughs)靜態(tài)分析邏輯覆蓋測(cè)試(Logic-CoverageTesting)數(shù)據(jù)流測(cè)試變?cè)獪y(cè)試(mutationtest)代碼審查—內(nèi)容與方法主要測(cè)試內(nèi)容檢查代碼和設(shè)計(jì)的一致性檢查代碼執(zhí)行標(biāo)準(zhǔn)的情況檢查代碼邏輯表達(dá)的正確性檢查代碼結(jié)構(gòu)的合理性檢查代碼的可讀性方法審查會(huì)依據(jù)代碼審查單逐項(xiàng)審查代碼審查—過(guò)程計(jì)劃介紹準(zhǔn)備審查會(huì)返工后續(xù)跟蹤代碼審查—審查會(huì)評(píng)審組長(zhǎng)產(chǎn)品開(kāi)發(fā)人員記錄人員評(píng)審人員SQA人員系統(tǒng)維護(hù)人員用戶代表代碼審查—準(zhǔn)入條件一組技術(shù)上有能力且經(jīng)過(guò)培訓(xùn)的審查人員一個(gè)受過(guò)培訓(xùn)的審查組長(zhǎng)正確的計(jì)劃和材料的分發(fā)良好的專(zhuān)業(yè)態(tài)度在審查會(huì)召開(kāi)之前的全面準(zhǔn)備已完成的設(shè)計(jì)文檔和源代碼已確認(rèn)的檢查單或編碼標(biāo)準(zhǔn)代碼審查—需要解決的實(shí)際問(wèn)題審查工作流于形式，缺乏操作性參與審查工作的人員缺乏相應(yīng)的培訓(xùn)，審查過(guò)程中得不到適當(dāng)?shù)闹笇?dǎo)、監(jiān)督對(duì)審查工作的重要性和嚴(yán)肅性認(rèn)識(shí)不足，沒(méi)有合理的計(jì)劃，審查前準(zhǔn)備不充分，審查工作變成一種臨時(shí)性的即興活動(dòng)審查人員的審查技能或?qū)I(yè)知識(shí)不足代碼審查—需要解決的實(shí)際問(wèn)題審查會(huì)偏離主題，演變成解決方案研討或技術(shù)攻關(guān)會(huì)，審查效率低下沒(méi)有對(duì)審查中發(fā)現(xiàn)的問(wèn)題進(jìn)行跟蹤，使審查工作功虧一簣，前功盡棄沒(méi)有建立測(cè)量數(shù)據(jù)收集機(jī)制，不分析審查工作的有效性，管理人員和技術(shù)人員體會(huì)不到審查帶來(lái)的效益和效果，不利于全員參與代碼審查—工作指南審查作為項(xiàng)目計(jì)劃的一部分考慮，分配資源和時(shí)間為每個(gè)要審查的工作產(chǎn)品建立一個(gè)檢查表限制參與人數(shù)，3–5名成員最佳制定議程，并且遵守議程審查會(huì)的時(shí)間不要超過(guò)兩個(gè)小時(shí)以建設(shè)性的方式討論問(wèn)題，不要針對(duì)被審查產(chǎn)品的設(shè)計(jì)者代碼類(lèi)—代碼審查工作指南將注意力集中在驗(yàn)證和確認(rèn)參與者提出的意見(jiàn)，避免探討解決方案限制爭(zhēng)論和辯駁，對(duì)提出的問(wèn)題有不同意見(jiàn)時(shí)，通過(guò)記下問(wèn)題并另行專(zhuān)題討論來(lái)結(jié)束爭(zhēng)論將討論的意見(jiàn)及其驗(yàn)證和確認(rèn)的結(jié)果形成文檔建立跟蹤機(jī)制，確保返工活動(dòng)具有滿意的性能代碼走查—內(nèi)容與方法主要測(cè)試內(nèi)容代碼執(zhí)行邏輯的正確性代碼數(shù)據(jù)操作的正確性代碼的健壯性方法人工執(zhí)行測(cè)試用例采用會(huì)議形式，關(guān)鍵在于用例執(zhí)行過(guò)程中的討論靜態(tài)分析—內(nèi)容與方法主要測(cè)試內(nèi)容控制流分析數(shù)據(jù)流分析接口分析表達(dá)式分析質(zhì)量度量最差情況分析方法自動(dòng)測(cè)試工具輔助靜態(tài)分析—復(fù)雜性度量使用McCabe復(fù)雜度度量作為指標(biāo)對(duì)循環(huán)嵌套進(jìn)行計(jì)算對(duì)控制流圖進(jìn)行直觀檢查對(duì)數(shù)據(jù)流圖進(jìn)行直觀檢查靜態(tài)分析—關(guān)注點(diǎn)未定義但被引用的變量必須從代碼中消除全局變量異常(局部覆蓋全局)必須從代碼中消除消除不使用的內(nèi)容不可達(dá)的代碼(包括過(guò)程)聲明但未使用的變量定義的變量但未在作用域中使用應(yīng)在代碼中文檔化說(shuō)明靜態(tài)分析—關(guān)注點(diǎn)變量定義后未使用又被重新定義應(yīng)在代碼中文檔化說(shuō)明可疑的拋投(信息丟失,不匹配)如果不可避免,使用顯示拋投應(yīng)在代碼中文檔化說(shuō)明設(shè)計(jì)架構(gòu)問(wèn)題對(duì)控制流圖進(jìn)行直觀檢查過(guò)程參數(shù)異常(僅引用,僅定義,未使用)靜態(tài)分析—關(guān)注點(diǎn)被零除范圍檢查錯(cuò)棧溢出錯(cuò)堆溢出錯(cuò)無(wú)效指針操作浮點(diǎn)上溢出浮點(diǎn)下溢出無(wú)效浮點(diǎn)運(yùn)算對(duì)象未初始化邏輯覆蓋測(cè)試—覆蓋要求語(yǔ)句覆蓋分支覆蓋條件覆蓋條件分支覆蓋修正條件分支覆蓋(MC/DC)條件組合覆蓋基本路徑覆蓋邏輯覆蓋測(cè)試—控制流圖一個(gè)段是一個(gè)或多個(gè)無(wú)條件連續(xù)執(zhí)行的語(yǔ)句一個(gè)段在控制流圖中用一個(gè)結(jié)點(diǎn)表示，結(jié)點(diǎn)可以用任何方便的形式命名一個(gè)控制條件轉(zhuǎn)移是一個(gè)分支，一個(gè)分支段在控制流圖中用一個(gè)輸出邊表示一個(gè)程序的入口點(diǎn)用入口結(jié)點(diǎn)表示，它是一個(gè)沒(méi)有輸入邊的結(jié)點(diǎn)，一個(gè)程序的出口點(diǎn)用出口結(jié)點(diǎn)表示，它是一個(gè)沒(méi)有輸出邊的結(jié)點(diǎn)邏輯覆蓋測(cè)試—程序?qū)嵗齰oidDoWork(intx,inty,intz){intk=0,j=0;if((x>3)&&(z<10)){k=x*y-1;j=sqrt(k);}if((x==4)||(y>5)){j=x*y+10;}j=j%3;}邏輯覆蓋測(cè)試—控制流圖例A:1,2,3B:4C:5,6,7,8D:9E:10,11,12F:13,14ABDFEC邏輯覆蓋測(cè)試—復(fù)雜度度量圈復(fù)雜度V(G)計(jì)算1V(G)=e–n+2e表示控制流圖中邊的數(shù)量，n表示控制流圖中節(jié)點(diǎn)的數(shù)量計(jì)算2V(G)=區(qū)域數(shù)計(jì)算3V(G)=判定節(jié)點(diǎn)數(shù)+1邏輯覆蓋測(cè)試—語(yǔ)句覆蓋程序中每條語(yǔ)句至少被執(zhí)行一次C1覆蓋、行覆蓋、段覆蓋、基本塊覆蓋語(yǔ)句覆蓋的盲點(diǎn)(循環(huán);條件)語(yǔ)句覆蓋是最起碼的測(cè)試要求邏輯覆蓋測(cè)試—語(yǔ)句覆蓋用例{x=4、y=5、z=5}執(zhí)行路徑ABCDEFABDFEC判定1：(x>3)&&(z<10)判定2：(x==4)||(y>5)邏輯覆蓋測(cè)試—分支覆蓋程序中的每一個(gè)分支至少通過(guò)一次C2覆蓋、決策覆蓋、判定覆蓋分支覆蓋的盲點(diǎn)短路估值使分支覆蓋不必考慮所有條件分支覆蓋不能保證所有入口－出口路徑都被執(zhí)行邏輯覆蓋測(cè)試—分支覆蓋用例{x=4、y=6、z=5}{x=2、y=5、z=5}執(zhí)行路徑ABCDEFABDFABDFEC12判定1：(x>3)&&(z<10)判定2：(x==4)||(y>5)邏輯覆蓋測(cè)試—條件覆蓋判定中的每個(gè)條件獲得各種可能的結(jié)果不要求測(cè)試所有可能的分支邏輯覆蓋測(cè)試—條件覆蓋用例{x=4、y=6、z=15}{x=2、y=5、z=5}執(zhí)行路徑ABDEFABDF12ABDFEC判定1：(x>3)&&(z<10)判定2：(x==4)||(y>5)邏輯覆蓋測(cè)試—條件分支覆蓋判定中每個(gè)條件的所有可能取值至少執(zhí)行一次同時(shí)每個(gè)判定的所有可能判定結(jié)果至少執(zhí)行一次邏輯覆蓋測(cè)試—條件分支覆蓋用例{x=4、y=6、z=5}{x=2、y=5、z=15}執(zhí)行路徑ABCDEFABDF判定1：(x>3)&&(z<10)判定2：(x==4)||(y>5)12ABDFEC邏輯覆蓋測(cè)試—MC/DC修正條件分支覆蓋(MC/DC)程序里的每一個(gè)判定都至少取所有可能的輸出一次程序中判定的每一個(gè)條件都取所有可能的輸出至少一次判定中的每一個(gè)條件都被證明可以獨(dú)立影響判定的輸出邏輯覆蓋測(cè)試—MC/DC用例編號(hào)條件(與)判定1x>3z<1011TTT12TFF13FTF用例編號(hào)條件(或)判定2x==4y>521TFT22FTT23FFF邏輯覆蓋測(cè)試—MC/DC用例{x=4、y=5、z=5}11,

21{x=2、y=5、z=9}13,

23{x=6、y=6、z=15}12,

22執(zhí)行路徑ABCDEFABDFABDEF12ABDFEC3邏輯覆蓋測(cè)試—條件組合覆蓋每個(gè)判定中條件的各種組合至少出現(xiàn)一次達(dá)到了條件組合覆蓋，所有的語(yǔ)句、分支和條件都將覆蓋，但不保證路徑覆蓋在實(shí)際測(cè)試中，由于謂詞表達(dá)式的短路估值和排它性條件使得達(dá)到所有條件組合不可能邏輯覆蓋測(cè)試—條件組合覆蓋用例{x=4、y=6、z=5}{x=4、y=5、z=15}{x=2、y=6、z=5}{x=2、y=5、z=15}執(zhí)行路徑ABCDEFABDEFABDEFABDFABDFEC1423判定1：(x>3)&&(z<10)判定2：(x==4)||(y>5)邏輯覆蓋測(cè)試—基本路徑覆蓋基本路徑數(shù)=圈復(fù)雜度(C)基本路徑覆蓋要求測(cè)試C條不同的入口－出口路徑在某些程序中，分支覆蓋可在少于C條路徑的情況下獲得基本路徑覆蓋可能既沒(méi)有獲得語(yǔ)句覆蓋也沒(méi)有獲得分支覆蓋邏輯覆蓋測(cè)試—基本路徑覆蓋圈復(fù)雜度C=7-6+2=3用例{x=4、y=6、z=5}{x=4、y=5、z=15}{x=2、y=5、z=15}執(zhí)行路徑ABCDEFABDEFABDFABDFEC132邏輯覆蓋測(cè)試—覆蓋分析器覆蓋分析器是分析測(cè)試覆蓋率的工具覆蓋分析器工作原理通過(guò)對(duì)源代碼的詞法分析，插入可跟蹤代碼，再編譯連接；當(dāng)裝配過(guò)可跟蹤代碼的軟件執(zhí)行時(shí)，就會(huì)產(chǎn)生一個(gè)跟蹤文件；測(cè)試完成后，利用跟蹤文件生成覆蓋報(bào)告。邏輯覆蓋測(cè)試—覆蓋率的作用發(fā)現(xiàn)不可執(zhí)行的路徑或條件不可能到達(dá)或冗余的代碼不充分的測(cè)試用例集邏輯覆蓋測(cè)試—覆蓋與缺陷查找覆蓋與發(fā)現(xiàn)缺陷之間沒(méi)有必然聯(lián)系達(dá)到85%容易,達(dá)到100%困難不可到達(dá)的代碼(控制流無(wú)法到達(dá))復(fù)雜序列(很難使控制流到達(dá))數(shù)據(jù)流覆蓋測(cè)試通過(guò)一定的覆蓋準(zhǔn)則檢查程序中每個(gè)數(shù)據(jù)對(duì)象的每次定義、使用和消除數(shù)據(jù)流模型(DUK)數(shù)據(jù)流覆蓋策略變?cè)獪y(cè)試測(cè)試覆蓋被測(cè)實(shí)現(xiàn)的指定的變體，如測(cè)試探測(cè)到變?cè)?，則變體“退役”，如測(cè)試探測(cè)不到變?cè)?，則修正測(cè)試包變?cè)侵笧槌绦蛑踩胄〉淖兓话闶浅３霈F(xiàn)的錯(cuò)誤，如將>=改寫(xiě)成>用于檢查系統(tǒng)的容錯(cuò)能力和測(cè)試套件的充分性規(guī)格說(shuō)明類(lèi)測(cè)試功能測(cè)試性能測(cè)試接口測(cè)試人機(jī)交互界面測(cè)試功能測(cè)試詳盡測(cè)試每一個(gè)軟件功能功能——產(chǎn)品能夠完成的任務(wù)，如：特征/命令/任務(wù)標(biāo)識(shí)等組合功能的測(cè)試測(cè)試基本流(最簡(jiǎn)單執(zhí)行路徑)測(cè)試備選流(特定條件下的執(zhí)行路徑)功能測(cè)試—要求檢驗(yàn)功能的完備性檢驗(yàn)功能的正確性需要滿足精度等要求測(cè)試功能的健壯性功能測(cè)試—用例設(shè)計(jì)方法單項(xiàng)功能邊界值分析等價(jià)類(lèi)劃分組合邏輯分析組合功能場(chǎng)景測(cè)試(Scenariotesting)狀態(tài)轉(zhuǎn)換性能測(cè)試性能測(cè)試是對(duì)軟件需求規(guī)格說(shuō)明或設(shè)計(jì)文檔中的性能需求逐項(xiàng)進(jìn)行的測(cè)試，以驗(yàn)證其性能是否滿足規(guī)定的指標(biāo)要求性能測(cè)試有時(shí)可理解為有定量指標(biāo)要求的一些功能，其基礎(chǔ)是功能滿足要求，所以通常在功能測(cè)試的基礎(chǔ)上再做性能測(cè)試性能測(cè)試—性能系統(tǒng)或組件對(duì)于其及時(shí)性和資源利用性目標(biāo)的符合程度良好的性能需求定義有前提條件性能測(cè)試—及時(shí)性在規(guī)定條件下，軟件產(chǎn)品執(zhí)行其功能時(shí)，提供適當(dāng)?shù)捻憫?yīng)和處理時(shí)間以及吞吐率的能力響應(yīng)時(shí)間系統(tǒng)對(duì)事件產(chǎn)生響應(yīng)所需要的時(shí)間吞吐量特定時(shí)間內(nèi)能夠處理的事件數(shù)量性能測(cè)試—時(shí)間限制類(lèi)型實(shí)時(shí)嵌入式系統(tǒng)的時(shí)間限制類(lèi)型最大時(shí)間:一個(gè)事件和另一個(gè)事件發(fā)生的時(shí)間間隔最大不超過(guò)t個(gè)單位時(shí)間最小時(shí)間:兩個(gè)事件之間發(fā)生的時(shí)間間隔最小不小于t個(gè)單位時(shí)間持續(xù)時(shí)間:一種狀態(tài)必須存在t個(gè)單位時(shí)間性能測(cè)試—資源利用率在規(guī)定條件下，軟件產(chǎn)品執(zhí)行其功能時(shí)，使用合適數(shù)量和類(lèi)別的資源的能力主要包括內(nèi)存使用CPU負(fù)載數(shù)據(jù)庫(kù)連接數(shù)接口飽和度磁盤(pán)利用率性能測(cè)試—性能約束需要弄清影響性能指標(biāo)要求的全部潛在因素的約束條件考慮系統(tǒng)能力(硬件、支撐軟件)網(wǎng)絡(luò)負(fù)載情況，典型/峰值的并發(fā)需訪問(wèn)的數(shù)據(jù)庫(kù)，類(lèi)型、數(shù)量、結(jié)構(gòu)、布局，數(shù)據(jù)庫(kù)中的數(shù)據(jù)量網(wǎng)絡(luò)的結(jié)構(gòu)，帶寬性能測(cè)試—合格判據(jù)實(shí)時(shí)系統(tǒng)往往考慮最差情況強(qiáng)實(shí)時(shí)系統(tǒng)的一次性能不滿足要求,往往就是功能失效非實(shí)時(shí)系統(tǒng)通?？紤]平均情況性能測(cè)試—方法從軟件性能需求中獲得性能測(cè)試需求確定需測(cè)試的性能指標(biāo)確定關(guān)鍵用例、關(guān)鍵場(chǎng)景最重要、最耗時(shí)、最頻繁等確定影響被測(cè)性能指標(biāo)的負(fù)載規(guī)模準(zhǔn)備測(cè)試環(huán)境執(zhí)行測(cè)試用例，記錄測(cè)試結(jié)果分析、計(jì)算結(jié)果判定性能測(cè)試—性能數(shù)據(jù)采集方法系統(tǒng)監(jiān)視器程序監(jiān)視器系統(tǒng)事件記錄器外部程序事件記錄器內(nèi)部事件記錄器性能測(cè)試—環(huán)境時(shí)間測(cè)量外部觀察，適用于精度要求不高時(shí)，如使用秒表計(jì)時(shí)插樁探測(cè)，使用數(shù)字示波器，或機(jī)器時(shí)鐘，關(guān)鍵在于測(cè)量分辨率測(cè)量資源利用率系統(tǒng)自帶測(cè)量工具專(zhuān)門(mén)設(shè)計(jì)的方法性能測(cè)試—執(zhí)行考慮盡可能多的情況，反復(fù)測(cè)試，如實(shí)記錄每次測(cè)試結(jié)果在測(cè)試記錄中要記清相應(yīng)的測(cè)試環(huán)境，尤其是關(guān)鍵影響因素，以便做出正確判斷在得到一系列數(shù)據(jù)后再作判斷實(shí)時(shí)系統(tǒng)通常根據(jù)最差情況判斷非實(shí)時(shí)系統(tǒng)通常根據(jù)數(shù)據(jù)分布判斷性能測(cè)試—最差運(yùn)行時(shí)間(WCET)獲取最差運(yùn)行時(shí)間(WCET)的常用手段動(dòng)態(tài)測(cè)量技術(shù)軟件動(dòng)態(tài)運(yùn)行獲取測(cè)試所有情況比較困難需要專(zhuān)門(mén)的測(cè)量?jī)x器和設(shè)備靜態(tài)分析技術(shù)分析目標(biāo)代碼結(jié)果精確接口測(cè)試從系統(tǒng)和子系統(tǒng)設(shè)計(jì)規(guī)格說(shuō)明、軟件接口需求規(guī)格說(shuō)明中獲得接口測(cè)試需求測(cè)試所有外部接口，檢查接口信息的格式及內(nèi)容，考核異常情況的管理測(cè)試所有內(nèi)部接口的功能和性能接口測(cè)試—主要接口類(lèi)型參數(shù)接口數(shù)據(jù)通過(guò)參數(shù)從一個(gè)過(guò)程傳遞到另一個(gè)過(guò)程共享存儲(chǔ)器接口在過(guò)程或函數(shù)之間共享存儲(chǔ)器API接口一系列的過(guò)程被封裝成子系統(tǒng),供另一個(gè)子系統(tǒng)調(diào)用消息接口一個(gè)子系統(tǒng)向其它子系統(tǒng)請(qǐng)求服務(wù)接口測(cè)試—主要接口錯(cuò)誤類(lèi)型接口誤用一個(gè)組件調(diào)用另一個(gè)組件時(shí)，在使用其接口時(shí)產(chǎn)生了錯(cuò)誤接口誤解在調(diào)用組件中嵌入了對(duì)被調(diào)用組件行為的不正確假設(shè)同步誤差調(diào)用和被調(diào)用的組件以不同的速度運(yùn)行，訪問(wèn)到過(guò)時(shí)的信息接口測(cè)試—通信協(xié)議測(cè)試嵌入式系統(tǒng)的通信協(xié)議種類(lèi)很多標(biāo)準(zhǔn)協(xié)議私有協(xié)議接口驅(qū)動(dòng)程序采用非貨架產(chǎn)品時(shí)，需要測(cè)試非應(yīng)用層協(xié)議的實(shí)現(xiàn)正確性測(cè)試健壯性測(cè)試需要接口測(cè)試設(shè)備接口測(cè)試—指南設(shè)計(jì)超出被調(diào)用組件參數(shù)范圍的測(cè)試對(duì)于指針參數(shù)，一定要測(cè)試空指針設(shè)計(jì)可導(dǎo)致組件失效的測(cè)試在消息傳遞系統(tǒng)中，使用強(qiáng)度測(cè)試在共享存儲(chǔ)器系統(tǒng)中,改變組件活動(dòng)的次序人機(jī)交互界面測(cè)試操作和顯示界面及界面風(fēng)格與需求規(guī)格說(shuō)明中要求的一致性和符合性(正確性、有效性)以非常規(guī)操作、誤操作、快速操作來(lái)檢驗(yàn)人機(jī)界面的可靠性對(duì)錯(cuò)誤命令或非法數(shù)據(jù)輸入的檢測(cè)能力與提示情況(健壯性)對(duì)錯(cuò)誤操作流程的檢測(cè)與提示對(duì)照用戶或操作手冊(cè)逐條進(jìn)行操作和觀察質(zhì)量特性類(lèi)測(cè)試類(lèi)型容量測(cè)試余量測(cè)試強(qiáng)度測(cè)試安全性測(cè)試信息安全測(cè)試可靠性測(cè)試容量測(cè)試容量測(cè)試的目的是檢驗(yàn)軟件的能力最高能達(dá)到什么程度，確定系統(tǒng)的可伸縮性，從容量規(guī)劃的角度確定軟件的使用等級(jí)限制可伸縮性是系統(tǒng)在對(duì)其功能要求增加的情況下，繼續(xù)實(shí)現(xiàn)響應(yīng)時(shí)間或吞吐量目標(biāo)的能力有時(shí)系統(tǒng)容量作為系統(tǒng)指標(biāo)，有時(shí)系統(tǒng)的實(shí)際容量需要測(cè)試才能得到容量測(cè)試—用例設(shè)計(jì)確定進(jìn)行容量測(cè)試的性能指標(biāo)或指標(biāo)的成分確定影響指標(biāo)行為的因素，給出這些影響因素在“正常”情況下的典型要求確定性能負(fù)載增加的增量值確定到達(dá)不正常后，尋找臨界值(容量點(diǎn))的方法，如二分法容量測(cè)試—執(zhí)行測(cè)試前做好分析，確定容量測(cè)試不會(huì)造成系統(tǒng)損傷測(cè)試執(zhí)行時(shí)，通過(guò)向系統(tǒng)逐步施加不斷增大的性能負(fù)載，確定系統(tǒng)能否可靠地適應(yīng)性能負(fù)載的增加記錄每次性能負(fù)載增加的測(cè)試結(jié)果仔細(xì)觀察系統(tǒng)的響應(yīng)結(jié)果，與“正常情況”進(jìn)行對(duì)比根據(jù)測(cè)試結(jié)果，綜合分析，確定系統(tǒng)能可靠處理的最大性能負(fù)載，評(píng)估系統(tǒng)的可伸縮性余量測(cè)試余量測(cè)試是對(duì)軟件是否達(dá)到需求規(guī)格說(shuō)明中要求的余量的測(cè)試余量測(cè)試時(shí)，需要獲得測(cè)試量的最大值，剩下的是余量。用什么辦法能說(shuō)明獲得的測(cè)試量是最大值是關(guān)鍵例如時(shí)間片規(guī)定是50ms，規(guī)定要求余量是30％，需要說(shuō)明測(cè)試中考慮了消耗時(shí)間最長(zhǎng)情況，其結(jié)果也在35ms以內(nèi)余量測(cè)試—?jiǎng)右蚯度胧杰浖３Ｍㄟ^(guò)裕度設(shè)計(jì)提高系統(tǒng)的可靠性在實(shí)際應(yīng)用中，由于某些預(yù)料不到的情況的發(fā)生，系統(tǒng)會(huì)在某些時(shí)刻以某種方式膨脹，如：處理時(shí)間變長(zhǎng)，數(shù)據(jù)從正常區(qū)域波動(dòng)到非正常區(qū)域等，設(shè)計(jì)留有余量將可以容納這些意外波動(dòng)，維持系統(tǒng)正常運(yùn)行規(guī)格說(shuō)明中無(wú)明確要求時(shí)，一般至少留有20%的余量余量測(cè)試—目標(biāo)存儲(chǔ)器使用輸入/輸出通道使用處理時(shí)間吞吐量注意：不是所有的性能要求都需要余量測(cè)試強(qiáng)度測(cè)試強(qiáng)制軟件運(yùn)行在不正常到發(fā)生故障的情況下(設(shè)計(jì)的極限狀態(tài)到超出極限)，檢驗(yàn)軟件可以運(yùn)行到何種程度需要弄清被測(cè)對(duì)象什么叫不正常，什么叫發(fā)生故障，它們表現(xiàn)形式是什么通常基于單因素假設(shè)，選取不同因素反復(fù)測(cè)試和試驗(yàn)發(fā)現(xiàn)軟件的性能瓶頸，提供優(yōu)化方案強(qiáng)度測(cè)試—相關(guān)思考找出臨界點(diǎn)是關(guān)鍵測(cè)試過(guò)程中負(fù)載逐步增加，反復(fù)測(cè)試找到一個(gè)最低的導(dǎo)致故障的點(diǎn)也存在達(dá)不到故障點(diǎn)的情況關(guān)于連續(xù)運(yùn)行時(shí)間強(qiáng)度需要連續(xù)不中斷的運(yùn)行，應(yīng)該構(gòu)造一個(gè)較大的測(cè)試用例庫(kù)作為支撐，測(cè)試用例庫(kù)的測(cè)試用例重復(fù)周期要超過(guò)指定的時(shí)間長(zhǎng)度最好能實(shí)現(xiàn)自動(dòng)測(cè)試強(qiáng)度測(cè)試—與其它測(cè)試的關(guān)系正常運(yùn)行不正常但可運(yùn)行性能測(cè)試故障容量測(cè)試強(qiáng)度測(cè)試正常運(yùn)行設(shè)計(jì)規(guī)范余量測(cè)試工作極限破壞極限正常工作區(qū)設(shè)計(jì)裕度過(guò)應(yīng)力安全性測(cè)試對(duì)防止危險(xiǎn)狀態(tài)措施的有效性和每個(gè)危險(xiǎn)狀態(tài)下的反應(yīng)的測(cè)試對(duì)設(shè)計(jì)中用于提高安全性的結(jié)構(gòu)、算法、容錯(cuò)、冗余、中斷處理等方案的測(cè)試對(duì)異常條件下系統(tǒng)/軟件的處理和保護(hù)能力的測(cè)試，以表明不會(huì)導(dǎo)致不安全狀態(tài)對(duì)雙工切換、多機(jī)替換的正確性和連續(xù)性的測(cè)試安全性測(cè)試—要點(diǎn)應(yīng)明確系統(tǒng)的安全狀態(tài)以及對(duì)軟件處理的要求安全性測(cè)試重點(diǎn)關(guān)注安全相關(guān)的功能，因此需求的分類(lèi)管理很重要進(jìn)行安全性測(cè)試時(shí)，應(yīng)對(duì)測(cè)試的后果預(yù)先進(jìn)行評(píng)估，防止測(cè)試導(dǎo)致?lián)p失，在真實(shí)環(huán)境下測(cè)試前應(yīng)在仿真環(huán)境下預(yù)先驗(yàn)證安全性測(cè)試應(yīng)關(guān)注系統(tǒng)各級(jí)別上安全機(jī)制的協(xié)調(diào)性和合理性信息安全測(cè)試對(duì)具有防止非法進(jìn)入軟件并保護(hù)軟件的數(shù)據(jù)完整性能力的測(cè)試對(duì)重要數(shù)據(jù)的抗非法訪問(wèn)能力的測(cè)試防止數(shù)據(jù)完整性被破壞能力的測(cè)試防止系統(tǒng)可用性遭受破壞能力的測(cè)試邏輯炸彈等惡意邏輯和功能檢測(cè)信息安全測(cè)試—焦點(diǎn)嵌入式系統(tǒng)關(guān)注的信息安全特征A(可用性)-I(完整性)-C(機(jī)密性)，控制的可用性和完整性最重要，數(shù)據(jù)平均信息量較低，機(jī)密性要求不高許多控制系統(tǒng)提供0.999999的可用性，安全不能降低可用性!信息安全測(cè)試—安全功能驗(yàn)證身份識(shí)別與驗(yàn)證系統(tǒng)對(duì)用戶身份進(jìn)行鑒別權(quán)限管理通過(guò)鑒別的用戶的特權(quán)和訪問(wèn)許可完整性避免數(shù)據(jù)訛誤保密性維持?jǐn)?shù)據(jù)