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

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

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