外文翻譯--數(shù)據(jù)流分析和java服務(wù)器頁(yè)面測(cè)試（譯文）

1、<p><b>　　中文5300字</b></p><p>　　文獻(xiàn)出處：Liu C H. Data flow analysis and testing of Java Server Pages[C]// Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the, In

2、ternational. IEEE, 2004:114-119 vol.2.</p><p>　　畢業(yè)設(shè)計(jì)(論文)外文資料翻譯</p><p>　　學(xué) 院：　　計(jì)算機(jī)工程學(xué)院　　</p><p>　　?！　I(yè)：　 計(jì)算機(jī)科學(xué)與技術(shù)　</p><p>　　學(xué)生姓名：　　 ________</p><p

3、>　　班級(jí)學(xué)號(hào)：　 　________</p><p>　　外文出處：　　　　　　　　　　</p><p>　　數(shù)據(jù)流分析和java服務(wù)器頁(yè)面測(cè)試</p><p><b>　　劉鴻漸</b></p><p><b>　　摘要</b></p><p>　　

4、Web應(yīng)用程序通常依賴于服務(wù)器端的腳本來(lái)處理HTTP請(qǐng)求，生成動(dòng)態(tài)內(nèi)容與其他組件進(jìn)行交互。服務(wù)器端的腳本通常與HTML語(yǔ)句混合，很難理解和測(cè)試。特別是，這些腳本沒(méi)有任何編譯檢查，可能容易出錯(cuò)，因此，測(cè)試服務(wù)器端腳本以確保Web應(yīng)用程序的質(zhì)量和可靠性變得至關(guān)重要。</p><p>　　在本文中，我們?cè)趈ava服務(wù)器頁(yè)面（JSP）中采用傳統(tǒng)的數(shù)據(jù)流測(cè)試技術(shù)。java技術(shù)是一種非常流行的，用來(lái)開(kāi)發(fā)Web 應(yīng)用程序的服務(wù)

5、器端腳本。我們指出，JSP隱含對(duì)象和動(dòng)作標(biāo)簽可以引入一些需要被處理的數(shù)據(jù)流測(cè)試工件。測(cè)試模型提出捕捉JSP頁(yè)面的數(shù)據(jù)流信息的各種隱含對(duì)象和動(dòng)作標(biāo)記的注意事項(xiàng)?；跍y(cè)試模型，我們描述一種方法來(lái)計(jì)算揭示JSP頁(yè)面過(guò)程內(nèi)的數(shù)據(jù)異常和過(guò)程間數(shù)據(jù)流測(cè)試路徑。</p><p><b>　　1.介紹</b></p><p>　　Web應(yīng)用程序迅速擴(kuò)展到社會(huì)的各個(gè)領(lǐng)域，如政府、商業(yè)、

6、教育和工業(yè)。與其他軟件一樣，Web應(yīng)用程序必須進(jìn)行徹底的測(cè)試，以確保其正確性，并符合軟件需求。隨著web應(yīng)用程序的發(fā)展給予了廣泛關(guān)注，然而，盡可能多的關(guān)注給了Web應(yīng)用程序的開(kāi)發(fā)，存在于Web應(yīng)用程序測(cè)試的報(bào)道非常少，網(wǎng)絡(luò)應(yīng)用程序仍然在專案過(guò)程中測(cè)試，許多領(lǐng)域的網(wǎng)絡(luò)應(yīng)用程序測(cè)試仍然未開(kāi)發(fā)。最近，一些方法已被提出以解決Web應(yīng)用程序測(cè)試。大部分的辦法集中于在頁(yè)面級(jí)恢復(fù)Web應(yīng)用程序的架構(gòu)，以提供測(cè)試的路線圖行使網(wǎng)頁(yè)和他們的關(guān)系。但是傳統(tǒng)的

7、結(jié)構(gòu)測(cè)試仍然是web應(yīng)用程序所必需的，以用來(lái)提供足夠的代碼覆蓋率。因此，在文本中，我們的目標(biāo)是在數(shù)據(jù)流分析和JSP頁(yè)面測(cè)試做出努力，讓其在Java技術(shù)的Web應(yīng)用程序中起到至關(guān)重要的作用。 </p><p>　　JSP頁(yè)面已被廣泛用于開(kāi)發(fā)web應(yīng)用程序來(lái)處理HTTP請(qǐng)求，用java組件如java bean的交互，并生成動(dòng)態(tài)頁(yè)面。確保JSP頁(yè)面被正確寫(xiě)入以及它們與其它組件的交互得到妥善處理是很重要的。然而，JSP頁(yè)

