OSLC Adapter for Software Analysis

Czech title

Adaptér OSLC pro analýzu softwaru

Language

English

Abstract

The goal of this work is to provide an easy way of adding an OSLC compliant interface to an analysis tool. Such an interface allows tools to be easily integrated with other tools or systems, allows them to be used remotely due to its web based nature, and allows them to be easily connected with a database for persistency and queries. This is achieved by designing and creating an OSLC adapter using Eclipse Lyo that is universal enough to accommodate the functionality of most analysis tools. This is done by using the OSLC Automation domain interface and by leveraging the current command-line interfaces of analysis tools. This work provides an introduction to OSLC, Eclipse Lyo, and other related topics; defines requirements and differences of analysis tools; covers the design process of the adapter and the factors that impacted design decisions; and finally, presents the implemented adapter and evaluates it by using an automated test suite and then experiments with a set of different analysis tools. The most important evaluation indicator is that the current version of the adapter is already being used in practice to add an OSLC interface to four analysis tools: ANaConDA, Perun, Spectra (all three developed by VeriFIT); and HiLiTE (Honeywell).

Keywords

OSLC, OSLC Adapter, OSLC Provider, OSLC Server, OSLC Consumer, OSLC Client, OSLC Automation, Eclipse Lyo, tool integration, software analysis and verification, ANaConDA, Facebook Infer, Perun

Department

Department of Intelligent Systems FIT BUT

Degree Programme

Information Technology and Artificial Intelligence, Specialization Software Verification and Testing

Files

Status

defended, grade A

Date

24 June 2021

Reviewer

Hrubý Martin, Ing., Ph.D.

Committee

Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Drábek Vladimír, doc. Ing., CSc. (DCSY FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen

Citation

VAŠÍČEK, Ondřej. OSLC Adapter for Software Analysis. Brno, 2021. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-24. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/23337/

BibTeX

@mastersthesis{FITMT23337,
    author = "Ond\v{r}ej Va\v{s}\'{i}\v{c}ek",
    type = "Master's thesis",
    title = "OSLC Adapter for Software Analysis",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/23337/"
}