測(cè)試流程圖軟件中的難題1.開(kāi)發(fā)的不是客戶需要的2.計(jì)劃趕不上變化，進(jìn)度無(wú)法按期完成3.挖坑還是開(kāi)渠？永遠(yuǎn)的資源不足4.不能正確實(shí)現(xiàn)功能5.如何維護(hù)大量的已有軟件？軟件與硬件的區(qū)別軟件硬件易變確定，需求和產(chǎn)物非組件化組件化，由構(gòu)建組成隨時(shí)間而消退隨時(shí)間而磨損成本在研發(fā)上，copy過(guò)程幾乎沒(méi)有成本生產(chǎn)工程成本高軟件工程1.軟件工程是為創(chuàng)造高質(zhì)量軟件提供的一個(gè)框架2.將系統(tǒng)化，規(guī)范化，可度量的方法應(yīng)用于軟件的開(kāi)發(fā)，運(yùn)行和維護(hù)，即將工程化應(yīng)用于軟件中3.包括過(guò)程，方法和工具三個(gè)層面4.過(guò)程，方法和人對(duì)質(zhì)量的影響過(guò)程1.過(guò)程是項(xiàng)目管理的基礎(chǔ)2.定義關(guān)鍵過(guò)程區(qū)域框架3.CMM中的KPA方法1.技術(shù)上需要如何做？2.方法涵蓋一系列的任務(wù)：需求，設(shè)計(jì)，編碼，測(cè)試，維護(hù)工具1.為工程，方法提供自動(dòng)，半自動(dòng)化的支持2.組建起來(lái)被另外一個(gè)工具使用3.組成軟件工程環(huán)境過(guò)程篇—關(guān)于CMMCMM（CapabilityMaturityModel）能力成熟度模型用于軟件開(kāi)發(fā)過(guò)程和開(kāi)發(fā)能力的改進(jìn)與評(píng)估的模型對(duì)軟件工程的全過(guò)程進(jìn)行考察和評(píng)估不告訴你怎么做，但告訴你不用成熟度應(yīng)該關(guān)注的關(guān)鍵過(guò)程何為CMM/CMMICMMI，目標(biāo)：第一個(gè)是質(zhì)量，第二個(gè)是時(shí)間表，第三就是要用最低的成本。

與原有的能力成熟度模型CMM相比，CMMI涉及面更廣，專業(yè)領(lǐng)域覆蓋軟件工程、系統(tǒng)工程、集成產(chǎn)品開(kāi)發(fā)和系統(tǒng)采購(gòu)CMMI即CMM集成，是系統(tǒng)工程和軟件工程的集成成熟度模型，CMMI更適合于信息系統(tǒng)集成企業(yè)。CMMI是在CMM基礎(chǔ)上發(fā)展起來(lái)的，它繼承并發(fā)揚(yáng)了CMM的優(yōu)良特性，借鑒了其他模型的優(yōu)點(diǎn)，融入了新的理論和實(shí)際研究成果。它不僅能夠應(yīng)用在軟件工程領(lǐng)域，而且可以用于系統(tǒng)工程及其他工程領(lǐng)域。

CMMI階段模型5.優(yōu)化級(jí)：持續(xù)過(guò)程改進(jìn)，組織性快速重新配置4.量化管理級(jí)：過(guò)程和產(chǎn)品被量化度量并控制，組織性能提升3.已定義級(jí)：組織內(nèi)項(xiàng)目改進(jìn)和執(zhí)行2.已管理級(jí)：能重復(fù)以前的成功，有紀(jì)律性1.初始級(jí)：過(guò)程能力不可預(yù)測(cè)，無(wú)秩序

