素?cái)?shù)判斷程序測(cè)試范例

1、問(wèn)題描述：鍵盤輸入m和n（10<m<n<=2000）,求出m-n之間的所有素?cái)?shù)，且按每行2個(gè)數(shù)的形式輸出。相應(yīng)代碼：#include <iostream>#include <math.h>using namespace std;int main()int m,n,i;static int k=0;cout<<"輸入m,m(其中10<m<n<=2000)"<<endl;cin>>m>>n;while(m<=10|m>=n|n>2000)cout<

2、<"輸入數(shù)據(jù)有誤，請(qǐng)?jiān)俅屋斎耄?quot;<<endl;cout<<"輸入m,m(其中10<m<n<=2000)"<<endl;cin>>m>>n;for(i=m;i<=n;i+)int x=(int)sqrt(double)i);for(int j=2;j<=x;j+)if(i%j=0)break;else if(j=x)cout<<i<<""k+;if(k%2=0)cout<<endl;elsecontinue

3、;cout<<endl;return 0;一控制流測(cè)試1、控制流圖如下:2、根據(jù)以上控制流圖：因?yàn)榭刂屏鞯?-2-3-2部分為用戶輸入的m,n的重復(fù)賦值過(guò)程，與輸入數(shù)據(jù)密切相關(guān)且每次取值不同，關(guān)系到控制流測(cè)試，所以將此獨(dú)立出來(lái)：以為節(jié)點(diǎn)“2”的復(fù)合謂詞為或的關(guān)系，全為false時(shí)只有一種情況，而為true時(shí)有7種情況，對(duì)“2”的復(fù)合謂詞（m<=10|m>=n|n>2000）為真假時(shí)其表1如下：設(shè)A:m<=10; B:m>=n; C:n>2000但是對(duì)于節(jié)點(diǎn)“2”的情況，并非所有可能都會(huì)取到，因?yàn)楫?dāng)A為真時(shí)，就不會(huì)執(zhí)行B，依此，生成下表2：根據(jù)表2

4、，得出此部分的取值及路徑為：3、當(dāng)節(jié)點(diǎn)“2”取F時(shí)，對(duì)整體取路徑達(dá)到謂詞覆蓋標(biāo)準(zhǔn)有：以上路徑可以看出，對(duì)于單一謂詞-節(jié)點(diǎn)5,8,9,10,14均取到T,F,加之節(jié)點(diǎn)2之前的取值，所有謂詞均達(dá)到覆蓋標(biāo)準(zhǔn)，所以此控制流測(cè)試達(dá)到謂詞覆蓋標(biāo)準(zhǔn)。對(duì)于其他區(qū)間內(nèi)的m,n，路徑內(nèi)循環(huán)次數(shù)增加，但內(nèi)部循環(huán)路徑相同。二數(shù)據(jù)流測(cè)試2、根據(jù)數(shù)據(jù)流圖，得出節(jié)點(diǎn)的def()和c-use()集合：3、找出邊的謂詞和p-use集合4.根據(jù)代碼，可知共有變量i,j,k，不列舉其all-c-use和all-p-use.直接寫出其all-uses,其循環(huán)次數(shù)不一定只有一次，因?yàn)檠h(huán)時(shí)內(nèi)部路徑相同，都寫出來(lái)路徑太長(zhǎng)太繁瑣，所以以一

5、次為基準(zhǔn)，循環(huán)不定，可以是任意次。對(duì)于變量i：節(jié)點(diǎn)1,4,12有其定義，節(jié)點(diǎn)6,12有其c-use，邊(5,6),(5,7),(11,13),(11,14)有其p-use,所以包含其all-p-use和其all-c-use的即為其all-uses:1-2-4-5-6-9-10-12-5-7-8;1-2-4-5-6-9-10-11-13-12-5-7-8;1-2-4-5-6-9-10-11-14-15-17-19-10-12-5-7-8; 1-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8; 1-2-4-5-6-9-10-11-14-15-17-16-19-

6、10-12-5-7-8; 1-2-3-2-4-5-6-9-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-13-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-15-17-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-15-17-16-19-10-12-5-7-8;對(duì)于變量j：節(jié)點(diǎn)9,19有其定義，節(jié)點(diǎn)19有其c-use，邊(10,11),(10,12),(11,13),(11,14)(14,16),(14,15)有其p-u

