測試複習隨筆_等價劃分法經典測試用例

上一篇博文中，筆者主要複習了黑盒測試法中等價劃分法的相關理論知識，這次主要是根據這種方法實際寫一下測試用例；

取題目自《軟體測試的藝術》第四章，題目如下：

作為一個例子，假設我們正在為FORTRAN語言的一個子集開發編譯器，我們希望對D工MENS工ON語句的語法檢查進行測試。該語句的規比說明加下所示（這不是FORTRAN語言中的完整DIMENSION語句，我們對其講行了適當的剪裁，使其適合作為教科書的樣例。不要被其誤導，以為測試實際的程式就像測試本書中的樣例一樣容易)。在規格說明中，斜體字中的項是在實際語句中必須被特定實體取代的語法單元，使用括弧代表可選項,省略號代表前面的項可能會連續重複出現多次。
DIMENSION語向用來定義陣列的大小。
DIMENSION語向的格式如下:DIMENSION ad[ , ad]...           

其中ad是陣列描述符,其格式如下:n(d[ ,d]...)
其中n是陣列的符號名,d是陣列的維說明符。符號名可以由1一6個字母或數字組成,其中首字元必須是字母。一個陣列最少有1個維,最多有7個維。維說明符的格式如下:[1b:]ub，其中lb與ub分別是維的下邊界和上邊界。邊界可以是-65534~65535之間的一個常數,或是一個整型變數名（但不能是陣列元素名)。如果未指定lb，則其預設值為1。ub的值必須大於或等於lb。如果指定了lb，則其值可為負數、零或正數。就全部語句而言，DIMENSION語句可寫成連續多行。
解析：以下為筆者個人解答，如有錯誤或缺漏，歡迎指正！

輸入條件	有效等價類	無效等價類
陣列描述符數量	1個(1)，多於1個(2)	0個(3)
陣列符號名長度	1~6個字母或數字(4)	0個(5)，大於6個(6)
陣列符號名字元型別	只含字母(7)，只含數字(8)，僅字母和數字組合(9)	其他字元(10)
陣列符號名首字母型別	字母(11)	其他字元(12)
是否有陣列維說明符	是(13)，否(14)
陣列維度數量	1~7個維(15)	0個(16)，大於7個(17)
邊界常數值	-65534~65535(18)	<-65534(19)，>65535(20)
上邊界是	常數(21)，整型變數(22)	陣列元素名(23)，其他(24)
下邊界是	常數(25)，整型變數(26)	陣列元素名(27)，其他(28)
是否指定下邊界	是(29)，否(30)
未指定下邊界時其值	預設值為1(31)	其他(32)
上邊界對比下邊界	＞(33)，＝(34)	＜(35)
指定下邊界時其值	負數(36)，零(37)，正數(38)	其他(39)
是否連續多行語句	是(40)，否(41)