軟件測(cè)試是保證軟件質(zhì)量的重要手段。提高軟件測(cè)試數(shù)據(jù)生成的自動(dòng)化程度對(duì)軟件的質(zhì)量與開(kāi)發(fā)成本有著重要意義。文獻(xiàn)[1]總結(jié)了對(duì)于研究測(cè)試數(shù)據(jù)自動(dòng)生成常采用的兩類(lèi)方法,即基于規(guī)格說(shuō)明的和基于結(jié)構(gòu)的方法。目前,結(jié)構(gòu)化程序設(shè)計(jì)在很多領(lǐng)域被廣泛使用,使得路徑測(cè)試仍是很多專(zhuān)家學(xué)者研究的熱點(diǎn)。本文屬于基于結(jié)構(gòu)的測(cè)試數(shù)據(jù)自動(dòng)生成。