Detail výsledku

Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC

VAŠÍČEK, O.; FIEDOR, J.; KRATOCHVÍLA, T.; KŘENA, B.; SMRČKA, A.; VOJNAR, T. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022. p. 1408-1418. ISBN: 978-1-4503-9413-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vašíček Ondřej, Ing., UITS (FIT)
Fiedor Jan, Ing., Ph.D., UITS (FIT)
Kratochvíla Tomáš, Mgr.
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

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 Honeywells 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.

Klíčová slova

Transformation to web services, OSLC, OSLC Automation, Software analysis, Tool integration, Eclipse Lyo

URL
Rok
2022
Strany
1408–1418
Sborník
ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Konference
30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022
ISBN
978-1-4503-9413-0
Vydavatel
Association for Computing Machinery
Místo
Singapore
DOI
EID Scopus
BibTeX
@inproceedings{BUT181498,
  author="Ondřej {Vašíček} and Jan {Fiedor} and Tomáš {Kratochvíla} and Bohuslav {Křena} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC",
  booktitle="ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
  year="2022",
  pages="1408--1418",
  publisher="Association for Computing Machinery",
  address="Singapore",
  doi="10.1145/3540250.3558939",
  isbn="978-1-4503-9413-0",
  url="https://dl.acm.org/doi/pdf/10.1145/3540250.3558939"
}
Projekty
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, zahájení: 2020-03-01, ukončení: 2023-02-28, ukončen
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru