基于代數(shù)規(guī)格化說(shuō)明的OOP測(cè)試用例生成算法研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的發(fā)展和計(jì)算機(jī)應(yīng)用的普及,軟件系統(tǒng)的需求量越來(lái)越大,在現(xiàn)階段,面向?qū)ο筌浖到y(tǒng)占據(jù)了其中很大的比例,在軟件系統(tǒng)的測(cè)試方面出現(xiàn)了許多測(cè)試方法,基于形式化規(guī)格說(shuō)明的軟件測(cè)試方法是其中重要、有效的一種。在基于形式化規(guī)格說(shuō)明的軟件測(cè)試方法中,形式化規(guī)格說(shuō)明通常作為正確性驗(yàn)證的基礎(chǔ)。
　　 目前,基于形式化規(guī)格說(shuō)明的軟件測(cè)試主要用于安全性和可靠性要求較高的軟件系統(tǒng),根據(jù)所用的規(guī)格化說(shuō)明語(yǔ)言的特點(diǎn),用不同的方法進(jìn)行軟件測(cè)試。主

2、要的測(cè)試思路有等價(jià)測(cè)試和不等價(jià)測(cè)試等。生成測(cè)試用例所用的工具有基本項(xiàng)、等價(jià)項(xiàng)、不等價(jià)項(xiàng)、基本對(duì)等。
　　 本文主要研究了基于程序的代數(shù)規(guī)格化說(shuō)明生成測(cè)試用例進(jìn)行軟件測(cè)試的方法。本文提出了根據(jù)代數(shù)規(guī)格化說(shuō)明生成基本項(xiàng)模型圖的方法,并且生成的基本項(xiàng)模型圖也能完全體現(xiàn)程序的面向?qū)ο筇卣鳌１疚臏y(cè)試方法的主要思路是:首先根據(jù)代數(shù)規(guī)格化說(shuō)明得到一組基本項(xiàng)。為了避免從理想基本項(xiàng)集合中選擇一組基本項(xiàng)時(shí)受到理想基本項(xiàng)集合的完備性和無(wú)窮性等因素的制

3、約,本文根據(jù)代數(shù)規(guī)格化說(shuō)明構(gòu)造一個(gè)基本項(xiàng)模型圖,然后用基本項(xiàng)模型圖生成基本項(xiàng)。為了進(jìn)一步減少最終生成測(cè)試用例的數(shù)量,本文從生成的基本項(xiàng)集合中得到與這個(gè)基本項(xiàng)集合等價(jià)的范式集合,再通過(guò)范式來(lái)生成測(cè)試用例。針對(duì)用范式模型樹(shù)生成范式時(shí),生成的不完全是范式,并且范式的長(zhǎng)度可能無(wú)窮大的問(wèn)題,本文提出了對(duì)基本項(xiàng)模型圖進(jìn)行路徑拆分,根據(jù)路徑拆分后基本項(xiàng)模型圖生成范式的方法。最后,用范式替換代數(shù)規(guī)格化說(shuō)明公理系統(tǒng)中的變量,生成測(cè)試用例。