Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC
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.
Wed 16 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
14:00 - 15:30 | DependabilityIndustry Paper / Research Papers at SRC LT 51 Chair(s): Tao Yue Simula Research Laboratory | ||
14:00 15mTalk | Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC Industry Paper Ondřej Vašíček Brno University of Technology; Honeywell International, Jan Fiedor Brno University of Technology; Honeywell International, Tomáš Kratochvíla Honeywell International, Bohuslav Křena Brno University of Technology, Aleš Smrčka Brno University of Technology, Tomáš Vojnar Brno University of Technology DOI | ||
14:15 15mTalk | Discovering Feature Flag Interdependencies in Microsoft Office Industry Paper Michael Schröder TU Wien, Katja Kevic Microsoft, Dan Gopstein Microsoft, Brendan Murphy Microsoft, Jennifer Beckmann Microsoft DOI Pre-print Media Attached | ||
14:30 15mTalk | Demystifying the Underground Ecosystem of Account Registration Bots Research Papers Yuhao Gao University of Technology Sydney; Beijing University of Posts and Telecommunications, Guoai Xu Harbin Institute of Technology; Beijing University of Posts and Telecommunications, Li Li Monash University, Xiapu Luo Hong Kong Polytechnic University, Chenyu Wang Beijing University of Posts and Telecommunications, Yulei Sui University of New South Wales DOI | ||
14:45 15mResearch paper | Quantitative Relational Modelling with QAlloy Research Papers Pedro Silva University of Minho; INESC TEC, Jose Nuno Oliveira University of Minho; INESC TEC, Nuno Macedo University of Porto; INESC TEC, Alcino Cunha University of Minho; INESC TEC DOI Pre-print | ||
15:00 15mTalk | Using Graph Neural Networks for Program Termination Research Papers DOI |