JSdep下載JSdep源代碼下載

JSdep

其他類別

1.0.0

下載

JSDEP（DOM依賴性分析）

引用JSDEP

 @inproceedings{DBLP:conf/sigsoft/SungKS016,
  author    = {Chungha Sung and
               Markus Kusano and
               Nishant Sinha and
               Chao Wang},
  title     = {Static {DOM} event dependency analysis for testing web applications},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {447--459},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950292},
  doi       = {10.1145/2950290.2950292},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SungKS016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

JSDEP是找到Web應用程序的DOM-EVENT依賴性的工具，包括使用DataLog約束的傳統控制和數據依賴性。
它可以靜態地遍歷一個JavaScript文件，並找到兩個DOM事件之間的關係。
該工具包括Artemis的修改版本，以顯示FSE論文中介紹的評估（出現）。
該工具的特徵
- 靜態和概要及情境不敏感的別名Anlaysis
- 該工具不支持Dom-Alias Anlaysis
- 該工具不支持從HTML提取JavaScript（所有為我們擁有的基準手動提取的所有JavaScripts）
JSDEP的結構
- 在此圖中，我們擁有的存儲庫的所有目錄都用一個文件夾表示，並且輸出文件用記事本圖標表示。並且，箭頭旁邊的命令是您可以在JSDEP中使用的實際腳本。主要是JSDEP中有三個部分：
- DOM分析 - 該部分包含我們的主要分析。它由3個目錄（SRC，Z3_RULES，NODE_MODULES）組成。安裝所有依賴項後，當您運行名為“構建dep”的腳本使用文件名或製作build-dep-all時，該分析將在每個基準標準的信息目錄下產生3個文件（dep.txt，numconstraints.txt，z3.Time）。依賴項結果在DEP.TXT中打印，每個文件的分析時間均以Z3.Time記錄。同樣，生成的約束數記錄在numConstraints.txt中。
- 修改後的Artemis-為了使用戶檢查我們的分析的有用性，我們提供了一個修改的Artemis來使用我們擁有的信息。在運行Artemis之前，您必須安裝它。安裝修改後的Artemis版本後，您可以比較它的兩個版本。通過運行命令，用文件名製作跑步或製作run-artemis-all，它在每個基準下使用dep.txt，並為每個基準測試下的Artemis-Result目錄下兩個文件。 old_artemis.stdout是先前版本的Artemis的輸出，而New-Artemis.stdout是Artemis修改版本的輸出，該版本使用DEP.TXT中的信息。
- RAW -DATA-此目錄是針對想要製作桌子而無需安裝並運行我們分析的用戶提供的。所有數據都已上傳，該目錄的結構與基準之一相同。如果您運行命令製作table1，製作table2並製作table3，則可以在紙上使用每個表。該桌子將在終端上打印，形式為乳膠。因此，如果您複製印刷品並將其粘貼到乳膠，它將顯示與我們在論文中顯示的同一張桌子。而且，對於那些想使用新數據生成的表格的人，我們提供了一個命令，請製作fetch-data。此命令將在基準下獲取所有數據到RAW-DATA目錄。與以前一樣，獲取新數據後，您可以通過運行製作表命令來輕鬆地製作相同的結構表。

貢獻者

以下人員為這一掌聲和論文做出了貢獻：

Chungha Sung（sch8906/at/vt/edu）
Markus Kusano（Mukusano/AT/VT/EDU）
Nishant Sinha
Chao Wang（Chaowang/AT/VT/EDU）

程序依賴性

環境
- 我們僅在Ubuntu 12.04上測試了該程序
- 我們尚未與其他Ubuntu版本進行檢查
要僅運行靜態分析以運行DOM依賴關係關係，它需要以下依賴性：
- Z3（https://github.com/z3prover/z3），任何版本（用4.4.1測試）。
- nodejs（要安裝此，鍵入sudo apt-get install nodejs ）
- realpath（要安裝此，鍵入sudo apt-get install realpath ）
要與Artemis進行測試，您必須首先安裝Artemis的修改版本。
- 您可以按照Artemis修改目錄下的指令進行安裝（有時很難正確安裝，但是由於尺寸限制，我們無法提供完全編譯的版本）。
- 您必須使用我們提供的版本，因為對此版本進行了修改，以比較使用我們程序的依賴關係的Artemis的先前版本和Artemis修改版本。
使用JSDEP安裝的VM（虛擬框的OVA文件）的鏈接（https://drive.google.com/open?id=1O70KDLFWHAN4J06Y5NHTQOPBQIQCIQIQCICIYRQ）。但是，這已經很久以前進行了更新，因此也許有一些問題。

用法

製作build-dep file = [filename]
- 建立指定文件的依賴關係
- 它將在每個基準目錄下的信息目錄中製作這些文件
  - dep.txt：指定文件的依賴關係關係
  - Z3.Time：分析時間
  - numConstraints.txt：生成的約束數量
使構建全部
- 建立所有文件的依賴關係
- 它將在每個基準目錄下的信息目錄中製作這些文件
  - dep.txt：指定文件的依賴關係關係
  - Z3.Time：分析時間
  - numConstraints.txt：生成的約束數量
做fetch-data
- 獲取從基準目錄到RAW-DATA目錄製作結果表所需的所有數據
製作表1
- 使用RAW-DATA構建在FSE紙中使用的表1
製作table2
- 使用RAW-DATA構建在FSE紙中使用的表2
製作表3
- 使用RAW-DATA構建FSE紙中使用的表3
- 您可以更改Makefile中的迭代號碼以構建具有不同數量迭代的表

=====您必須安裝我們提供的修改後的Artemis版本，以便在下面運行這些comand =====

製作run-artemis file = [filename] iter = [迭代]
- 您必須運行依賴分析才能獲得dep.txt
- 使用指定文件和指定的迭代編號運行先前的Artemis版本
製作Run-Artemis-All Iter = [迭代]
- 您必須運行依賴分析才能獲得dep.txt
- 在所有文件中運行先前版本的Artemis版本