版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、北京化工大學(xué)位論文原創(chuàng)性聲明本人鄭重聲明:所呈交的學(xué)位論文,是本人在導(dǎo)師的指導(dǎo)下,獨立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外,本論文不含任何其他個人或集體已經(jīng)發(fā)表或撰寫過的作品成果。對本文的研究做出重要貢獻(xiàn)的個人和集體,均己在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。作者簽名:i三墾日期:。≥Ql0、心、∑‘關(guān)于論文使用授權(quán)的說明學(xué)位論文作者完全了解北京化工大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定,即:研究生在
2、校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)單位屬北京化工大學(xué)。學(xué)校有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤,允許學(xué)位論文被查閱和借閱;學(xué)校可以公布學(xué)位論文的全部或部分內(nèi)容,可以允許采用影印、縮印或其它復(fù)制手段保存、匯編學(xué)位論文。保密論文注釋:本學(xué)位論文屬于保密范圍,在上年解密后適用本授權(quán)書。非保密論文注釋:本學(xué)位論文不屬于保密范圍,適用本授權(quán)書。作者簽名:l二壁日期:魚翌:笪:堅導(dǎo)師簽名:當(dāng)卑耄日期:叢z』:芝上:幺匕摘要基于EFSM
3、規(guī)格說明的測試數(shù)據(jù)生成效率因素模型分析摘要二十一世紀(jì),計算機產(chǎn)業(yè)的發(fā)展是信息化過程中不可或缺的部分。隨著軟件產(chǎn)業(yè)的不斷發(fā)展和進(jìn)步,軟件的需求越來越復(fù)雜,規(guī)模也越來越龐大。為滿足軟件功能、性能等要求,軟件質(zhì)量已成為軟件工業(yè)界關(guān)注的重點。軟件測試是保證軟件質(zhì)量的重要手段,隨著軟件復(fù)雜性和規(guī)模不斷增大,測試生成成本也相應(yīng)增加,軟件測試數(shù)據(jù)自動生成己成為軟件測試的研究熱點之一。形式規(guī)格說明是對軟件功能簡要而嚴(yán)謹(jǐn)?shù)拿枋龇椒āFSM(Extend
4、edFiniteStateMachine)是一種使用廣泛的形式規(guī)格說明,可用來描述面向?qū)ο筌浖懈鱾€對象的方法和它們之間的交互?;谛问揭?guī)格說明,可以對面向?qū)ο筌浖M(jìn)行很好的功能描述。測試數(shù)據(jù)生成成本是衡量測試數(shù)據(jù)生成效率的重要指標(biāo),為探討影響測試數(shù)據(jù)生成成本的主要路徑因素以及路徑因素對測試數(shù)據(jù)生成成本的影響程度,本文進(jìn)行若干EFSM規(guī)格說明的路徑測試生成效率因素分析,鑒于路徑因素對測試數(shù)據(jù)生成成本的影響可能呈線性或者非線性的關(guān)系,本文
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于遺傳編程的EFSM測試數(shù)據(jù)生成效率預(yù)測模型研究.pdf
- 基于模擬退火算法的EFSM模型測試數(shù)據(jù)自動生成.pdf
- 含過程調(diào)用的簡單EFSM模型測試數(shù)據(jù)自動生成.pdf
- 基于禁忌搜索算法的EFSM測試數(shù)據(jù)生成.pdf
- 基于演化的測試數(shù)據(jù)生成.pdf
- 基于Memetic算法的軟件測試數(shù)據(jù)生成.pdf
- 基于重要語句選擇的變異測試數(shù)據(jù)生成.pdf
- 基于組合匹配的成對組合測試數(shù)據(jù)生成.pdf
- 基于集合進(jìn)化算法的EFSM模型可行測試序列集的生成.pdf
- 面向結(jié)構(gòu)的測試數(shù)據(jù)生成技術(shù).pdf
- 基于神經(jīng)網(wǎng)絡(luò)的路徑覆蓋測試數(shù)據(jù)生成
- 基于組合匹配的成對組合測試數(shù)據(jù)生成(1)
- 基于遺傳蟻群算法的測試數(shù)據(jù)自動生成.pdf
- 基于微粒群算法的測試數(shù)據(jù)自動生成技術(shù).pdf
- IPTAS測試子系統(tǒng)的測試數(shù)據(jù)集生成.pdf
- 基于數(shù)據(jù)流的測試數(shù)據(jù)自動生成技術(shù)研究.pdf
- 基于遺傳算法的模糊測試數(shù)據(jù)生成的研究.pdf
- 基于微粒群算法的軟件測試數(shù)據(jù)的自動生成.pdf
- 軟件質(zhì)量測評模型與測試數(shù)據(jù)生成方法研究.pdf
- 基于神經(jīng)網(wǎng)絡(luò)的路徑覆蓋測試數(shù)據(jù)生成.pdf
評論
0/150
提交評論