7、se,所以包含其all-p-use和其all-c-use的即為其all-uses:1-2-4-5-6-9-10-11-14-16-19-10-12-5-7-8;1-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;1-2-4-5-6-9-10-00-14-15-17-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-16-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-00-14-15-17-19-10-12-5

8、-7-8;對(duì)于變量k：節(jié)點(diǎn)1,15有其定義，節(jié)點(diǎn)15有其c-use，邊(17,18),(17,19)有其p-use,所以包含其all-p-use和其all-c-use的即為其all-uses:1-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;1-2-3-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;綜上：綜上，變量k,i,j均包含的路徑，即最后確定的數(shù)據(jù)流路徑只有兩條:其中的循環(huán)次數(shù)根據(jù)需要而定。路徑1：1-2-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;路徑2：1-2-3-2

9、-4-5-6-9-10-11-14-15-17-18-19-10-12-5-7-8;其對(duì)應(yīng)的控制流路徑為(其中的路徑編號(hào)均為控制流圖編號(hào)依此生成謂詞解釋)：1-2(F)-4-5(T)-6-7-8(T)-9(F)-10(T)-12-14(T)-15-16-8(F)-17-5(F)-18-19；1-2(T)-3-2(F)-4-5(T)-6-7-8(T)-9(F)-10(T)-12-14(T)-15-16-8(F)-17-5(F)-18-195、路徑謂詞解釋為(以路徑1為例)：6、推導(dǎo)出路徑謂詞表達(dá)式為：根據(jù)路徑謂詞表達(dá)式，第6行可知，k%2不能恒等于0，而k又是根據(jù)輸入的數(shù)據(jù)中素?cái)?shù)的個(gè)數(shù)來(lái)累加起來(lái)

10、的數(shù)據(jù)，只有當(dāng)m-n之間有大于兩個(gè)素?cái)?shù)時(shí)才會(huì)有此條件，所以判定，目前路徑不合理，應(yīng)至少有兩次循環(huán)才能使上述謂詞表達(dá)式成立。7、求解表達(dá)式得到測(cè)試輸入數(shù)據(jù)：對(duì)于路徑1：根據(jù)第6步的推理，可知m-n之間有大于兩個(gè)素?cái)?shù)必須成立，所以選擇輸入數(shù)據(jù)為：M=11,n=13M=11,n=1000;M=20,n=40;M=100,n=1800;.得到可測(cè)試數(shù)據(jù)較多，不一一列舉，只要在范圍內(nèi)均可。對(duì)于路徑2：根據(jù)推理，可知第一次輸入，m，n的值不符合要求，1次或多次循環(huán)之后才能達(dá)到要求，達(dá)到要求后m,n之間有大于兩個(gè)素?cái)?shù)必須成立，所以選擇輸入數(shù)據(jù)為：M=2,n=1(不成立)-(接著輸入)m=12,n=33M=1

11、3,n=3000(不成立)-(接著輸入)m=50,n=66M=8,n=15(不成立)-(接著輸入)m=66,n=99.得到可測(cè)試數(shù)據(jù)較多，不一一列舉，只要在范圍內(nèi)均可。三域測(cè)試本題的輸入為m,n，所以域主要是針對(duì)m,n的域，根據(jù)復(fù)合謂詞m<=10|m>=n|n>2000,當(dāng)次復(fù)合謂詞取false時(shí)，得到路徑的正確輸入域，即：10<m<n<=2000;1、依次，畫出其大致域?yàn)椋海ㄌ摼€，開(kāi)放區(qū)域；實(shí)線，封閉區(qū)域）2、根據(jù)給出的域，看到和輸入?yún)?shù)有關(guān)的邊界線共有三條：N<=2000;M>10;M<n;3、考慮到以下幾種錯(cuò)誤：、封閉不等式邊界：A、邊界移動(dòng)導(dǎo)致域減少B、邊界移動(dòng)導(dǎo)致域增加C、邊界傾斜D、封閉錯(cuò)誤、開(kāi)放不等式邊界：A、邊界移動(dòng)導(dǎo)致域減少B、邊界移動(dòng)導(dǎo)致域增加C、邊界傾斜D、封閉錯(cuò)誤、等式邊界考慮到以上錯(cuò)誤，針對(duì)域的邊界，按照ON-OFF-ON的次序依次選取3個(gè)點(diǎn)A,B,C如下：四對(duì)控制流測(cè)試和數(shù)據(jù)流測(cè)