.png){kind=icon}
返回
RestPi: Path-Sensitive Type Inference for REST APIs
.png){kind=icon}
PRE
AI
DOI：10.1145/3763055.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
REST API通过提供语言无关的通信接口，构成了现代互联系统的核心骨架。REST API规范应清晰描述所有响应类型，但使用现有工具自动生成规范存在困难。我们提出了REST pi，这是一种能够自动生成REST API规范的类型推断引擎。REST pi的创新贡献在于采用了路径敏感的类型推断，该方法将符号路径约束直接编码到类型系统中。这使得REST pi能够通过考虑端点实现中的每条不同执行路径来枚举所有响应类型。我们为一种流行的REST API服务器语言Ruby实现了路径敏感的类型推断。我们通过使用REST pi为5个开源REST API实现中的132个端点推断类型进行评估，且未利用现有规范或测试套件。我们发现REST pi能够高效地进行类型推断，并生成的类型比通过HTTP代理获取的类型更为精确和完整。我们的结果表明，路径敏感性是枚举REST端点不同响应类型的关键技术。
Keyword:
Path-Sensitive Analysis
RESTful APIs
Type Inference
期刊
P
IF:
2.8
论文数:
308
被引数:
4.7K
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容