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版本