【正文】
它們分別作為輸入日期的月份、日、年份,通過程序可以輸出該輸入日期在日歷上下一天的日期。 ( 2)兩條規(guī)則的進一步合并 Software Testing 3. 判定表建立步驟 ? 根據(jù)軟件規(guī)格說明 ?①列出所有的條件樁和動作樁; ?②確定規(guī)則的個數(shù); ?假如有 n個條件,每個條件有兩個取值( 0,1) ,則有 2n 種規(guī)則; ?③填入條件項; ?④填入動作項,得到初始決策表; ?⑤簡化,合并相似規(guī)則(相同動作)。但如果第一列字符不正確,則給出信息 L;如果第二列字符不是數(shù)字,則給出信息 M。 ?有兩條或多條規(guī)則具有 相同的動作 ,并且其條件項之間存在著極為 相似的關系 ,就可以將規(guī)則合并。 一、設計判定表 Software Testing ? ( 3)動作樁 ? A1:非三角形; ? A2:不等邊三角形; ? A3:等腰三角形; ? A4:等邊三角形; ? A5:不可能; Software Testing ? ( 4)判定表 1 2 3 4 5 6 7 8 9 條 件 a, b, c構成三角形 N Y Y Y Y Y Y Y Y a = b? — Y Y Y Y N N N N a = c? — Y Y N N Y Y N N b = c? — Y N Y N Y N Y N 動 作 非三角形 ? 不等邊三角形 ? 等腰三角形 ? ? ? 等邊三角形 ? 不可能 ? ? ? Software Testing ? 注意: ?條件的選擇可以大大擴展判定表的規(guī)模; ? 例如 ?a, b, c構成三角形嗎?可以擴展為三個條件: ?a b + c? ?b a + c? ?c a + b? Software Testing 1 2 3 4 5 6 7 8 9 10 11C1 : a b + c? F T T T T T T T T T TC2 : b a + c? — F T T T T T T T T TC3 : c a + b ? — — F T T T T T T T TC4 : a = b ? — — — T T T T F F F FC5 : a = c? — — — T T F F T T F FC6 : b = c? — — — T F T F T F T Fa 1 : 非三角形 X X Xa 2 : 不等邊三角形 Xa 3 : 等腰三角形 X X Xa 4 : 等邊三角形 X條件樁修改后的判定表 Software Testing 用例 ID a b c 預期輸出D T 1 4 1 2 非三角形D T 2 1 4 2 非三角形D T 3 1 2 4 非三角形D T 4 5 5 5 等邊三角形D T 5 ? ? ? 不可能D T 6 ? ? ? 不可能D T 7 2 2 3 等腰三角形D T 8 ? ? ? 不可能D T 9 2 3 2 等腰三角形D T 10 3 2 2 等腰三角形D T 11 3 4 5 不等邊三角形a=b, a=c, b≠c 二、設計測試用例 Software Testing 課堂練習 ? 隔一天的日期 ?程序有三個輸入變量 month、 day、 year,分別作為輸入日期的