期末報告項目:
1) 測試工具的介紹
2) 測試工具功能的說明
3) 測試工具功能的示範 (demo)
4) 測試工具的使用心得
5) 使用測試工具在每個作業的展示

=================================================================================
=================================================================================
每個作業的測試目標涵蓋率要到100%  (testing criteria coverage 100%)
使用最少的測試案例達到測試目標涵蓋率100%

=================================================================================
每個作業的測試程式範例必須有
1) 條件判斷式(例如 if)
2) 迴圈(例如 while)

//測試程式範例(缺少迴圈): 
bool f (int i)				//1
{
	if( i >= 0 )			//2
		return true;		//3
	else 				//4
		return false;		//5
}

=================================================================================
每個作業測試案例的規定格式:
	
One test case(每個測試案例的規定格式):	
1) Input values(測試時候需要控制資料的值) 
2) expected result(正確的結果) 
3) test program's result(程式執行後的結果) 
4) criteria analysis(測試目標的分析)

=================================================================================
程式測試目標涵蓋率到100%所需要的測試案例: (test cases for criteria coverage 100%)
使用最少個測試案例達到測試目標涵蓋率100%

Edge: ... 
---------------------------------------------
test case 1 (測試案例1)
1) Input values(測試時候需要控制資料的值): i 10
2) expected result(正確的結果): true
3) test program's result(程式執行後的結果): true
4) criteria analysis(測試目標的分析 
例如 Line coverage:   測試案例涵蓋的行: 1 2 3)
例如 Edge coverage:   測試案例涵蓋的Edge: [12,23,32] [2,3,4])

---------------------------------------------
test case 2 (測試案例2)
1) Input values(測試時候需要控制資料的值): i -1
2) expected result(正確的結果): flase
3) test program's result(程式執行後的結果): flase
4) criteria analysis(測試目標的分析 例如 Line coverage:    測試案例涵蓋的行: 1 2 4 5)
edge coverage

=================================================================================
=================================================================================
每個作業的測試目標涵蓋率要到100%  (testing criteria coverage 100%)
使用最少個測試案例達到測試目標涵蓋率100%

---------------------------------------------
作業(homeworks):
	
duedate 10/22 10/30(碩專) 
1) Line coverage (100% coverage)
	
2) graph coverage (Testing-Introduction.ppt p.36)
10/29 10/30(碩專) 2-1) Edge Coverage 
11/5  11/6(碩專) 2-2) Edge-Pair Coverage
11/5  11/6(碩專) 2-3) Path Coverage ((1)沒繞過迴圈, (2)有繞過迴圈)

11/12 11/13(碩專) 3) Stress Testing coverage 
(Testing-Introduction.ppt p.50: 
 Very large, very small, invalid)

11/26 11/27(碩專) 4) Logical Expressions coverage  (the number of clauses > 1)
案例的條件至少包含兩個子句(子條件)
(Testing-Introduction.ppt p.62: 
4-1)	Predicate Coverage(整個條件的 True False)
4-2)	Clause Coverage(每個子條件的 True False)
4-3)	Combinatorial Coverage(各種可能的排列組合)

12/3 11/27(碩專) 5) Input Domain Characterization 	
(Testing-Introduction.ppt p.65: 
5-1)	categorization (每個類別)
5-2)	Combinatorial (各種類別的排列組合)
	
12/10 12/4(碩專) 6) mutation testing coverage
		(每一次mutation 只改一個statement)
		(原本程式跟變異程式 
		 使用測試值讓兩個程式 執行結果會不同的)
		(作業: 每個statement分別做一次mutation)
		Testing-Introduction p66

12/17 12/11(碩專) 7) Equivalence partition (Valid Invalid)
		Valid Invalid
		Software Testing UT12 p27
 
12/24 12/11(碩專) 8) Boundary value
		Software Testing UT12 p28


 