8、面通?；煜_本（即JSP 腳本）以及HTML報(bào)表生成動(dòng)態(tài)網(wǎng)頁(yè)，這使得JSP頁(yè)面難以理解和測(cè)試。</p><p>　　此外，作為一種腳本語(yǔ)言，JSP頁(yè)面沒(méi)用任何編譯器檢查，因此很容易出錯(cuò)。雖然已有幾個(gè)測(cè)試工具測(cè)試JSP頁(yè)面，比如HttpUnit,，JSP頁(yè)面測(cè)試被認(rèn)為是困難的，測(cè)試用例仍然在專案過(guò)程中，最重要的是，JSP頁(yè)面都引入了一套類似XML標(biāo)簽和隱式對(duì)象的動(dòng)作。

9、 </p><p>　　當(dāng)JSP頁(yè)面內(nèi)的程序邏輯是行使使用傳統(tǒng)的數(shù)據(jù)流測(cè)試技術(shù)時(shí)， 這些動(dòng)作標(biāo)記和隱式模式對(duì)象可以提出一些問(wèn)題。</p><p>　　在本文中，我們通過(guò)JSP頁(yè)面介紹識(shí)別和分析可能的數(shù)

10、據(jù)流測(cè)試工件，一種測(cè)試模型提供了抽象各種JSP隱含對(duì)象和動(dòng)作標(biāo)簽的數(shù)據(jù)流信息，用于計(jì)算涉及隱含對(duì)象和動(dòng)作標(biāo)簽的數(shù)據(jù)流測(cè)試路徑的方法描述和說(shuō)明。</p><p>　　本論文的主要內(nèi)容如下：第2節(jié)簡(jiǎn)要回顧了現(xiàn)有的網(wǎng)絡(luò)應(yīng)用程序測(cè)試方法。第3節(jié)描述了數(shù)據(jù)流測(cè)試工件提出JSP隱式對(duì)象和動(dòng)作標(biāo)簽。第4節(jié)提出了數(shù)據(jù)流測(cè)試模型來(lái)表示這些JSP測(cè)試工件。第5節(jié)說(shuō)明了計(jì)算JSP頁(yè)面的過(guò)程內(nèi)和過(guò)程間數(shù)據(jù)流信息的方法。最后部分總結(jié)了結(jié)論

11、，并描述了未來(lái)的研究方向。</p><p><b>　　2.相關(guān)工作</b></p><p>　　最近，更多的網(wǎng)絡(luò)應(yīng)用程序測(cè)試的方法已經(jīng)被提出，Yang et al.[13]拓展傳統(tǒng)軟件測(cè)試架構(gòu)以支持網(wǎng)絡(luò)應(yīng)用測(cè)試。開(kāi)發(fā)一套工具，以幫助分析文件，開(kāi)發(fā)測(cè)試用例，執(zhí)行測(cè)試，監(jiān)控故障，并支持測(cè)試測(cè)量。Kung et al.[6,7]在對(duì)象和關(guān)系方面，提出了一個(gè)非結(jié)構(gòu)化網(wǎng)頁(yè)應(yīng)用

12、的測(cè)試模型。他們把HTML文檔作為對(duì)象，并分析與Web應(yīng)用程序的其他組件及其可能的數(shù)據(jù)流的相互作用。數(shù)據(jù)流測(cè)試策略提出從內(nèi)部對(duì)象，對(duì)象間的和客戶端之間選擇測(cè)試路徑。</p><p>　　Ricca和Tonella[10]描述一種捕獲網(wǎng)頁(yè)，表單，框架的分析模型和它們之間的關(guān)系。該模型提取靜態(tài)和動(dòng)態(tài)Web應(yīng)用程序的Web頁(yè)。從模型中，測(cè)試用例可以推導(dǎo)出測(cè)試數(shù)據(jù)流的網(wǎng)頁(yè)。Lucca et al.[8]提出了一個(gè)復(fù)雜的測(cè)

