OSLC ANaConDA Adapter, Version 1.0

OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Vašíček Ondřej, Ing. (UITS)
Fiedor Jan, Ing., Ph.D. (UITS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)

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

ANaConDA je prostředí pro dynamickou analýzu vícevláknových programů psaných v jazycích C/C++. OSLC adaptér pro tento nástroj ho doplňuje o webové rozhraní založené na technologii REST v souladu se standardem OSLC. Prostřednictvím adaptéru je možno s nástrojem ANaConDA komunikovat z různých vývojových prostředí a umožnit jeho kombinaci s různými dalšími nástroji pro vývoj, analýzu a verifikaci.

http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip

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/).

AQUAS: Agregované metody řízení kvality, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)