Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
SMRČKA, A. SEČKAŘOVÁ, P.
Typ produktu
software
Abstrakt
The tool is for verification of safety properties during the run-time. The testing is based on translation of ptLTL formulae into a run-time monitor which are instrumented into source codes of system under test (SUT). Once the monitor witnesses a violation of the specification, it reports when such a case occurs providing data why the given formula has been violated.
Klíčová slova
Testing, Run-time verification, LTL verification, Source code verification
Datum vzniku
1. 6. 2020
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/
Možnosti využití
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
www
https://www.fit.vut.cz/research/product/657/