13、試模型來(lái)表示一個(gè)Web應(yīng)用程序的基于模型的各種實(shí)體，根據(jù)他們的模型，提出了一種策略，為生成單元和集成測(cè)試的網(wǎng)絡(luò)應(yīng)用程序生成初步測(cè)試案例。Wu and Offutt[14] 用一個(gè)頁(yè)面的原子量來(lái)描述結(jié)構(gòu)靜態(tài)和動(dòng)態(tài)頁(yè)面的組合技術(shù)和若干規(guī)則?；谟脩舻慕换ィ麄儍H僅測(cè)試用例的靜態(tài)頁(yè)面和原子元素組成的序列。Benedikl et al.[1]提出一種自動(dòng)化的測(cè)試過(guò)程的Web應(yīng)用程序的工具，基本上，該工具可以生成測(cè)試輸入并且能自動(dòng)探索網(wǎng)站的靜態(tài)和

14、動(dòng)態(tài)頁(yè)面。</p><p>　　除了用于測(cè)試Web應(yīng)用程序的功能的方法，Kallepalli and tian[5]and Tonella and Ricca[11] 利用Web應(yīng)用程序在執(zhí)行過(guò)程中收集使用信息和故障日志，來(lái)支持可靠性分析，與此同時(shí)，Elbaum al.[3]利用Web應(yīng)用程序捕獲數(shù)據(jù)比采用白盒技術(shù)生成用例測(cè)試費(fèi)用少。</p><p>　　3.JSP頁(yè)面的數(shù)據(jù)流測(cè)試工件&l

15、t;/p><p>　　數(shù)據(jù)流測(cè)試主要研究變量及其潛在用途的定義為探索程序的數(shù)據(jù)異常，一個(gè)變量的問(wèn)題可分為C-Use（計(jì)算使用）或p-Use（判定使用）。測(cè)試程序的路徑是基于定義使用鏈的選取（或定義使用鏈），其中一個(gè)變量的定義 - 使用鏈?zhǔn)鞘褂米远x的變量，沒(méi)有任何重新定義的路徑介入。探索JSP頁(yè)面的數(shù)據(jù)異常，我們需要考慮的不僅是由JSP技術(shù)推出的jsp頁(yè)面的變量而且還要考慮隱含對(duì)象和動(dòng)作標(biāo)簽。隱含對(duì)象，比如請(qǐng)求和響應(yīng)

16、對(duì)象，允許JSP開(kāi)發(fā)人員訪問(wèn)JSP-provided服務(wù)和資源，而無(wú)需顯式聲明的對(duì)象。特別是，一些隱含對(duì)象具有控制輸入/輸出JSP 頁(yè)面的流量功能。例如，請(qǐng)求對(duì)象，相同的請(qǐng)求對(duì)象可以提供給該服務(wù)給定的HTTP請(qǐng)求的所有JSP頁(yè)面。這會(huì)導(dǎo)致JSP頁(yè)面之間的數(shù)據(jù)交互。此外，響應(yīng)對(duì)象的sendRedirect（）方法允許HTTP請(qǐng)求重定向到另一個(gè)JSP頁(yè)面，重定向不但可以影響數(shù)據(jù)在JSP頁(yè)面中的流動(dòng)，而且還可以引入兩個(gè)JSP頁(yè)面之間或JSP頁(yè)

17、面和一個(gè)Java servlet之間的數(shù)據(jù)交互。</p><p>　　除了隱含對(duì)象，在JSP技術(shù)引入了一組標(biāo)準(zhǔn)的類似XML的動(dòng)作標(biāo)簽，如such as <jsp:useBean>and<jsp:forward>動(dòng)作標(biāo)簽的代碼處理程序，允許JSP頁(yè)面與其他JSP頁(yè)面和Java對(duì)象交互關(guān)聯(lián)。例如，看圖1第五行l(wèi)ogin.jsp頁(yè)面，有一個(gè)<jsp:useBean>標(biāo)簽分配一個(gè)標(biāo)記屬

