基于禁忌搜索算法的EFSM測試數(shù)據(jù)生成.pdf_第1頁
已閱讀1頁,還剩73頁未讀 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領

文檔簡介

1、隨著計算機軟件行業(yè)迅速發(fā)展,需求日益復雜,軟件產(chǎn)品質(zhì)量的提高變得越來越重要,已成為人們關注的焦點。軟件測試是保證軟件質(zhì)量最重要的手段,也逐漸成為軟件開發(fā)過程的重要階段。隨著軟件規(guī)模越來越大,結構越來越復雜,測試成本相對提高。軟件測試自動化已成為提高測試效率,降低測試成本的重要手段,其最關鍵的難點之一是測試用例的自動生成。
   面向對象軟件代碼重用率高,需要嚴格的測試以保證軟件質(zhì)量。但傳統(tǒng)的面向過程軟件測試技術不適用于面向對象軟

2、件的測試,因此隨之出現(xiàn)了基于模型的測試研究。這類模型主要包括LYML(統(tǒng)一建模語言)模型、LTS(標號遷移系統(tǒng))模型和EFSM(可擴展有限狀態(tài)機)模型等,能夠表達軟件系統(tǒng)的一系列活動集合。
   EFSM模型可以精確刻畫軟件系統(tǒng)的動態(tài)行為,已被廣泛的應用于描述面向對象軟件的對象行為及對象間的交互。因此,針對EFSM模型,探討測試用例的自動生成具有重要的理論意義和實用價值。EFSM模型的測試用例生成包括測試路徑生成和測試數(shù)據(jù)生成兩

3、部分。目前,針對EFSM模型的測試研究大多集中于測試路徑自動生成。為探索路徑上測試數(shù)據(jù)的自動生成,本文提出了一種面向EFSM路徑,利用禁忌搜索策略實現(xiàn)其測試數(shù)據(jù)自動生成的方法,成功生成了測試數(shù)據(jù)。在此基礎上,通過測試數(shù)據(jù)生成時間與路徑不同特征因素之間關系的相關性分析,獲得了影響EFSM測試數(shù)據(jù)生成效率的關鍵因素,并選取復雜路徑通過適應度值的變化與遺傳算法的測試生成效率進行了比較。實驗結果表明:基于禁忌搜索的EFSM模型測試數(shù)據(jù)自動生成確

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論