軟件測試用例自動生成方法研究.pdf

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

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