18、性測(cè)試Java對(duì)象testBean。該測(cè)試屬性在第8行作testBean對(duì)象的引用參考，其中，變量的數(shù)據(jù)登錄和密碼從login.jsp頁(yè)面?zhèn)鬟f給test.verify（）方法。結(jié)果是，<jsp：useBean>標(biāo)簽需要考慮當(dāng)捕捉JSP頁(yè)面和Java對(duì)象之間的數(shù)據(jù)交互時(shí)，計(jì)算JSP頁(yè)面的數(shù)據(jù)流信息。</p><p>　　此外，在圖1中的12行，<jsp：forward>標(biāo)簽允許HTTP請(qǐng)求傳

19、送帶參數(shù)my_mum到debug:jsp頁(yè)面。<jsp：forward>標(biāo)簽不僅改變login.jsp頁(yè)面的流量，而且還導(dǎo)致的login.jsp和debug.jsp頁(yè)面之間的數(shù)據(jù)交互。注意，不同于傳統(tǒng)的函數(shù)調(diào)用，簡(jiǎn)單的把<jsp:forward>標(biāo)簽從login.jsp頁(yè)面到debug.jsp頁(yè)面執(zhí)行沒(méi)有任何回調(diào)的控制權(quán)。這樣的單向數(shù)據(jù)流必須考慮使JSP頁(yè)面的數(shù)據(jù)流信息可正確計(jì)算。</p><

20、p>　　圖1.JSP動(dòng)作標(biāo)簽數(shù)據(jù)交互的一個(gè)例子</p><p>　　表1總結(jié)了JSP隱含對(duì)象和動(dòng)作標(biāo)記幾個(gè)基本的數(shù)據(jù)流測(cè)試工件的介紹。應(yīng)當(dāng)指出除了<jsp：forward>標(biāo)簽，<jsp：include>的標(biāo)簽允許數(shù)據(jù)參數(shù)傳遞給另一個(gè)JSP頁(yè)面或Java servlet于是可以引入JSP頁(yè)面和servlet之間的數(shù)據(jù)交互。雖然，<jsp:include>標(biāo)簽僅包括來(lái)自其他

21、JSP頁(yè)面和Servlet到當(dāng)前JSP頁(yè)面的輸出?？刂屏魇穷愃朴趥鹘y(tǒng)函數(shù)調(diào)用，并且將返回到當(dāng)前JSP頁(yè)面。</p><p>　　4.數(shù)據(jù)流量測(cè)試模型的JSP頁(yè)面</p><p>　　從控制結(jié)構(gòu)的觀點(diǎn)來(lái)看，JSP頁(yè)面更像是傳統(tǒng)的方法，而不是對(duì)象類盡管一個(gè)JSP頁(yè)面可以包含多個(gè)腳本功能。原因是，一個(gè)JSP頁(yè)面只有一個(gè)入口點(diǎn)，并且JSP頁(yè)面中定義的所有功能只能在JSP頁(yè)面中進(jìn)行訪問(wèn)。因此，對(duì)于抽

22、象JSP頁(yè)面的數(shù)據(jù)流信息，我們通?？紤]JSP頁(yè)面的傳統(tǒng)程序和捕捉他們的過(guò)程內(nèi)和過(guò)程間數(shù)據(jù)流測(cè)試工件。</p><p>　　為了表示對(duì)JSP頁(yè)面間數(shù)據(jù)流信息，控制流圖（CFG）注明DEF/USE信息采用。定義使用注釋的CFG是一個(gè)有向圖。節(jié)點(diǎn)代表JSP腳本語(yǔ)句塊的邊緣，代表語(yǔ)句塊之間的執(zhí)行流程。特別是，CFG注釋發(fā)生變量，隱式對(duì)象和利益行為的標(biāo)簽</p><p>　　需要注意的是，在第3節(jié)所

23、述，response.sendRedirect（），pageContext.forward（）和<jsp:forward>標(biāo)簽可以構(gòu)成一個(gè)單向數(shù)據(jù)流。因此，該過(guò)程內(nèi)測(cè)試模型可能不是一個(gè)單入單出射CFG。此外，在JSP頁(yè)面中的HTML報(bào)表作為報(bào)表輸出的變量沒(méi)有任何定義或使用。另外，每個(gè)動(dòng)作標(biāo)記塊，包括開(kāi)始標(biāo)簽，零個(gè)或多個(gè)標(biāo)簽屬性，標(biāo)簽體，和結(jié)束標(biāo)記，表示為CFG單塊。</p><p>　　圖2示出圖1中

