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

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

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

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