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

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

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