24、的注解的CFG為login.jsp頁(yè)面的清晰度/使用。定義和變量的用途，隱式對(duì)象，和動(dòng)作標(biāo)記在對(duì)應(yīng)邊注解。值得注意的，在圖1的12行，從開(kāi)始的所有語(yǔ)句的<jsp：forward>標(biāo)記，并在結(jié)束</ JSP：forward>標(biāo)記都被認(rèn)為是的<jsp：forward>的一個(gè)XML塊標(biāo)記。此塊是由CFG.In添加節(jié)點(diǎn)12表示，“end”節(jié)點(diǎn)在CFG cereated由于<jsp :forward>

25、; tag.AT這個(gè)節(jié)點(diǎn)，控制流從login.jsp頁(yè)面轉(zhuǎn)移到debug.jsp頁(yè)面而不回報(bào)，過(guò)程間的數(shù)據(jù)流可以被引入。在這一節(jié)點(diǎn), 控制流從login.jsp頁(yè)面到debug.jsp頁(yè)面轉(zhuǎn)移沒(méi)有返回，并可以引入數(shù)據(jù)流。</p><p>　　圖2.DEF/USE注釋的login.jsp的CFG。</p><p>　　表示涉及一個(gè)以上功能或一種JSP頁(yè)面的數(shù)據(jù)流的信息，用高清注釋過(guò)程間控制流

26、圖（ICFG）/使用信息所采用的數(shù)據(jù)流信息，該ICFG已被用于在傳統(tǒng)節(jié)目的交互功能間數(shù)據(jù)流模型[4,12]。為了捕捉JSP頁(yè)面和Java組件之間的間數(shù)據(jù)流，CFG的建設(shè)要考慮到除了隱式對(duì)象和動(dòng)作標(biāo)記的功能。以下列表中的幾種情況，其中間數(shù)據(jù)流可能發(fā)生和ICFGs需要建設(shè)相應(yīng)的JSP頁(yè)面和Java組件?！癿ain”腳本函數(shù)或JSP頁(yè)面的腳本函數(shù)調(diào)用同一個(gè)JSP頁(yè)面中的另一個(gè)腳本函數(shù)。</p><p>　　或<J

27、SP：的setProperty>標(biāo)記或通過(guò)直接引用Java組件的方法：在JSP頁(yè)面中通過(guò)<jsp中的getProperty>調(diào)用相應(yīng)的Java組件。</p><p>　　JSP頁(yè)面通過(guò)調(diào)用另一個(gè)JSP頁(yè)面或的Java servlet的<jsp：include>的標(biāo)簽。</p><p>　　JSP頁(yè)面調(diào)用另一個(gè)JSP頁(yè)面或的Java servlet通過(guò)的<

28、jsp：forward>標(biāo)記中，reponse.sendRedirect（）方法，或pageContext.forward（）方法。</p><p>　　請(qǐng)注意，動(dòng)作標(biāo)簽的<jsp：的getProperty>，<jsp的：包括>有，在ICFG可以通過(guò)連接代表調(diào)用JSP頁(yè)面將這些動(dòng)作標(biāo)簽的節(jié)點(diǎn)構(gòu)造類似于傳統(tǒng)的功能calls.As結(jié)果控制流程的所謂的Java方法或JSP pages.Ho

29、wever，條目節(jié)點(diǎn)的<jsp：正向>標(biāo)記，所述pageContext.forward（）方法，和的sendRedirect（）方法導(dǎo)致單向控制flow.Thus，所述IFCG的結(jié)構(gòu)需要連接對(duì)應(yīng)的“結(jié)束”節(jié)點(diǎn)的<jsp：forward>標(biāo)記中，pageContext.forward（）方法，和的sendRedirect（）方法轉(zhuǎn)發(fā)（或重定向）JSP頁(yè)面的入口節(jié)點(diǎn)轉(zhuǎn)發(fā)（或重定向）JSP頁(yè)面或Java方法。</

