基于演化的測(cè)試數(shù)據(jù)生成.pdf

1、軟件測(cè)試作為軟件開(kāi)發(fā)過(guò)程中的重要一環(huán)，對(duì)于保障軟件質(zhì)量起著至關(guān)重要的作用。隨機(jī)測(cè)試技術(shù)是軟件測(cè)試的重要技術(shù)之一，也是目前函數(shù)式程序測(cè)試的主要方法。而測(cè)試數(shù)據(jù)自動(dòng)生成方法的正確性和有效性，是隨機(jī)測(cè)試的根本。因此，測(cè)試數(shù)據(jù)生成方法的研究，對(duì)于測(cè)試技術(shù)乃至整個(gè)軟件測(cè)試過(guò)程來(lái)說(shuō)，都有著非常重要的意義。
　　 QuickCheck、SmallCheck和LazySmallCheck等都是函數(shù)式程序語(yǔ)言Haskell的測(cè)試工具。SmallC

2、heck和LazySmallCheck都是使用窮舉測(cè)試方法，在某些情況下，測(cè)試時(shí)需要大量時(shí)間。而在測(cè)試一些需要前置條件的函數(shù)時(shí)，QuickCheck就不能夠產(chǎn)生足夠的數(shù)據(jù)來(lái)對(duì)相關(guān)的函數(shù)性質(zhì)進(jìn)行測(cè)試，從而出現(xiàn)“Argumentsexhausted”的問(wèn)題。本文從這點(diǎn)出發(fā)，提出了利用演化思想的測(cè)試數(shù)據(jù)生成方法，提供了一個(gè)Haskell程序的自動(dòng)化測(cè)試工具--ECheck。實(shí)驗(yàn)結(jié)果表明：ECheck在測(cè)試需要前置條件的函數(shù)性質(zhì)上取得了比Qui