SymJS公司

SymJS:JavaScript web应用程序的自动符号测试。我们介绍了SymJS,一个用于自动测试客户端JavaScript Web应用程序的综合框架。该工具包含用于JavaScript的符号执行引擎和用于Web页面的自动事件浏览器。在没有任何用户干预的情况下,SymJS可以自动发现和探索Web事件,象征性地执行相关的JavaScript代码,基于动态反馈优化执行,并生成覆盖率高的测试用例。符号引擎包含符号虚拟机、字符串数值解算器和符号可执行DOM模型。SymJS的创新包括一个新颖的JavaScript网络符号虚拟机,符号+动态反馈导向的事件空间探索,以及用于增强事件序列构造的动态污点分析。我们演示了SymJS在标准JavaScript基准测试和各种实际Web应用程序上的有效性。在symline上,平均覆盖率超过了90%。