Testos-Spectra: A tool for verification of ptLTL on C/C++ programs

Název česky

Testos-Spectra: Nástroj pro verifikaci ptLTL na programech C/C++

Typ

software

Licence

vyžadována - zdarma

Autoři

Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Sečkařová Petra, Ing. (FIT VUT)

Popis

Nástroj slouží pro verifikaci vlastností za běhu programu. Testování programů je založeno na překladu vlastností v logice ptLTL do monitorů běhu programu, které jsou instrumentovány do zdrojových souborů testovaného systému. Jakmile monitor odhalí porušení nějaké vlastnosti, informuje uživatele o tom, ve kterém případu porušení nastalo a proč je která vlastnost porušena.

Umístění

Domovská stránka nástroje včetně samotného nástroje je: http://www.fit.vutbr.cz/research/groups/verifit/tools/testos-spectra/

Licence

Licenční podmínky v souladu s licení BSD-3-Clause dostupné na https://opensource.org/licenses/BSD-3-Clause

Projekty

Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů (8A20009)

Výzkumné skupiny

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

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)