30、p><p>　　為了說(shuō)明，考慮Figure3.In線7所示的交互JSP頁(yè)面，該頁(yè)面icfg.jsp可以通過(guò)一個(gè)請(qǐng)求對(duì)象，屬性組成user_x和my_y，到fw.jsp頁(yè)面使用的的<jsp：正向>tag.Thus，屬性u(píng)ser_x和my_y可直接或分別在icfg.jsp頁(yè)（在Lines2and4）定義并在fw.jsp頁(yè)面中使用（在Lines12和13）。而且，在第6行中，變量x，屬性u(píng)ser_x的別名，傳遞

31、給其中x是2，行屬性的使用也user_x通過(guò)相同的請(qǐng)求傳遞給in.jsp頁(yè)第8行的本地函數(shù)INC（）在icfg.jsp頁(yè)反對(duì)使用的<jsp：include>的標(biāo)簽，并在Line17使用。</p><p>　　圖4呈現(xiàn)注解ICFG用于圖3，其中陰影節(jié)點(diǎn)表示IFCG.The定義的主入口和出口節(jié)點(diǎn)和變量，隱式對(duì)象的使用中所示的交互JSP頁(yè)面的清晰度/用途，和動(dòng)作標(biāo)簽被注解在對(duì)應(yīng)節(jié)點(diǎn)。請(qǐng)注意，在圖4中，“結(jié)束

32、”的icfg.jsp頁(yè)的節(jié)點(diǎn)被連接到fw.jsp頁(yè)的入口節(jié)點(diǎn)來(lái)代表間數(shù)據(jù)流由<jsp的：正向>引起標(biāo)記。此外，控制流的<jsp：include>的標(biāo)簽是類似于INC（）函數(shù)，其中控制流會(huì)回icfg.jsp頁(yè)面時(shí)，頁(yè)面in.jsp和ICN的處決（）函數(shù)完成。</p><p>　　5.JSP頁(yè)面數(shù)據(jù)流量測(cè)試方法</p><p>　　根據(jù)第4給出的試驗(yàn)?zāi)Ｐ?，JSP頁(yè)面數(shù)據(jù)

33、流測(cè)試可以從過(guò)程內(nèi)可以實(shí)現(xiàn)和過(guò)程間perspectives.From的過(guò)程內(nèi)的角度來(lái)看，定義 - 使用鏈（或測(cè)試路徑）可從DEF獲得/ UE的注釋腳本函數(shù)或JSP page.In特定的CFG，以探討涉及隱含對(duì)象和動(dòng)作標(biāo)記數(shù)據(jù)中的異常，我們定義的請(qǐng)求對(duì)象的“定義”和“用途”和Java對(duì)象與動(dòng)作相關(guān)的標(biāo)簽在JSP腳本如下：如果（1）在第一時(shí)間創(chuàng)建了請(qǐng)求對(duì)象請(qǐng)求對(duì)象的屬性的定義;（2）該屬性在“名稱”中的屬性定義：與<jsp中相關(guān)的&l

34、t;jsp param>標(biāo)簽：正向>或<jsp的：包括>標(biāo)記;（3）該屬性在response.sendRedirect的重定向URL字符串中指定（）方法;或（4）該屬性是在聲明了request.setAttribute（指定“JSP的腳本的“）。</p><p>　　如果該屬性的是在一個(gè)語(yǔ)句request.GET中參數(shù)（“一”）引用使用請(qǐng)求對(duì)象的屬性或在JSP腳本的陳述request.ge

35、tAttribute（“一”）。</p><p>　　標(biāo)簽：如果對(duì)象o在<useBean的JSP>的“id”屬性（即，name屬性）定義的Java對(duì)象o定義。</p><p>　　使用Java對(duì)象o如果對(duì)象o的方法是在JSP腳本或?qū)ο髈的一份聲明中直接引用在“名稱”中引用的陽(yáng)離子標(biāo)簽屬性的<jsp：的setProperty>和<jsp的：的getPropert

36、y>。</p><p>　　有了上面的定義，我們可以計(jì)算的涉及JSP pages.For例如隱含對(duì)象和動(dòng)作標(biāo)記過(guò)程間的數(shù)據(jù)流的信息，考慮在login.jsp頁(yè)面請(qǐng)求對(duì)象中Figure1.Since請(qǐng)求對(duì)象是在第一時(shí)間創(chuàng)建被調(diào)用login.jsp頁(yè)面時(shí)，請(qǐng)求對(duì)象的屬性的用戶登錄和用戶密碼被認(rèn)為是在圖2.However所示的CFG的“入口”節(jié)點(diǎn)被定義，請(qǐng)求對(duì)象的屬性my_mum被認(rèn)為是<：正向JSP>

