

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、依賴性分析和程序切片,是一種程序分解技術,在軟件工程的諸多領域都有廣泛應用。現(xiàn)代軟件規(guī)模的巨大和復雜使得設計和測試這些軟件極其困難,其中軟件測試通常要占到開發(fā)成本的50%甚至更多,提高軟件測試效率,對于降低軟件開發(fā)成本,加快軟件開發(fā)周期有直接的作用。由于現(xiàn)代軟件系統(tǒng)的巨大規(guī)模,真正的實用的測試方法總是根據(jù)情況和要求,有側重點的進行,這就使得依賴性分析在軟件測試過程中有著重要意義。平衡軟件測試的效率和效果是當前軟件測試具有理論意義和實際價
2、值的熱點問題。程序切片和依賴性分析是重要的程序分解技術,將依賴性分析應用于軟件測試可以使得軟件測試更有目的性和針對性,在有條件的保證軟件測試效果的前提下,有效地提高軟件測試效率。 基于對依賴性分析在軟件測試中的應用能力分析,本文進行了以下一些研究工作: 軟件測試數(shù)據(jù)自動生成是軟件測試的一個重要研究領域,其中數(shù)組變量和指針變量導致的變量不確定問題是測試數(shù)據(jù)自動生成中的一個困難問題,本文通過理論分析得出非定態(tài)路徑約束解空間可
3、進一步劃分為多個子空間的結論?;诜治鼋Y論,利用一種特殊的程序切片技術,本文給出一個將非定態(tài)路徑的測試轉換為定態(tài)路徑測試的算法。 通過分析EFSM不同測試序列的依賴關系模式(切片),可以有效的約減測試集,提高測試效率。由于EFSM依賴關系的特殊性,對于EFSM依賴圖,現(xiàn)有的基于標志已訪問節(jié)點的遍歷算法不適于解決該問題。本文對EFSM的依賴關系的傳遞性進行了分析,并給出一個基于變遷的EFSM后向切片算法。 修改影響分析本質
4、上也屬于約減測試用例的范疇,通過分析修改的軟件部分與軟件其他部分的依賴性關系,確定需要重新測試的部分,從而避免了對整個軟件的完全重新測試,提高了測試效率。本文針對面向對象程序,提出類成員后向切片方法以找出所有被修改所影響的類成員。該方法比類防火墻技術的精度要高,復雜度低于語句級粒度分析方法。 現(xiàn)代軟件中,并發(fā)程序設計得到越來越普遍的應用。然而,并發(fā)程序的依賴性分析有著其特殊的復雜性,在這方面,本文進行的研究工作有: 為了
5、使程序切片技術能應用于更廣泛的并發(fā)程序,我們在現(xiàn)有算法的基礎上,并進一步考慮到互斥體間可能存在的同時有定義和引用關系的情況,將現(xiàn)有的并發(fā)程序切片算法推廣到可以計算有互斥機制的并發(fā)程序的程序切片,得到了更為精確的切片算法。 過程間并發(fā)程序分析是一個不可判定問題。理解這個不可判定問題的來源是發(fā)展一個有效的分析算法的基礎?,F(xiàn)有的證明通過構造三個并發(fā)任務的PCP問題實例,本文僅僅用兩個并發(fā)任務將該問題轉化為PCP問題從而證明了這個不可判
溫馨提示
- 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. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于依賴性分析的UML狀態(tài)圖切片在回歸測試中的應用.pdf
- 基于依賴性分析的Web應用切片的研究.pdf
- 面向UML模型的依賴性分析及應用的研究.pdf
- 基于依賴性分析的面向對象程序測試技術研究.pdf
- HBx在肝癌細胞p53依賴性和非依賴性凋亡通路中的作用靶點.pdf
- 軟件測試及其在unicall系統(tǒng)測試中的應用.pdf
- 時間依賴性與濃度依賴性抗菌藥物的比較
- 軟件測試研究及其在工業(yè)中的應用.pdf
- 域名依賴性的監(jiān)測.pdf
- 軟件性能測試技術分析及其在計費系統(tǒng)中的應用.pdf
- AQM中參數(shù)依賴性的研究與改進.pdf
- 組件依賴性的顯式表達及應用.pdf
- Java程序分層及概率依賴性分析.pdf
- C程序文件間依賴性分析.pdf
- 情緒認知的注意依賴性及其神經(jīng)機制研究
- 低先驗信息依賴性的穩(wěn)健波束形成技術及其應用研究.pdf
- 情緒認知的注意依賴性及其神經(jīng)機制研究.pdf
- 基于時態(tài)圖的實體依賴性分析方法研究.pdf
- 電壓依賴性鈣通道在人類弱精子癥精子中的改變.pdf
- 裂隙中雙分子反應性溶質運移及其尺度依賴性研究.pdf
評論
0/150
提交評論