999任你躁在线精品免费,中国黄片在线免费观看,欧美一级第一免费高清

本書主題為基于最弱前置條件計算的軟件測試及錯誤定位分析方法研究。主要包括以下幾個方面的內(nèi)容：
一、首先對基于程序分析的軟件測試及錯誤定位研究的總體情況進行分析�；仡欆浖䴗y試技術近幾十年的發(fā)展歷程，分析該技術的重要地位、目前的現(xiàn)狀及面臨的主要困境。分析作為軟件質量維護重要環(huán)節(jié)的軟件修復，并進一步細化軟件修復的重要步驟，包括直接影響軟件修復正確性及有效性的關鍵步驟軟件錯誤定位。
二、其次，全面分析介紹與軟件測試以及錯誤定位相關的國內(nèi)外研究現(xiàn)狀。介紹經(jīng)典程序分析符號執(zhí)行方法，包括傳統(tǒng)符號執(zhí)行的基本理論思想，符號執(zhí)行技術的研究發(fā)展現(xiàn)狀，以及近些年來符號執(zhí)行技術的主要發(fā)展方向以及面臨的主要問題及其挑戰(zhàn)。介紹軟件測試與錯誤定位相關的國內(nèi)外研究現(xiàn)狀，主要關注基于程序分析技術的軟件測試以及錯誤定位分析方法的發(fā)展現(xiàn)狀。
三、接著，介紹基于程序執(zhí)行路徑的最弱前置條件計算框架。包括對被測程序語言的介紹及定義，基于執(zhí)行路徑的最弱前置條件計算算法的介紹等方面內(nèi)容。
四、隨后，介紹基于最弱前置條件計算框架的有效軟件測試方法。針對基于符號執(zhí)行技術的測試方法面臨的路徑爆炸問題，該部分介紹一種有效的基于最弱前置條件計算框架實現(xiàn)的符號執(zhí)行加速算法，該方法通過有效避免重復遍歷相同子路徑的方法加速符號執(zhí)行，緩解該技術面臨的路徑爆炸問題。
五、隨后，介紹基于最弱前置條件計算框架的有效錯誤定位分析方法。針對錯誤定位技術難以準確定位錯誤語句，以及難生成有效的錯誤原因解釋信息的困境，該部分介紹一種有效的基于單條錯誤執(zhí)行路徑展開的錯誤定位分析方法，并分別從非增量以及
六、最后，總結并展望軟件測試以及錯誤定位分析方法的發(fā)展方向。

你還可能感興趣

我要評論