37、;標(biāo)簽嵌入到：<param JSP>標(biāo)記，因?yàn)楸恢付╩y_mum要在節(jié)點(diǎn)12界定。</p><p>　　此外，由于在<JSP：useBean>標(biāo)記，屬性測(cè)試被認(rèn)為在節(jié)點(diǎn)5.It進(jìn)行定義，然后在節(jié)點(diǎn)8使用derectly引用方法驗(yàn)證（），并通過(guò)該標(biāo)記用于在節(jié)點(diǎn)10的<jsp：的getProperty>。因此，從圖2，我們可以得到定義 - 使用鏈<條目，6>的屬性USE

38、R_LOGIN，一個(gè)定義 - 使用鏈<條目，7>的屬性u(píng)ser_passwd，和定義 - 使用鏈<58>和<5,10>的測(cè)試attribute.Moreover，對(duì)于局部變量登錄，passwd文件，和num，存在定義 - 使用鏈<6,8>，<7,8>和<8,12>，<8，（9,10）>，<8，（9,12）>分別。</p><

39、;p>　　從過(guò)程間的角度來(lái)看，定義 - 使用鏈變量，和動(dòng)作標(biāo)記在一個(gè)腳本函數(shù)定義并在另一個(gè)腳本函數(shù)中使用（或JSP頁(yè)面）可以在注釋ICFG.For實(shí)例DEF/使用獲得的，在圖3中，請(qǐng)求對(duì)象的屬性USER_ID可以在icfg.jsp頁(yè)面defiend并在fw.jsp和in.jsp pages.From圖4中使用，我們可以計(jì)算兩個(gè)過(guò)程間定義 - 使用鏈<項(xiàng)，12>和<進(jìn)入17>的屬性u(píng)ser_id.These定

40、義 - 使用鏈涵蓋從ICFG，jsp頁(yè)面在頁(yè)面fw.jsp的node12的入口節(jié)點(diǎn)的路徑，并在頁(yè)面in.jsp到節(jié)點(diǎn)17。</p><p>　　此外，請(qǐng)求對(duì)象的屬性my_y通過(guò)了該icfg.jsp頁(yè)面defiend的<jsp：param>的標(biāo)記，在fw.jsp page.Thus時(shí)，我們可以得到一個(gè)過(guò)程間定義 - 使用鏈<7，13>為my_y.Moreover，存在過(guò)程間定義 - 使用鏈為

41、本地變量x，y被定義并在相同icfg.jsp頁(yè)面的不同腳本功能使用。</p><p>　　6. 結(jié)論和未來(lái)工作</p><p>　　本文介紹了支持?jǐn)?shù)據(jù)流分析和JSP pages.In的方法測(cè)試的方法，按特定JSP頁(yè)面的隱含對(duì)象和動(dòng)作標(biāo)記所構(gòu)成的數(shù)據(jù)流測(cè)試工件識(shí)別并提出described.Test模型來(lái)表示JSP數(shù)據(jù)流測(cè)試工件各種JSP隱含對(duì)象和行動(dòng)tags.The可能情形的控制流chara

42、cterristics的考慮網(wǎng)頁(yè)，JSP隱含對(duì)象和動(dòng)作標(biāo)記可能會(huì)導(dǎo)致間數(shù)據(jù)流也highlighted.Moreover，我們定義了數(shù)據(jù)定義和使用在動(dòng)作標(biāo)簽中指定的隱含請(qǐng)求對(duì)象和Java對(duì)象，并演示如何計(jì)算JSP頁(yè)面的變量，隱式對(duì)象，并從過(guò)程內(nèi)和過(guò)程間的觀點(diǎn)活動(dòng)標(biāo)記的數(shù)據(jù)流的信息。</p><p>　　原型工具的開(kāi)發(fā)正在進(jìn)行中，以自動(dòng)定義的收集和使用信息的變量，隱式對(duì)象和動(dòng)作標(biāo)記并促進(jìn)定義 - 使用鏈的計(jì)算對(duì)JSP