Web應(yīng)用程序中異步請求時序問題檢測研究.pdf

1、Web應(yīng)用程序是指用戶只需要通過Web瀏覽器即可訪問的應(yīng)用程序。網(wǎng)絡(luò)技術(shù)的發(fā)展導(dǎo)致計算機網(wǎng)絡(luò)應(yīng)用的訪問劇增，巨大的流量需求促進著Web應(yīng)用程序的發(fā)展和進步。為了提高與用戶之間的交互速度，Web應(yīng)用程序在多種情況下使用異步請求交互技術(shù)，AJAX是最常見的一種異步請求技術(shù)。由于AJAX實現(xiàn)了異步發(fā)送請求進行數(shù)據(jù)傳輸，從而很大程度上提高了與用戶之間的交互速度。
　　然而在異步請求中，由于程序代碼設(shè)計不合理、網(wǎng)絡(luò)延遲等原因，客戶端請求與服

2、務(wù)端響應(yīng)之間存在不確定性，使得傳輸?shù)臄?shù)據(jù)發(fā)生錯誤，影響用戶的使用。在一個Web應(yīng)用程序中，可能有多個引發(fā)異步請求的事件，一個能夠引發(fā)異步請求的事件有可能發(fā)生在另一個已經(jīng)出發(fā)的異步請求事件的執(zhí)行過程中。若這兩個事件分別作用于頁面的不同DOM元素中，且參數(shù)沒有任何關(guān)聯(lián)性，那么不會發(fā)生數(shù)據(jù)錯誤，但是如果這兩個事件的參數(shù)存在一定的關(guān)聯(lián)關(guān)系，就有可能引發(fā)錯誤。
　　因此，本文對返回中存在事件操作的異步請求，通過URL參數(shù)從服務(wù)器端獲取完整的

3、返回數(shù)據(jù)，分析兩個事件操作之間或與原有的異步請求之間可能引發(fā)的問題，并將此類問題定義為異步請求時序問題，通過形式化方法詳細描述出正確的異步請求時序和可能引發(fā)錯誤的異步請求時序。然后本文定義了異步請求時序問題的交錯圖表示方法，分析歸納出三類異步請求時序問題，并根據(jù)交錯圖連通關(guān)系，實現(xiàn)相應(yīng)的檢測算法用于三類異步請求時序錯誤的檢測。
　　最后在此基礎(chǔ)上提出了一個完整的工具原型，用于自動化檢測Web應(yīng)用程序中的異步請求時序問題。利用本文所