一句话：提出将测试生成与静态、动态分析迭代结合，以克服动态类型程序分析中缺乏类型信息的困难。
JavaScript、Python 等动态类型语言日益流行，但其动态类型系统限制了静态分析的适用性，而动态分析又依赖已有测试的质量。自动测试生成本可提升测试质量，然而缺少类型信息使其在动态类型程序上同样困难。本文提出将测试生成与静态分析、动态分析技术迭代结合，使三者相互补充、克服各自局限，从而更好地分析动态类型程序。摘要未报告具体实现与实验评估结果。
The increasing popularity of dynamically-typed programming languages, such as JavaScript or Python, requires specific support methods for developers to avoid pitfalls arising from the dynamic nature of these languages. Static analyses are frequently used but the dynamic type systems limit their applicability. Dynamic analyses, in contrast, depend on the execution of the code under analysis, and thus depend on the quality of existing tests. This quality of the test suite can be improved by the use of automated test generation but automated test generation for dynamically-typed programming languages itself is hard due to the lack of type information in the programs. The limitations of each of these approaches will be overcome by iteratively combining test generation with static and dynamic analysis techniques for dynamically-typed programs.
DOI 原文 ·
@inproceedings{paperbot5335,
title = {Generating Tests to Analyse Dynamically-Typed Programs},
author = {Stephan Lukasczyk},
booktitle = {ASE},
year = {2019},
doi = {10.1109/ase.2019.00146}
}