版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、高代碼覆蓋率的軟件自動(dòng)化測試是開發(fā)高質(zhì)量軟件的關(guān)鍵性技術(shù)。符號(hào)執(zhí)行是一種重要的形式化和自動(dòng)化的程序分析理論,是一種生成能夠覆蓋特定執(zhí)行路徑測試用例的方法模型,能夠與程序的抽象和推理、模型檢測等理論相互結(jié)合,在程序的自動(dòng)化測試、缺陷檢測、程序的驗(yàn)證與確認(rèn)、正確性證明等方面有較好的應(yīng)用前景。
符號(hào)執(zhí)行的基本原理是通過輸入數(shù)據(jù)符號(hào)化,將運(yùn)算過程表示為路徑執(zhí)行條件的符號(hào)表達(dá)式,從而將測試數(shù)據(jù)生成問題轉(zhuǎn)換為可滿足性(Satisfia
2、bility)理論的約束求解問題。
近幾年來符號(hào)執(zhí)行技術(shù)發(fā)展快速,在早期只能分析簡單數(shù)據(jù)類型和簡單數(shù)據(jù)運(yùn)算的單過程程序,目前向著能夠應(yīng)用于復(fù)雜數(shù)據(jù)類型、復(fù)雜運(yùn)算操作、多過程程序的方向發(fā)展。
但是符號(hào)執(zhí)行技術(shù)向?qū)嵱没较虬l(fā)展的過程中仍然存在如下三方面困難。其一,對(duì)于任意功能外部過程調(diào)用的處理方法存在局限性(外部調(diào)用承擔(dān)了目標(biāo)程序與執(zhí)行環(huán)境交互的功能,因此這種局限性也稱為環(huán)境交互問題)。實(shí)際情況中或由于外部調(diào)用黑
3、盒的特性,或由于外部調(diào)用會(huì)極大增加程序體積,而無法進(jìn)行有效符號(hào)執(zhí)行分析?,F(xiàn)有的以實(shí)際執(zhí)行值替換符號(hào)變量的方法具有嚴(yán)重的片面性,而基于環(huán)境建模的方法不具備實(shí)用性。其二是路徑爆炸問題,符號(hào)執(zhí)行存在程序路徑數(shù)量會(huì)隨著程序體積呈指數(shù)性增長的現(xiàn)象。這造成對(duì)大型程序的分析很難在可容忍的時(shí)間消耗和資源消耗內(nèi)完成。而現(xiàn)有的函數(shù)摘要等解決方法存在不精確性和無法處理遞歸調(diào)用等問題。其三,對(duì)具有復(fù)雜數(shù)據(jù)結(jié)構(gòu)、基于指針運(yùn)算、內(nèi)存動(dòng)態(tài)分配等復(fù)雜數(shù)據(jù)運(yùn)算的程序的處
4、理模型不健全,對(duì)任意形式的數(shù)據(jù)結(jié)構(gòu)不能完全處理。這些問題是當(dāng)前符號(hào)執(zhí)行理論發(fā)展的最大障礙,已經(jīng)成為學(xué)界研究的熱點(diǎn)。
本文的研究工作試圖解決上述問題,主要包括以下幾個(gè)方面:
第一項(xiàng)工作也是論文中最重要的工作是針對(duì)路徑爆炸問題,提出了分段符號(hào)執(zhí)行模型。分段符號(hào)執(zhí)行是一種新的符號(hào)執(zhí)行模型,基本思路是將大型程序的分析拆分為多個(gè)程序單元的分析,可分多次選擇性的執(zhí)行目標(biāo)程序中的不同單元。其中每一分析單元內(nèi)的路徑數(shù)量都在可
5、控制的范圍內(nèi),不會(huì)造成持續(xù)的路徑爆炸,但是如果需要滿足總的分析時(shí)間僅為各部分分析時(shí)間的總和,前提是能夠處理外部調(diào)用和環(huán)境交互的問題,使得實(shí)際執(zhí)行的時(shí)間消耗要大大小于符號(hào)執(zhí)行的時(shí)間消耗。在分段符號(hào)執(zhí)行中,各目標(biāo)單元間的調(diào)用也成為了外部調(diào)用,因此環(huán)境交互問題就成為了分段符號(hào)執(zhí)行模型的關(guān)鍵性問題。
論文通過對(duì)外部調(diào)用的參數(shù)屬性判斷、實(shí)際執(zhí)行過程的程序行為分析及IO對(duì)象建模的方法來處理環(huán)境交互問題。
論文的第二項(xiàng)工作
6、是在數(shù)據(jù)流分析理論和方法的基礎(chǔ)上,定義并判斷外部過程調(diào)用的參數(shù)屬性。通過參數(shù)屬性抽象描述了外部過程中的數(shù)據(jù)輸入與輸出等行為,從而能夠檢測到并符號(hào)化輸入的數(shù)據(jù)。這將程序分析過程中對(duì)外部調(diào)用的處理轉(zhuǎn)換為了函數(shù)內(nèi)部分析。論文中所采用數(shù)據(jù)流分析是一種成熟的程序分析方法,對(duì)符號(hào)執(zhí)行的時(shí)間消耗影響很小。
第三是提出了實(shí)際執(zhí)行過程的程序行為分析及IO對(duì)象建模的方法,這兩種方法在分段符號(hào)執(zhí)行系統(tǒng)框架中體現(xiàn)。系統(tǒng)框架包括一種適用于分段符號(hào)執(zhí)
7、行模型的中間語言和一個(gè)執(zhí)行引擎。通過設(shè)立內(nèi)置的堆塊數(shù)據(jù)類型、監(jiān)控內(nèi)存分配與釋放操作、符號(hào)化系統(tǒng)對(duì)象、監(jiān)控實(shí)際執(zhí)行過程中的IO操作、使用函數(shù)調(diào)用序列等方法,建立了外部過程的程序?qū)嵭行袨榕c目標(biāo)單元中符號(hào)執(zhí)行行為的聯(lián)系,化解了程序表示的缺失所造成的無法進(jìn)行符號(hào)執(zhí)行分析的問題,從而能夠有效處理外部調(diào)用過程中的環(huán)境交互性。這使得在分析目標(biāo)的程序內(nèi),任意的選擇若干過程作為一次分析的目標(biāo)單元成為了可能,是分段符號(hào)執(zhí)行能夠正確進(jìn)行的基礎(chǔ)。
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于符號(hào)摘要的動(dòng)態(tài)符號(hào)執(zhí)行的研究.pdf
- 浮點(diǎn)程序符號(hào)執(zhí)行平臺(tái)研究.pdf
- 符號(hào)執(zhí)行結(jié)合隨機(jī)方法
- 動(dòng)態(tài)符號(hào)執(zhí)行的性能優(yōu)化.pdf
- 基于Actor模型的并行動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)研究.pdf
- 動(dòng)態(tài)符號(hào)執(zhí)行中的外部函數(shù)處理.pdf
- 基于動(dòng)態(tài)符號(hào)執(zhí)行的MSVL程序模型檢測理論與方法.pdf
- 水污染與經(jīng)濟(jì)交互問題的研究.pdf
- 基于動(dòng)態(tài)符號(hào)執(zhí)行的模糊測試方法研究.pdf
- 動(dòng)態(tài)符號(hào)執(zhí)行約束求解優(yōu)化設(shè)計(jì)與實(shí)現(xiàn).pdf
- 形狀分析符號(hào)執(zhí)行引擎中的狀態(tài)合并.pdf
- 基于符號(hào)執(zhí)行的代碼靜態(tài)檢測方法研究與實(shí)現(xiàn).pdf
- 面向復(fù)雜運(yùn)算程序的符號(hào)執(zhí)行搜索策略研究.pdf
- 網(wǎng)絡(luò)教學(xué)中的師生交互問題研究.pdf
- 基于選擇性符號(hào)執(zhí)行的補(bǔ)丁驗(yàn)證.pdf
- 基于符號(hào)執(zhí)行的Python攻擊腳本分析.pdf
- 基于動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)的軟件性能缺陷發(fā)現(xiàn).pdf
- 符號(hào)執(zhí)行工具KLEE約束求解優(yōu)化設(shè)計(jì)與實(shí)現(xiàn).pdf
- 基于符號(hào)執(zhí)行的漏洞挖掘系統(tǒng)的研究與設(shè)計(jì).pdf
- 基于符號(hào)執(zhí)行的軟件測試技術(shù)研究與設(shè)計(jì).pdf
評(píng)論
0/150
提交評(píng)論