由麻豆福利视频最新发布版本,欧洲午夜精品久久久久久,正在播放国产馆

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

你還可能感興趣

我要評論