類的數(shù)據(jù)流測試技術研究.pdf

1、該文類的數(shù)據(jù)流測試從以下兩方面著手研究:(1)基于規(guī)范的類的數(shù)據(jù)流測試技術研究基子規(guī)范的測試就是利用軟件的文檔規(guī)范來產(chǎn)生測試用例的測試策略,從而可以揭示軟件規(guī)范中存在的錯誤.將數(shù)據(jù)流技術引入到狀態(tài)機的測試方法,產(chǎn)生的測試用例可以揭示所有的實例變量的錯誤,而不再僅限于發(fā)現(xiàn)與對象狀態(tài)定義有關的實例變量的錯誤.另外,有限狀態(tài)機測試又能為類的數(shù)據(jù)流測試提供有效的測試用例(函數(shù)序列)生成方法,提高了測試效率.(2)基于代碼的類的數(shù)據(jù)流測試技術研究

2、基于代碼的測試就是從程序源代碼產(chǎn)生測試用例的軟件測試方法.它可以發(fā)現(xiàn)系統(tǒng)實現(xiàn)中產(chǎn)生的錯誤.作為一種非常有效的基子代碼的測試策略,數(shù)據(jù)流測試也可以用于類的代碼測試中.這是基于這樣一種觀察,即對象中的計算是實例變量上的動作序列.基于此,提出了一種類數(shù)據(jù)流測試框架.該測試框架首先在類的范圍內建立數(shù)據(jù)流圖,并計算出實例變量的定義-使用對信息.接著通過匹配備成員函數(shù)的前置條件和后置條件(函數(shù)激活所必須滿足的),為定義-使用對演繹出DC路徑(如果存