×

兹马思-数学第一资源

JavaScript动态符号执行的约束编程。(英语) Zbl 07116682号
Rousseau,Louis Martin(ed.)等人,《约束编程、人工智能和运筹学的集成》。第16届国际会议,2019年,希腊塞萨洛尼基,2019年6月4日至7日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-19211-2/pbk;978-3-030-19212-9/电子书)。计算机科学课堂讲稿11494,1-19(2019年)。
概要:动态符号执行(DSE)结合了具体的和符号的执行,通常是为了自动生成好的测试套件。求解器依赖于求解路径并生成新的约束条件。求解约束的SMR通常使用求解工具。在本文中,我们证明了约束规划(CP)是DSE的一种强有力的替代或补充技术。具体地说,我们将CP技术应用于JavaScript的DSE中事实上网络编程标准。我们用MiniZinc捕获JavaScript语义,并将这种方法集成到我们调用的工具中阿拉塔. 我们使用G形管柱,一个配备了字符串变量的CP解算器,用于求解路径条件,并将该方法与最先进的SMT解算器的性能进行了比较。从速度和覆盖率两方面的实验结果表明了该方法的优点,从而为将CP技术应用于程序分析提供了新的研究前景。
整个系列请参见[Zbl 1410.68020].
理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
C2907型 组合优化
PDF格式 BibTeX公司 XML 引用
全文: 内政部