.png){kind=icon}
返回
Specification Inference Modulo Oracles for Database-Backed Web Applications
.png){kind=icon}
PRE
AI
DOI：10.1007/978-981-95-3585-9_10.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
在逻辑推理中，特指推理尝试从给定结论合成一个解释性假设。我们考虑针对数据库支持的Web应用程序的特指合成问题，其中仅可访问应用程序的“预言机”接口。这种情况在测试团队中是真实的，因为他们未被提供应用程序的访问权限。我们的算法首先从一个初始假设开始，该假设由Web应用程序在样本数据集上的响应构建而成，然后通过精心构造的查询（通过SMT求解器）对应用程序进行迭代改进。最后，使用统计测试来验证所构建假设的合理性和最大性。我们实现了该算法的工具Vivaran，并在大型基于Web的企业资源规划（ERP）软件上展示了其能力。Vivaran在所有情况下都推断出与真实情况语义等效的规范。
Keyword:
Specification Inference
Oracle
SMT Solvers
期刊
P
IF:
0
论文数:
13
被引数:
0
.png){kind=icon}
查看更多内容