Detail výsledku

OSLC ANaConDA Adapter, Version 1.0

Vznik: 2020
Typ
software
Jazyk
anglicky
Autoři
Vašíček Ondřej, Ing.
Fiedor Jan, Ing., Ph.D., UITS (FIT)
Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Popis

ANaConDA is a framework for dynamic analysis of multithreaded programs written in the C/C++ languages. Its OSLC adapter extends it by a web interface based on the REST technology and complying to the OSLC standard. Through this adapter, ANaConDA can be accessed from various development environments, and one can thus combined its usage with various other development, analysis, and verification tools.

Klíčová slova

OSLC, adapter, ANaConDA, dynamic analysis, multithreaded software, REST, web interface.

URL
Licence
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Licenční podmínky

Volně šiřitelný software poskytovaný pod licencí Eclipse Public License verze 2.0 (přesné znění licence je dostupné na stránce https://www.eclipse.org/legal/epl-2.0/).

Projekty
AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru