一句话：Unite 将非交互式命令行分析工具封装为符合 OSLC 标准的 Web 服务，便于在 IDE 与工业流程中统一集成。
论文针对非交互式命令行分析工具难以被采用、难以集成到开发环境的问题，提出适配器 Unite，将这类工具转换为符合 OSLC（Open Services for Lifecycle Collaboration）标准的 Web 服务，使其能够以统一方式在本地或远程访问，并易于嵌入各类开发环境。OSLC 因健壮性、可扩展性、跨领域数据支持及日益增长的流行度而被选用。作者实现了 Unite，并将其应用于多种已有的静态与动态分析及验证工具，随后在 Honeywell 的国际工业场景中部署，用来自动化开发团队的验证任务，论文还讨论了 Honeywell 使用 Unite 及 OSLC 的经验，并提供了 Eclipse 插件 UniC，使用户可直接在 Eclipse IDE 中运行各种分析工具。
This paper describes Unite, a new tool intended as an adapter for transforming non-interactive command-line analysis tools to OSLC-compliant web services. Unite aims to make such tools easier to adopt and more convenient to use by allowing them to be accessible, both locally and remotely, in a unified way and to be easily integrated into various development environments. Open Services for Lifecycle Collaboration (OSLC) is an open standard for tool integration and was chosen for this task due to its robustness, extensibility, support of data from various domains, and its growing popularity. The work is motivated by allowing existing analysis tools to be more widely used with a strong emphasis on widening their industrial usage. We have implemented Unite and used it with multiple existing static as well as dynamic analysis and verification tools, and then successfully deployed it internationally in the industry to automate verification tasks for development teams in Honeywell. We discuss Honeywell's experience with using Unite and with OSLC in general. Moreover, we also provide the Unite Client (UniC) for Eclipse to allow users to easily run various analysis tools directly from the Eclipse IDE.
DOI 原文 ·
@inproceedings{paperbot7003,
title = {Unite: an adapter for transforming analysis tools to web services via OSLC},
author = {Ondřej Vašíček and Jan Fiedor and Tomáš Kratochvíla and Bohuslav Křena and Aleš Smrčka and Tomáš Vojnar},
booktitle = {FSE},
year = {2022},
doi = {10.1145/3540250.3558939}
}