特定環(huán)境及應(yīng)用測(cè)試(編輯修改稿)
2025-06-18 21:31 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 *L，表示兩個(gè)服務(wù)端頁(yè)面之間的重定向關(guān)系。 26 某電子商務(wù)網(wǎng)站的 ORD圖 27 某電子商務(wù)網(wǎng)站的 ORD圖 ? 用戶可以從頁(yè)面 Item client page中選擇喜歡的某一項(xiàng)進(jìn)行購(gòu)買；從該頁(yè)面可以鏈接到 Detail client page頁(yè)面；用戶可以在頁(yè)面 Detail client page中查看商品詳細(xì)的信息，確定購(gòu)買后將請(qǐng)求提交到 Buy server page頁(yè)面， Buy server page中包含了BuyAgent po來(lái)處理購(gòu)買請(qǐng)求?；谔幚淼慕Y(jié)果，會(huì)產(chǎn)生相應(yīng)的頁(yè)面 BuyAbortclientpage或者 BuySucceed client page。從BuyAbortclientpage或者 BuySucceed client page頁(yè)面，用戶可以鏈接到 Item client page頁(yè)面，繼續(xù)下一次的購(gòu)買。而且， Buy server page頁(yè)面可以重定向請(qǐng)求給頁(yè)面 Auth server page，將結(jié)果用 Auth client page發(fā)送給用戶。 28 行為模型 ? 可以通過(guò)兩方面進(jìn)行行為模型建模： –一方面表示 Web頁(yè)面之間的導(dǎo)航行為，利用頁(yè)面導(dǎo)航圖來(lái)描述； –另一方面表示交互對(duì)象的狀態(tài)依賴行為，利用對(duì)象狀態(tài)圖來(lái)描述。 29 頁(yè)面導(dǎo)航圖 (PND) ? PND是一個(gè)有限狀態(tài)機(jī)，每個(gè)狀態(tài)代表一個(gè)客戶頁(yè)，狀態(tài)之間的轉(zhuǎn)移表示超鏈接，并用超鏈接的 URL來(lái)標(biāo)識(shí)； ? 另外，由于同樣的超鏈接可能會(huì)產(chǎn)生不同的客戶端頁(yè)面，因而轉(zhuǎn)移還要用放在括號(hào)中的條件來(lái)標(biāo)識(shí)，該條件指定了轉(zhuǎn)移發(fā)生時(shí)提交的數(shù)據(jù)值。 ? 可以將頁(yè)面導(dǎo)航圖改寫成一棵樹(shù)。根節(jié)點(diǎn)為 q0，每個(gè)節(jié)點(diǎn)的子節(jié)點(diǎn)為其通過(guò)超鏈接能夠到達(dá)的頁(yè)面，同時(shí)注意避免產(chǎn)生回路；這樣，從根節(jié)點(diǎn)到每個(gè)葉子節(jié)點(diǎn)之間的路徑就是測(cè)試路徑，從而能夠檢查超鏈接的可達(dá)性，保證導(dǎo)航行為是合適的并且是滿足需求的。 30 頁(yè)面導(dǎo)航圖與導(dǎo)航測(cè)試樹(shù) 利用這個(gè)導(dǎo)航樹(shù)檢測(cè)某些導(dǎo)航特性時(shí)，發(fā)現(xiàn)：如果有一個(gè)用戶訪問(wèn)了 Pageb，則這個(gè)用戶沒(méi)有機(jī)會(huì)訪問(wèn)除了 Pagee和Pagef之外的任何頁(yè)面。而且，用戶將在訪問(wèn) Pagee和 Pagef時(shí)停止，而若不使用瀏覽器所提供的歷史頁(yè)面功能則不能轉(zhuǎn)到任何其他頁(yè)面。 31 導(dǎo)航測(cè)試樹(shù)的路徑表達(dá)式 ? 導(dǎo)航測(cè)試樹(shù)的路徑表達(dá)式是圖中所有路徑的代數(shù)表示，表達(dá)式中的變量是邊標(biāo)簽，表達(dá)式中的操作符有三個(gè)，分別為 ()， +和 *，其中，“ ()”用于表示子表達(dá)式組，“ +”用于路徑的選擇，“ *”用于路徑的循環(huán)。 ? 從 Pagea導(dǎo)航的測(cè)試路徑： – ([var=d1]urlb， urle)+(urld， (urle， urlf)*+(urlf， urle)*+urla) + ([var=d2]url c，(urld+urlf)) 32 對(duì)象狀態(tài)圖 (OSD) ? OSD是一組層次化的、并發(fā)和交互的狀態(tài)機(jī)，狀態(tài)之間的轉(zhuǎn)換通過(guò)事件觸發(fā)來(lái)進(jìn)行，多個(gè)相互依賴的OSD構(gòu)成了一個(gè)組合對(duì)象狀態(tài)圖 COSD。 ? 對(duì)象之間的交互，例如 HTTP請(qǐng)求 /響應(yīng)，可以使用“ /”后的觸發(fā)器進(jìn)行建模。 – 例如 submit/，觸發(fā)器 示如果 submit轉(zhuǎn)移發(fā)生，則 process server page S中的recv_request轉(zhuǎn)移將被觸發(fā)。 ? 為了同步處理并發(fā)的對(duì)象，在對(duì)象狀態(tài)圖中引入了一個(gè) waiting狀態(tài)，表示對(duì)象將會(huì)一直等待，直到它其中的一個(gè)轉(zhuǎn)移被其他對(duì)象觸發(fā)。 33 狀態(tài)依賴圖例子 34 COSD測(cè)試樹(shù) ? 為了揭示交互對(duì)象狀態(tài)依賴行為的錯(cuò)誤，可以基于復(fù)合對(duì)象狀態(tài)圖 COSD產(chǎn)生 COSD測(cè)試樹(shù)，然后利用 COSD測(cè)試樹(shù)得到測(cè)試用例。 ? 利用 CDSD圖得到 COSD測(cè)試樹(shù)時(shí)，測(cè)試樹(shù)中的節(jié)點(diǎn)描述了COSD的復(fù)合狀態(tài)，樹(shù)的邊代表了狀態(tài)之間的轉(zhuǎn)移。如果COSD包含了 N個(gè) OSD，則測(cè)試樹(shù)中的每個(gè)節(jié)點(diǎn)的狀態(tài)用一個(gè) N元組來(lái)表示，下標(biāo) I代表了是相應(yīng) OSD的第幾個(gè)狀態(tài)。構(gòu)造的算法如下所示： – ①樹(shù)根：是每一個(gè) OSD的初始狀態(tài)的復(fù)合狀態(tài)。 – ②檢查樹(shù)中的每一個(gè)節(jié)點(diǎn)，根據(jù) OSD中的節(jié)點(diǎn)的轉(zhuǎn)移對(duì)樹(shù)中的節(jié)點(diǎn)進(jìn)行擴(kuò)展，并且修改相應(yīng)的狀態(tài)。 – ③重復(fù)第 2步，直到?jīng)]有節(jié)點(diǎn)需要擴(kuò)展。 ? 測(cè)試用例是樹(shù)中起始于根，結(jié)束于任何節(jié)點(diǎn)的各個(gè)路徑的轉(zhuǎn)移序列。 35 基于 COSD產(chǎn)生 COSD測(cè)試樹(shù)例子 一個(gè)測(cè)試用例： keypress......(submit,recv_request)......(place_bid,bid)......(return,response,recv_response) 36 結(jié)構(gòu)模型 ? 深入了解 Web應(yīng)用，必須掌握其內(nèi)部的控制流和數(shù)據(jù)流信息 ? 從變量出
試題試卷相關(guān)推薦
鄂ICP備17016276號(hào)-1