外文翻譯--數(shù)據(jù)流分析和java服務(wù)器頁面測(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ù)器頁面測(cè)試</p><p><b>　　劉鴻漸</b></p><p><b>　　摘要</b></p><p>　　

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

5、器端腳本。我們指出，JSP隱含對(duì)象和動(dòng)作標(biāo)簽可以引入一些需要被處理的數(shù)據(jù)流測(cè)試工件。測(cè)試模型提出捕捉JSP頁面的數(shù)據(jù)流信息的各種隱含對(duì)象和動(dòng)作標(biāo)記的注意事項(xiàng)。基于測(cè)試模型，我們描述一種方法來計(jì)算揭示JSP頁面過程內(nèi)的數(shù)據(jù)異常和過程間數(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)用程序的開發(fā)，存在于Web應(yīng)用程序測(cè)試的報(bào)道非常少，網(wǎng)絡(luò)應(yīng)用程序仍然在專案過程中測(cè)試，許多領(lǐng)域的網(wǎng)絡(luò)應(yīng)用程序測(cè)試仍然未開發(fā)。最近，一些方法已被提出以解決Web應(yīng)用程序測(cè)試。大部分的辦法集中于在頁面級(jí)恢復(fù)Web應(yīng)用程序的架構(gòu)，以提供測(cè)試的路線圖行使網(wǎng)頁和他們的關(guān)系。但是傳統(tǒng)的

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

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

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

10、據(jù)流測(cè)試工件，一種測(cè)試模型提供了抽象各種JSP隱含對(duì)象和動(dòng)作標(biāo)簽的數(shù)據(jù)流信息，用于計(jì)算涉及隱含對(duì)象和動(dòng)作標(biāo)簽的數(shù)據(jù)流測(cè)試路徑的方法描述和說明。</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è)試模型來表示這些JSP測(cè)試工件。第5節(jié)說明了計(jì)算JSP頁面的過程內(nèi)和過程間數(shù)據(jù)流信息的方法。最后部分總結(jié)了結(jié)論

11、，并描述了未來的研究方向。</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è)試。開發(fā)一套工具，以幫助分析文件，開發(fā)測(cè)試用例，執(zhí)行測(cè)試，監(jiān)控故障，并支持測(cè)試測(cè)量。Kung et al.[6,7]在對(duì)象和關(guān)系方面，提出了一個(gè)非結(jié)構(gòu)化網(wǎng)頁應(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)頁，表單，框架的分析模型和它們之間的關(guān)系。該模型提取靜態(tài)和動(dòng)態(tài)Web應(yīng)用程序的Web頁。從模型中，測(cè)試用例可以推導(dǎo)出測(cè)試數(shù)據(jù)流的網(wǎng)頁。Lucca et al.[8]提出了一個(gè)復(fù)雜的測(cè)

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

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

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

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

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頁面與其他JSP頁面和Java對(duì)象交互關(guān)聯(lián)。例如，看圖1第五行l(wèi)ogin.jsp頁面，有一個(gè)<jsp:useBean>標(biāo)簽分配一個(gè)標(biāo)記屬

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

19、送帶參數(shù)my_mum到debug:jsp頁面。<jsp：forward>標(biāo)簽不僅改變login.jsp頁面的流量，而且還導(dǎo)致的login.jsp和debug.jsp頁面之間的數(shù)據(jù)交互。注意，不同于傳統(tǒng)的函數(shù)調(diào)用，簡(jiǎn)單的把<jsp:forward>標(biāo)簽從login.jsp頁面到debug.jsp頁面執(zhí)行沒有任何回調(diào)的控制權(quán)。這樣的單向數(shù)據(jù)流必須考慮使JSP頁面的數(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頁面或Java servlet于是可以引入JSP頁面和servlet之間的數(shù)據(jù)交互。雖然，<jsp:include>標(biāo)簽僅包括來自其他

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

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

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

24、的注解的CFG為login.jsp頁面的清晰度/使用。定義和變量的用途，隱式對(duì)象，和動(dòng)作標(biāo)記在對(duì)應(yīng)邊注解。值得注意的，在圖1的12行，從開始的所有語句的<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頁面轉(zhuǎn)移到debug.jsp頁面而不回報(bào)，過程間的數(shù)據(jù)流可以被引入。在這一節(jié)點(diǎn), 控制流從login.jsp頁面到debug.jsp頁面轉(zhuǎn)移沒有返回，并可以引入數(shù)據(jù)流。</p><p>　　圖2.DEF/USE注釋的login.jsp的CFG。</p><p>　　表示涉及一個(gè)以上功能或一種JSP頁面的數(shù)據(jù)流的信息，用高清注釋過程間控制流

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

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

28、jsp：forward>標(biāo)記中，reponse.sendRedirect（）方法，或pageContext.forward（）方法。</p><p>　　請(qǐng)注意，動(dòng)作標(biāo)簽的<jsp：的getProperty>，<jsp的：包括>有，在ICFG可以通過連接代表調(diào)用JSP頁面將這些動(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頁面的入口節(jié)點(diǎn)轉(zhuǎn)發(fā)（或重定向）JSP頁面或Java方法。</

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

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

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

33、流測(cè)試可以從過程內(nèi)可以實(shí)現(xiàn)和過程間perspectives.From的過程內(nè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è)語句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ū)ο髈的一份聲明中直接引用在“名稱”中引用的陽離子標(biāo)簽屬性的<jsp：的setProperty>和<jsp的：的getPropert

36、y>。</p><p>　　有了上面的定義，我們可以計(jì)算的涉及JSP pages.For例如隱含對(duì)象和動(dòng)作標(biāo)記過程間的數(shù)據(jù)流的信息，考慮在login.jsp頁面請(qǐng)求對(duì)象中Figure1.Since請(qǐng)求對(duì)象是在第一時(shí)間創(chuàng)建被調(diào)用login.jsp頁面時(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)證（），并通過該標(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>　　從過程間的角度來看，定義 - 使用鏈變量，和動(dòng)作標(biāo)記在一個(gè)腳本函數(shù)定義并在另一個(gè)腳本函數(shù)中使用（或JSP頁面）可以在注釋ICFG.For實(shí)例DEF/使用獲得的，在圖3中，請(qǐng)求對(duì)象的屬性USER_ID可以在icfg.jsp頁面defiend并在fw.jsp和in.jsp pages.From圖4中使用，我們可以計(jì)算兩個(gè)過程間定義 - 使用鏈<項(xiàng)，12>和<進(jìn)入17>的屬性u(píng)ser_id.These定

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

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

42、cterristics的考慮網(wǎng)頁，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頁面的變量，隱式對(duì)象，并從過程內(nèi)和過程間的觀點(diǎn)活動(dòng)標(biāo)記的數(shù)據(jù)流的信息。</p><p>　　原型工具的開發(fā)正在進(jìn)行中，以自動(dòng)定義的收集和使用信息的變量，隱式對(duì)象和動(dòng)作標(biāo)記并促進(jìn)定義 - 使用鏈的計(jì)算對(duì)JSP