JavaScript程序动态切片技术的研究

doi:10.3969/j.issn.10062475.2016.05.018

计算机与现代化 ›› 2016, Vol. 0 ›› Issue (5): 100-105.doi: 10.3969/j.issn.10062475.2016.05.018

JavaScript程序动态切片技术的研究

上海交通大学软件学院，上海200240

收稿日期:2015-11-09 出版日期:2016-05-24 发布日期:2016-05-25
作者简介:叶家彬(1991-)，男，浙江宁波人，上海交通大学软件学院硕士研究生，研究方向：程序分析与测试；于海波，女，讲师，研究方向：语义网，个人信息管理，信息检索，多智能体应用。
基金资助:
国家自然科学基金资助项目(61572313)

Research on Dynamic Slicing Technique of JavaScript Programs

School of Software, Shanghai Jiao Tong University, Shanghai 200240, China

Received:2015-11-09 Online:2016-05-24 Published:2016-05-25

摘要/Abstract

摘要： 程序切片技术可以有效地运用在程序调试之中，但因为JavaScript语言动态的特性，传统的程序切片技术难以直接运用在JavaScript程序上。本文提出一种新的动态切片技术，结合JavaScript自身的语言特性，扩展了系统依赖图对于JavaScript程序的定义，设计并实现了系统依赖图的构建算法，最后基于系统依赖图进行了程序的切片工作。实验结果表明，该技术可以有效地运用在JavaScript程序的动态程序切片中，切片结果占原程序的比重较小。

关键词: 程序切片, JavaScript, 动态分析, 程序调试

Abstract: Program slicing technique can effectively facilitate program debugging, but traditional slicing technique is difficult to be directly utilized on JavaScript programs because of the dynamic feature introduced by JavaScript. In this paper, we propose a new dynamic program slicing technique. Combining with the features of JavaScript, this paper extends the definition of system dependence graph for JavaScript programs and includes the design and implementation of constructing algorithm. Based on this system dependence graph, we can perform program slicing work. The experimental result shows this technique can be effectively used in slicing JavaScript program and the slicing result occupies a small proportion of the original program.

Key words: program slicing, JavaScript, dynamic analysis, program debugging

中图分类号:

TP311

叶家彬，于海波. JavaScript程序动态切片技术的研究[J]. 计算机与现代化, 2016, 0(5): 100-105.

YE Jiabin, YU Haibo. Research on Dynamic Slicing Technique of JavaScript Programs[J]. Computer and Modernization, 2016, 0(5): 100-105.

参考文献

［1］Xiong Quanren, Jaynes C. Mugshot database acquisition in video surveillance networks using incremental autoclustering quality measures［C］// Proceedings of the IEEE Conference on Advanced Video and Signal Based Surveillance. 2003:191-198.
［2］W3C. Document Object Model (DOM) Level 3 Core Specication［DB/OL］. http://www.w3.org/TR/DOMLevel3Core/, 2004-04-07.
［3］Korel B, Laski J. Dynamic program slicing［J］. Information Processing Letters, 1988,29(3):155-163.
［4］Tip F. A survey of program slicing techniques［J］. Journal of Programming Languages, 1995,3(3):121-189.
［5］Gallagher K B, Lyle J R. Using program slicing in software maintenance［J］. IEEE Transactions on Software Engineering, 1991,17(8):751-761.
［6］Jensen S H, Madsen M, Moller A. Modeling the HTML DOM and browser API in static analysis of JavaScript Web applications［C］// Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. 2011:59-69.
［7］Madsen M, Livshits B, Fanning M. Practical static analysis of JavaScript applications in the presence of frameworks and libraries［C］// Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. 2013:499-509.
［8］Ocariza F, Bajaj K, Pattbiraman K, et al. An empirical study of clientside JavaScript bugs［C］// 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. 2013:55-64.
［9］Bajaj K, Pattbiraman K, Mesbah A. Mining questions asked by web developers［C］// Proceedings of the 11th Working Conference on Mining Software Repositories. 2014:112-121.
［10］Horwitz S, Reps T, Binkley D. Interprocedural slicing using dependence graphs［J］. ACM Transactions on Programming Languages and Systems (TOPLAS), 1990,12(1):26-60.
［11］Ferrnate J, Ottenstein K J, Warren J D. The program dependence graph and its use in optimization［J］. ACM Transactions on Programming Languages and Systems (TOPLAS), 1987,9(3):319-349.
［12］Sen K, Kalaspur S, Brutch T, et al. Jalangi: A selective recordreplay and dynamic analysis framework for JavaScript［C］// Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. 2013:488-498.
［13］ECMA 262, Ecmascript Language Specification［S］.
［14］Maras J, Carlson J, Crnkovic I. Clientside Web application slicing［C］// Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. 2011:504-507.

[1]	田生. JavaScript静态切片工具[J]. 计算机与现代化, 2016, 0(8): 46-51.
[2]	陈泓旭. 基于LLVM的程序关注点影响分析[J]. 计算机与现代化, 2014, 0(4): 203-207.
[3]	衣治安，赵旦春. 基于CLIPS的油水井动态分析模型研究与实现[J]. 计算机与现代化, 2014, 0(11): 122-126.
[4]	刘旭. Chrome V8引擎中的JavaScript数组实现分析与性能优化[J]. 计算机与现代化, 2014, 0(10): 66-70.
[5]	徐路路;张丽萍;郭越. 代码分析中的层次式静态检测方法[J]. 计算机与现代化, 2013, 1(9): 58-61,6.
[6]	刘艳;李龙澍. 基于逆向程序流和函数依赖集的程序切片算法[J]. 计算机与现代化, 2013, 1(8): 122-124,.
[7]	周玲余. 基于jQuery框架的页面前端特效的设计与实现[J]. 计算机与现代化, 2013, 1(1): 61-63.
[8]	赵芳婷;岳晓光;刘志刚. 基于WSH病毒案例的研究与防范[J]. 计算机与现代化, 2012, 1(200): 9-03.
[9]	宗起振;贺枫;李志军;. 基于Goahead的油中溶解气体在线监测系统设计与应用[J]. 计算机与现代化, 2012, 208(12): 139-142.
[10]	戴维;蒋玉芳. 基于Ajax技术实现Web异步树的应用研究[J]. 计算机与现代化, 2011, 1(2): 0-149,.
[11]	黄坤;王家伟. 基于DataWindow.NET的多条件查询[J]. 计算机与现代化, 2011, 1(2): 0-127.

JavaScript程序动态切片技术的研究

Research on Dynamic Slicing Technique of JavaScript Programs

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价