實(shí)驗(yàn)一靜態(tài)分析測(cè)試

軟件學(xué)院上機(jī)實(shí)驗(yàn)報(bào)告課程名稱：軟件測(cè)試與評(píng)估 實(shí)驗(yàn)項(xiàng)目：實(shí)驗(yàn)一基于代碼的測(cè)試技術(shù)實(shí)驗(yàn)室：耘慧416 姓名： 學(xué)號(hào)： 專業(yè)班級(jí)：軟件13-7 實(shí)驗(yàn)時(shí)間：2016/3/31 實(shí)驗(yàn)成績(jī)?cè)u(píng)閱教師實(shí)驗(yàn)?zāi)康募耙?、?shí)驗(yàn)?zāi)康募耙笳莆沾a測(cè)試技術(shù)的基本方法（即軟件靜態(tài)測(cè)試技術(shù)）；針對(duì)案例，能夠運(yùn)用代碼測(cè)試技術(shù)中的具體方法進(jìn)行測(cè)試用例的設(shè)計(jì)。二、 實(shí)驗(yàn)性質(zhì)設(shè)計(jì)性三、 實(shí)驗(yàn)學(xué)時(shí)2學(xué)時(shí)四、 實(shí)驗(yàn)環(huán)境1.實(shí)驗(yàn)環(huán)境：主流PC機(jī)一套，要求安裝windows操作系統(tǒng)、VisualStudio2008開發(fā)工具（或以上或其它可供開發(fā)的工具或環(huán)境）和OFFICE工具知識(shí)準(zhǔn)備：（1） 運(yùn)用熟悉的程序設(shè)計(jì)語言（C，java，C++等均可）實(shí)現(xiàn)案例程序；（2） 程序數(shù)據(jù)流分析方法；（3）程序控制流分析方法。五、 實(shí)驗(yàn)內(nèi)容及步驟針對(duì)問題進(jìn)行編程；對(duì)程序進(jìn)行數(shù)據(jù)流分析；畫出程序的控制流圖。計(jì)算程序的環(huán)形復(fù)雜度，導(dǎo)出程序基本路徑集中的獨(dú)立路徑條數(shù)，這是確定程序中每個(gè)可執(zhí)行語句至少執(zhí)行一次所必須的測(cè)試用例數(shù)目的上界；導(dǎo)出基本路徑集，確定程序的獨(dú)立路徑；根據(jù)獨(dú)立路徑，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出(允許選用測(cè)試工具)。研究生招生問題輸入四門成績(jī)a,b,c,d，分別作為政治，英語，數(shù)學(xué)和專業(yè)課成績(jī)，現(xiàn)通過程序判斷四門成績(jī)的分?jǐn)?shù)線分別達(dá)到：自主招生，統(tǒng)一招生和沒有考上三種情況。現(xiàn)在要求輸入三個(gè)整數(shù)a、b、c、d，必須滿足以下條件：條件1(a+b+c+d)>=310&&a>=45&&b>=45&&c>=75條件2(a+b+c+d)>=256&&a>=32&&b>=32&&c>=56條件3(a+b+c+d)>0&&(a+b+c+d)<500對(duì)研究生招生問題進(jìn)行程序設(shè)計(jì)；對(duì)程序進(jìn)行數(shù)據(jù)流分析；對(duì)程序進(jìn)行程序控制流分析；流程圖用來描述程序控制結(jié)構(gòu)?？蓪⒘鞒虉D映射到一個(gè)相應(yīng)的流圖(假設(shè)流程圖的菱形決定框中不包含復(fù)合條件)。在流圖中，每一個(gè)圓，稱為流圖的結(jié)點(diǎn)，代表一個(gè)或多個(gè)語句。一個(gè)處理方框序列和一個(gè)菱形決測(cè)框可被映射為一個(gè)結(jié)點(diǎn)，流圖中的箭頭，稱為邊或連接，代表控制流，類似于流程圖中的箭頭。一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語句(例如：if-else-then結(jié)構(gòu))。由邊和結(jié)點(diǎn)限定的范圍稱為區(qū)域。計(jì)算區(qū)域時(shí)應(yīng)包括圖外部的范圍。計(jì)算環(huán)形復(fù)雜度；圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保所有語句至少執(zhí)行一次的測(cè)試數(shù)量的上界。獨(dú)立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計(jì)算圈復(fù)雜度：>流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)型的復(fù)雜性；>給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=E-N+2,E是流圖中邊的數(shù)量，N是流圖中結(jié)點(diǎn)的數(shù)量；>給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=P+1，P是流圖G中判定結(jié)點(diǎn)的數(shù)量。給出程序的獨(dú)立路徑集合；進(jìn)行用例設(shè)計(jì)。2.根據(jù)代碼繪制程序流程圖:開始■■3.程序控制流圖如下:開始■■3.程序控制流圖如下:計(jì)算環(huán)形復(fù)雜度：圖中域的個(gè)數(shù)為5；V(G)=E-N+2=14-11+2=5V(G)=P+1=4+1=5。導(dǎo)出測(cè)試用例：根據(jù)上面的計(jì)算方法，可得出四個(gè)獨(dú)立的路徑。(一條獨(dú)立路徑是指，和其他的獨(dú)立路徑相比，至少引入一個(gè)新處理語句或一個(gè)新判斷的程序通路。V(G)值正好等于該程序的獨(dú)立路徑的條數(shù)。)路徑1：6-15-37-17-22-26-32-40?路徑2：5-15-17-22-26-28-40路徑3：6-15-17-19-6-15-17-22-24-40路徑4：6-15-37-6-15-17-19-6-15-17-22-24-40路徑5:6-15-17-22-24-40根據(jù)上面的獨(dú)立路徑，去設(shè)計(jì)輸入數(shù)據(jù)，使程序分別執(zhí)行到上面五條路徑。準(zhǔn)備測(cè)試用例：為了確?；韭窂郊械拿恳粭l路徑的執(zhí)行，根據(jù)判斷結(jié)點(diǎn)給出的條件，選擇適當(dāng)?shù)臄?shù)據(jù)以保證某一條路徑可以被測(cè)試到，滿足上面例子基本路徑集的測(cè)試用例是：路徑1：6-15-37-17-22-26-32-40輸入數(shù)據(jù)：((a+b+c+d)>0&&(a+b+c+d)<500)預(yù)期結(jié)果：ERROR!路徑2：5-15-17-22-26-28-40輸入數(shù)據(jù)：(a+b+c+d)>=256&&a>=32&&b>=32&&c>=56預(yù)期結(jié)果：您符合一般招生規(guī)范路徑3：6-15-17-19-6-15-17-22-24-40輸入數(shù)據(jù)：(a+b+c+d)<256||a<32||b<32||c<56預(yù)期結(jié)果："輸入錯(cuò)誤！請(qǐng)重新輸入！路徑4：6-15-37-6-15-17-19-6-15-17-22-24-40輸入數(shù)據(jù)：a>100||b>100||c>>150||d>150預(yù)期結(jié)果：輸入錯(cuò)誤！路徑5:6-15-17-22-24-40輸入數(shù)據(jù)：(a+b+c+d)>=310&&a>=45&&b>=45&&c>=75預(yù)期結(jié)果：您達(dá)到自主招生規(guī)范！六、實(shí)驗(yàn)總結(jié)六、實(shí)驗(yàn)總結(jié)通過本次實(shí)驗(yàn)，我充分理解了靜態(tài)測(cè)試的過程，明白了靜態(tài)測(cè)試的方法去測(cè)試一段程序：先設(shè)計(jì)程序的算法，再設(shè)計(jì)程序流程圖，然后設(shè)計(jì)測(cè)試用例，最后進(jìn)行測(cè)試。我根據(jù)上述方式找出了我設(shè)計(jì)的程序的很多bug，感覺收獲還是很多的。附錄源程序清單1.主要代碼如下：#include<iostream>usingnamespacestd;intmain(){inta=0,b=0,c=0,d=0;while(true){cout<<"請(qǐng)輸入各科成績(jī)："<<endl;cout<<"政治："<<endl;cin>>a;cout<<"英語："<<endl;cin>>b;cout<<"數(shù)學(xué)："<<endl;cin>>c;cout<<"專業(yè)課："<<endl;cin>>d;if((a+b+c+d)>0&&(a+b+c+d)<500)TOC\o"1-5"\h\z{if(a>100||b>100||c>>150||d>150){cout<<"輸入錯(cuò)誤！"<<endl;continue;}if((a+b+c+d)>=310&&a>=45&&b>=45&&c>=75){cout<<"您達(dá)到自主招生規(guī)范！"<<endl;}elseif((a+b+c+d)>=256&&a>=32&&b>=32&&c>=56