1、問題描述：鍵盤輸入m和n（10<m<n<=2000）,求出m-n之間的所有素數，且按每行2個數的形式輸出。相應代碼：#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、<"輸入數據有誤，請再次輸入："<<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;一控制流測試1、控制流圖如下:2、根據以上控制流圖：因為控制流的1-2-3-2部分為用戶輸入的m,n的重復賦值過程，與輸入數據密切相關且每次取值不同，關系到控制流測試，所以將此獨立出來：以為節點“2”的復合謂詞為或的關系，全為false時只有一種情況，而為true時有7種情況，對“2”的復合謂詞（m<=10|m>=n|n>2000）為真假時其表1如下：設A:m<=10; B:m>=n; C:n>2000但是對于節點“2”的情況，并非所有可能都會取到，因為當A為真時，就不會執行B，依此，生成下表2：根據表2

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

5、次為基準，循環不定，可以是任意次。對于變量i：節點1,4,12有其定義，節點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;對于變量j：節點9,19有其定義，節點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;對于變量k：節點1,15有其定義，節點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均包含的路徑，即最后確定的數據流路徑只有兩條:其中的循環次數根據需要而定。路徑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;其對應的控制流路徑為(其中的路徑編號均為控制流圖編號依此生成謂詞解釋)：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、推導出路徑謂詞表達式為：根據路徑謂詞表達式，第6行可知，k%2不能恒等于0，而k又是根據輸入的數據中素數的個數來累加起來

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

11、3,n=3000(不成立)-(接著輸入)m=50,n=66M=8,n=15(不成立)-(接著輸入)m=66,n=99.得到可測試數據較多，不一一列舉，只要在范圍內均可。三域測試本題的輸入為m,n，所以域主要是針對m,n的域，根據復合謂詞m<=10|m>=n|n>2000,當次復合謂詞取false時，得到路徑的正確輸入域，即：10<m<n<=2000;1、依次，畫出其大致域為：（虛線，開放區域；實線，封閉區域）2、根據給出的域，看到和輸入參數有關的邊界線共有三條：N<=2000;M>10;M<n;3、考慮到以下幾種錯誤：、封閉不等式邊界：A、邊界移動導致域減少B、邊界移動導致域增加C、邊界傾斜D、封閉錯誤、開放不等式邊界：A、邊界移動導致域減少B、邊界移動導致域增加C、邊界傾斜D、封閉錯誤、等式邊界考慮到以上錯誤，針對域的邊界，按照ON-OFF-ON的次序依次選取3個點A,B,C如下：四對控制流測試和數據流測