Web應用程序中異步請求時序問題檢測研究.pdf

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

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

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