軟件測(cè)試用例自動(dòng)生成方法研究.pdf

1、軟件測(cè)試作為保證軟件質(zhì)量，提高軟件可靠性的重要手段，在軟件開發(fā)中起著不可替代的作用，其關(guān)鍵與核心是測(cè)試用例的生成。目前測(cè)試用例的生成主要靠手工完成，測(cè)試過程往往帶有很大的盲目性，致使測(cè)試效率低下，軟件成本居高不下，軟件質(zhì)量也很難得到保證。為此，迫切需要改進(jìn)軟件測(cè)試的方法，開發(fā)一些測(cè)試用例的自動(dòng)生成工具，提高軟件測(cè)試效率，降低軟件測(cè)試成本，保證軟件質(zhì)量，提高軟件測(cè)試的自動(dòng)化程度。 文中探討了基于軟件形式化規(guī)格說明自動(dòng)生成測(cè)試用例的

2、方法和技術(shù)，提出了一種新的方法：以Z語言描述軟件的規(guī)格說明，借助于分類樹生成工具CTE XL得到高層的測(cè)試用例，再利用析取范式方法進(jìn)一步細(xì)化測(cè)試用例，得到以析取范式形式存在的謂詞序列。最后采用1×1域測(cè)試策略得到具體的測(cè)試用例。 改進(jìn)了蘭毓華提出的測(cè)試用例生成流程，結(jié)合分類樹和析取范式方法得到細(xì)化的高層測(cè)試用例。由形式化規(guī)格說明得到的分類樹是完全形式化的，因?yàn)槊總€(gè)被選擇類都是形式化的謂詞，因此被選擇類的形式化描述可以由它們的謂詞