Level1在級(jí)別1：過(guò)程是隨機(jī)，混亂和無(wú)序的。這種通常沒(méi)有一個(gè)穩(wěn)定的環(huán)境，它的成功依賴于組織中個(gè)人的能力和英雄主意，而不是依賴使用經(jīng)過(guò)驗(yàn)證的過(guò)程。盡管這種混亂，無(wú)序的環(huán)境，對(duì)成熟度1的組織也經(jīng)常能制造出能工作的產(chǎn)品和服務(wù)，但是，他們的項(xiàng)目經(jīng)常是超成本和進(jìn)度的。它們有過(guò)度承諾的趨勢(shì)，在危機(jī)時(shí)放棄過(guò)程，不能重復(fù)他們過(guò)去的成功。Level21.組織中的項(xiàng)目確保需求得到管理，過(guò)程已經(jīng)計(jì)劃，執(zhí)行，度量和控制。2.即使在時(shí)間壓力下，依然能夠保留現(xiàn)有的實(shí)踐。3.管理層在某些已定義點(diǎn)上對(duì)工作產(chǎn)品的狀態(tài)和提交的服務(wù)具有可視性。4.在干系人（風(fēng)險(xiǎn)承擔(dān)者）之間建立了承諾，在必要的時(shí)候進(jìn)行修正。Level3工程得到很好地表現(xiàn)和理解，被描述成標(biāo)準(zhǔn)，規(guī)程，關(guān)鍵和方法。作為3級(jí)基礎(chǔ)的組織標(biāo)準(zhǔn)過(guò)程集已經(jīng)簡(jiǎn)歷和不斷改進(jìn)。2，3級(jí)的區(qū)別在于標(biāo)準(zhǔn)，過(guò)程和規(guī)程的范圍3級(jí)比2級(jí)的描述更具體和更嚴(yán)格Level4使用統(tǒng)計(jì)和量化技術(shù)進(jìn)行控制建立了質(zhì)量和過(guò)程性能的量化目標(biāo)，作為過(guò)程管理的準(zhǔn)則收集了過(guò)程性能的詳細(xì)度量，進(jìn)行統(tǒng)計(jì)分析質(zhì)量和過(guò)程性能度量數(shù)據(jù)組成組織的度量庫(kù)，來(lái)支持將來(lái)的基于事實(shí)的決策3，4級(jí)的區(qū)別在于過(guò)程性能的可預(yù)測(cè)性。Level5基于對(duì)過(guò)程中的固有偏差的一般原因的定量理解，持續(xù)的進(jìn)行過(guò)程改進(jìn)通過(guò)漸進(jìn)的和革新的技術(shù)改進(jìn)，集中在持續(xù)地過(guò)程性能改進(jìn)上指出過(guò)程偏差的一般原因和可測(cè)地改進(jìn)組織過(guò)程的過(guò)程改進(jìn)得到識(shí)別，評(píng)估和實(shí)施敏捷和創(chuàng)新的過(guò)程優(yōu)化依賴于授權(quán)員工的參與，他們與業(yè)務(wù)價(jià)值和組織目標(biāo)保持一致Level2CMM2：可重復(fù)性KPA：軟件配置管理軟件質(zhì)量保證子合同管理Level2軟件項(xiàng)目跟蹤和監(jiān)控軟件項(xiàng)目計(jì)劃需求管理配置管理1.定義并文檔化配置項(xiàng)的功能和物理屬性2.控制這些屬性的變更3.記錄和報(bào)告變更處理結(jié)果和實(shí)施狀態(tài)4.遵從制定的需求進(jìn)行驗(yàn)證同行評(píng)審為什么進(jìn)行評(píng)審？.促進(jìn)文檔化，提升可讀性，易理解性等.查找錯(cuò)誤，收集建議.擴(kuò)散知識(shí)，產(chǎn)生后備力量評(píng)審什么？.項(xiàng)目中的一系列計(jì)劃.項(xiàng)目各階段的輸出：文檔，代碼等誰(shuí)來(lái)評(píng)審？項(xiàng)目組成員，PPQA，上級(jí)領(lǐng)導(dǎo)，客戶等同行評(píng)審.評(píng)審的輸入--待評(píng)審的文檔，代碼--《XXX評(píng)審檢查表》.評(píng)審的輸出--《評(píng)審報(bào)告》--《評(píng)審過(guò)程檢查表》正確看待文檔.文檔是所有事情能夠繼承的保證.如果認(rèn)為不必要，多一分也是多，如果認(rèn)為必要，多少都不夠.文檔是一個(gè)人水平高低的體現(xiàn).需要提高每個(gè)人的寫作能力，練好內(nèi)功軟件開(kāi)發(fā)模型—瀑布型1.需求2.設(shè)計(jì)3.代碼4.測(cè)試5.運(yùn)行/維護(hù)軟件開(kāi)發(fā)模型—原型1.用戶需求不明確是采用2.快速設(shè)計(jì)，快速開(kāi)發(fā)3.迭代的過(guò)程4.與用戶一起明確需求5.最終會(huì)被拋棄軟件開(kāi)發(fā)模型—演化模型.線性迭代.每個(gè)線性過(guò)程產(chǎn)生一個(gè)版本.分階段提供給用戶敏捷式開(kāi)發(fā)1.是一種以人為核心、迭代、循序漸進(jìn)的開(kāi)發(fā)方法。2.在敏捷開(kāi)發(fā)中，軟件項(xiàng)目的構(gòu)建被切分成多個(gè)子項(xiàng)目，各個(gè)子項(xiàng)目的成果都經(jīng)過(guò)測(cè)試，具備集成和可運(yùn)行的特征。決定軟件質(zhì)量的因素1.過(guò)程2.方法3.工具4.人測(cè)試目的在產(chǎn)品投入使用前，通過(guò)綜合的智力活動(dòng)，發(fā)現(xiàn)程序中的顯性和隱形的錯(cuò)誤和缺陷?？刂瓢l(fā)布產(chǎn)品的質(zhì)量，提升客戶滿意度測(cè)試目的測(cè)試的目的是發(fā)現(xiàn)和確認(rèn)系統(tǒng)有問(wèn)題，而不是驗(yàn)證系統(tǒng)沒(méi)有問(wèn)題確認(rèn)軟件生命周期中的各個(gè)階段的產(chǎn)品是否正確確認(rèn)最終交付的產(chǎn)品是否符合用戶需求使用測(cè)試數(shù)據(jù)檢驗(yàn)系統(tǒng)運(yùn)行的行為是否是按照預(yù)期目標(biāo)執(zhí)行的測(cè)試原則所有測(cè)試都應(yīng)該追溯到用戶需求應(yīng)該在測(cè)試工作真正開(kāi)始的較長(zhǎng)時(shí)間內(nèi)就進(jìn)行測(cè)試測(cè)試中發(fā)現(xiàn)的80%的問(wèn)題可能集中在模塊的20%中測(cè)試原則測(cè)試順序應(yīng)從簡(jiǎn)單到復(fù)雜，從模塊到集成，從白到黑窮舉測(cè)試是不可能的Bug不可避免常用的測(cè)試技術(shù)1.在產(chǎn)品成型前，對(duì)規(guī)約，設(shè)計(jì)，代碼進(jìn)行Review，確認(rèn)與需求是否一致---靜態(tài)測(cè)試2.了解產(chǎn)品內(nèi)部結(jié)構(gòu)，確認(rèn)內(nèi)部邏輯是否符合需求，且內(nèi)部構(gòu)件被充分利用---白盒測(cè)試3.如果了解特定的功能，在各種功能中尋找錯(cuò)誤—黑盒測(cè)試靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試1.靜態(tài)測(cè)試：指不用執(zhí)行程序的測(cè)試。主要采用Review，代碼走查，同級(jí)評(píng)審，checklist檢查單的方法對(duì)軟件產(chǎn)品進(jìn)行測(cè)試。2.動(dòng)態(tài)測(cè)試：通過(guò)執(zhí)行程序，找出產(chǎn)品問(wèn)題的測(cè)試過(guò)程。黑盒，白盒都是動(dòng)態(tài)測(cè)試。白盒測(cè)試白盒測(cè)試發(fā)現(xiàn)的錯(cuò)誤類型：1.語(yǔ)法錯(cuò)誤2.編譯錯(cuò)誤3.邏輯錯(cuò)誤4.判定條件問(wèn)題5.編程規(guī)范6.MemoryLeak7.PerformanceProblem白盒測(cè)試邏輯驅(qū)動(dòng)測(cè)試基本路徑測(cè)試邏輯驅(qū)動(dòng)測(cè)試邏輯驅(qū)動(dòng)測(cè)試：主要是測(cè)試覆蓋率，以程序內(nèi)在邏輯結(jié)構(gòu)為基礎(chǔ)的測(cè)試。包括以下6種類型：1.語(yǔ)句覆蓋2.判斷覆蓋3.條件覆蓋4.判定-條件覆蓋5.條件組合覆蓋6.路徑覆蓋邏輯驅(qū)動(dòng)測(cè)試主要是測(cè)試覆蓋率，以程序內(nèi)在邏輯結(jié)構(gòu)為基礎(chǔ)的測(cè)試。包括以下6種類型：1.語(yǔ)句覆蓋：語(yǔ)句覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行測(cè)試程序，使得每一條可執(zhí)行語(yǔ)句至少執(zhí)行一次2.判斷覆蓋：也叫分支覆蓋設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行測(cè)試程序，使得每個(gè)判斷的取真分支和取假分支至少執(zhí)行一次3.條件覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，運(yùn)行測(cè)試程序，使得每個(gè)判斷的每個(gè)條件的每個(gè)可能取值至少執(zhí)行一次4.判定-條件覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，運(yùn)行測(cè)試程序，使得每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次5.條件組合覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，運(yùn)行測(cè)試程序，使得程序中每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次6.路徑覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，運(yùn)行測(cè)試程序，要覆蓋程序中所有可能的路徑ForExampleVoidDoWork(intx,inty,intz){ intk=0,j=0; if((x>3)&&(z<10)) { k=x*y-1;//語(yǔ)句塊1 j=sqrt（k）;} if((x==4)||(y>5)) { j=x*y+10;//語(yǔ)句塊2 } j=j%3；//語(yǔ)句塊3}流程圖如下：語(yǔ)句覆蓋為了說(shuō)明簡(jiǎn)略，分別對(duì)各個(gè)判斷的取真，取假分支編號(hào)為b，c，d，e為了測(cè)試語(yǔ)句覆蓋率只要設(shè)計(jì)一個(gè)測(cè)試用例就可以把三個(gè)執(zhí)行語(yǔ)句塊中的語(yǔ)句覆蓋。測(cè)試用例輸入為：{x=4，y=5,z=5}程序執(zhí)行的路徑是：abd該測(cè)試用例雖然覆蓋了可執(zhí)行語(yǔ)句，但是并不能檢查判斷邏輯是否有問(wèn)題，例如在第一個(gè)判斷中把&&錯(cuò)誤的寫成||，上面的測(cè)試用例仍然可以覆蓋所有的執(zhí)行語(yǔ)句?？梢哉f(shuō)語(yǔ)句覆蓋率是最弱的邏輯覆蓋準(zhǔn)則判定覆蓋如果設(shè)計(jì)兩個(gè)測(cè)試用例則可以滿足分支覆蓋的要求：測(cè)試用例的輸入為：{x=4,y=5,z=5}{x=2,y=5,z=5}雖然可以滿足分支覆蓋的要求，但是也不能對(duì)判斷條件做完整的檢查條件覆蓋對(duì)于這個(gè)簡(jiǎn)單例子的所有條件取值加以標(biāo)記。如：對(duì)于第一個(gè)判斷：條件x>3,取真值為T1，取假值為-T1條件z<10,取真值為T2，取假值為-T2對(duì)于第二個(gè)判斷：條件x=4,取真值為T3，取假值為-T3條件y>5,取真值為T4，取假值為-T4設(shè)計(jì)測(cè)試用例如下：測(cè)試用例通過(guò)路徑條件取值覆蓋方式x=4,y=6,z=5abdT1,T2,T3,T4bdx=2,y=5,z=5ace-T1,T2,-T3,-T4cex=4,y=5,z=15acdT1,-T2,T3,-T4cd上面的測(cè)試用例不但覆蓋了所有分支的真假兩個(gè)分支，而且覆蓋了判斷中的所有條件的可能值測(cè)試用例如下：但是如果設(shè)計(jì)了下面的測(cè)試用例，則雖然滿足了條件覆蓋，但是只覆蓋了第一個(gè)條件的取假分支和第二個(gè)條件的取真分支，不滿足分支覆蓋的要求測(cè)試用例通過(guò)路徑條件取值覆蓋分支x=2,y=6,z=5acd-T1,T2,-T3,T4cdx=4,y=5,z=5acdT1,-T2,T3,-T4cd分支條件覆蓋根據(jù)定義只需要設(shè)計(jì)以下兩個(gè)測(cè)試用例便可以覆蓋8個(gè)條件值以及4個(gè)判斷分支測(cè)試用例通過(guò)路徑條件取值覆蓋分支x=4,y=6,z=5abdT1,T2,T3,T4bdx=2,y=5,z=11ace-T1,-T2,-T3,-T4ce分支條件覆蓋條件分支覆蓋從表面上看，它測(cè)試了所有條件的取值，但是實(shí)際上某些條件掩蓋了另外的一些條件，例如對(duì)于條件表達(dá)式（x>3）&&（z<10）來(lái)說(shuō)，必須兩個(gè)條件都滿足才能確定表達(dá)式為真。如果（x<3）為假，則一般的編譯器不再判斷是否（z<10了，對(duì)于第二個(gè)表達(dá)式（x==4）||（y>5）來(lái)說(shuō)，若x==4測(cè)試結(jié)果為真，就認(rèn)為表達(dá)式的結(jié)果為真，這是不在檢查（y>5）的條件了。因此，采用分支條件覆蓋，邏輯表達(dá)式的錯(cuò)誤不一定能夠查出來(lái)了。條件組合覆蓋設(shè)計(jì)足夠多的測(cè)試用例，運(yùn)行測(cè)試程序，使得程序中每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次?，F(xiàn)在對(duì)例子中的各個(gè)判斷的條件取值組合加以標(biāo)記如下：x>3,z<10記做T1，T2，第一個(gè)判斷的取真分支x>3,z>=10記做T1，-T2，第一個(gè)判斷的取假分支x<=3,z<0記做-T1，T2，第一個(gè)判斷的取假分支x<=3,z>=10記做-T1，-T2，第一個(gè)判斷的取假分支x=4,y>5記做T3，T4，第一個(gè)判斷的取真分支x=4,y<=5記做T3，-T4，第一個(gè)判斷的取真分支x!=4,y>5記做-T3，T4，第一個(gè)判斷的取真分支x!=4,y<=5記做-T3，-T4，第一個(gè)判斷的取假分支條件組合覆蓋測(cè)試用例通過(guò)路徑條件取值覆蓋組合號(hào)x=4,y=6,z=5abdT1,T2,T3,T41和5x=4,y=5,z=15acdT1,-T2,T3,-T42和6x=2,y=6,z=5acd-T1,T2,-T3,T43和7x=2,y=5,z=15ace-T1,-T2,-T3,-T44和8上面的測(cè)試用例覆蓋了所有條件的可能取值的組合，覆蓋了所有判斷的可取分支，但是卻丟失了一條路徑abe?；韭窂綔y(cè)試1.根據(jù)源代碼導(dǎo)出流程圖2.分析程序邏輯復(fù)雜度3.導(dǎo)出測(cè)試Case基本路徑測(cè)試舉例-PDL分析計(jì)算不超過(guò)100個(gè)數(shù)字的平均值，使用PDL語(yǔ)言INTEFACERETURNSaverage,total.input,total.valid;INTEFACERETURNSvalue,minimum,maxium,sum;TYPEvalue(1:100)ISSCALARARRAY;TYPEiISINTEGER;i=1;Total.input=total.valid=0;1Sum=0DOWHILEvalue（i）<>-9992andtotal.input<103;

incrementtotal.inputby1;4 IFvalue(i)>=minimum5andvalue(i)<=maximum6

THENincrementtotal.validby1; sum=sum+value(i);7 ELSEskip

ENDIF IncrementIby1;8

ENDDO9

IFtotal.valid>0;10

THENaverage=sum/total.valid;11

ELSEaverage=-999;12

ENDIF13 ENDaverage數(shù)據(jù)流分析

環(huán)形復(fù)雜度V（G）=判定節(jié)點(diǎn)+1=5+1基本測(cè)試路徑：1.1-2-10-11-131-2-10-12-131-2-3-10-11-131-2-3-4-5-8-9-2…1-2-3-4-5-6-8-9-2…1-2-3-4-5-6-7-8-9-2…基本路徑測(cè)試用例測(cè)試路徑輸入預(yù)計(jì)輸出條件1Value(k)=有效輸入Value(i)=-999K<I,2<=i=100基于K的正確平均值和總數(shù)路徑1無(wú)法單獨(dú)測(cè)試，要作為4—6的測(cè)試部分2Value(i)=-999求平均值=-999其它按初值匯總3處理>100個(gè)的值前100個(gè)被正確處理4Value(i)=有效輸入Value(k)<minimumi<100,k<j基于k的正確平均值和總數(shù)5Value(i)=有效輸入Value(k)>maxmumi<100,k>=j基于k的正確平均值和總數(shù)6Value(i)=有效輸入i<100基于k的正確平均值和總數(shù)

從基本路徑測(cè)試想到的窮舉測(cè)試是不可能的盡量選擇有代表性的主要路徑，更易