Abstract
Transforming analysis and verification tools to web services can make them more easily accessible and easier to use, especially if the services use standardized interfaces. One can use Unite, an adapter, to transform almost any analysis or verification tool with a command-line interface to an OSLC-compliant web service. Open Services for Lifecycle Collaboration (OSLC) is a robust and extensible open standard for integrating tools across the entire development lifecycle which offers support of data from a wide range of domains. In this paper, we propose UniC, a plug-in for the Eclipse IDE which serves as a universal client for utilizing analysis or verification tools hosted as web services using Unite. UniC allows such tools to be executed directly from the IDE and allows their outputs to be visualized using its UI. UniC is usable for a very wide range of tools and use cases thanks to its highly extensible and configurable architecture. It is in fact a universal OSLC client usable with any OSLC-compliant service. We have tested UniC with a number of analysis and verification tools and also successfully deployed it in the industry.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eclipse arrowhead framework (2022). https://projects.eclipse.org/projects/iot.arrowhead
Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: Proceedings of Infotech@Aerospace’10. AIAA (2010)
Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of c programs. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 459–465. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20398-5_33
El-khoury, J.: An analysis of the OASIS OSLC integration standard, for a cross-disciplinary integrated development environment: analysis of market penetration, performance and prospects. Technical Report, KTH, Mechatronics (2020)
EATA (2022). http://gitlab.fbk.eu/ESProjects/EATA
Fiedor, J., Mužikovská, M., Smrčka, A., et. al.: Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. In: Proceedings of ISSTA 2018, ACM (2018)
Fiedor, J.: eTE - eclipse task executor. https://pajda.fit.vutbr.cz/verifit/ete
Fiedor, J.: jSEM - Simple extension manager for Java. https://pajda.fit.vutbr.cz/verifit/jsem
Fiedor, J.: jTE - Java task executor. https://pajda.fit.vutbr.cz/verifit/jte
Luo, L., et. al.: MagpieBridge: a general approach to integrating static analyses into IDEs and editors. In: Proceedings of ECOOP 2019. LIPIcs, Schloss Dagstuhl - LZI (2019)
Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of of PLDI 2007, ACM (2007)
OASIS: Open Services for Lifecycle Collaboration. https://open-services.net/ (2022)
Ribeiro, F. (eds.). OASIS working draft 1 OSLC automation version 2.1 Part 1: specification (2022). https://rawgit.com/oasis-tcs/oslc-domains/master/auto/automation-spec.html
Vašíček, O.: Unite - GitLab (2022). https://pajda.fit.vutbr.cz/verifit/unite
Acknowledgement
Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement n\(^{\text {o}}\) 826452 (project Arrowhead Tools) and from The Ministry of Education, Youth and Sports of the Czech Republic. The work was further supported by the project 20-07487S of the Czech Science Foundation and the FIT BUT internal project FIT-S-20-6427.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Fiedor, J., Křena, B., Smrčka, A., Vašíček, O., Vojnar, T. (2022). Integrating OSLC Services into Eclipse. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2022. EUROCAST 2022. Lecture Notes in Computer Science, vol 13789. Springer, Cham. https://doi.org/10.1007/978-3-031-25312-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-031-25312-6_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-25311-9
Online ISBN: 978-3-031-25312-6
eBook Packages: Computer ScienceComputer Science (R0)