Search-based Testing Environment (SearchBestie)

Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie)

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

Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)

Search techniques, search-based testing, testing, Java

Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie) je modulární počítačový software vytvořený v programovacím jazyce Java. SearchBestie umožňuje využití různých technik pro prohledávání prostoru - lokálních (hill-climbing, atd.) i globálních (evoluční algoritmy z knihovny ECJ (http://cs.gmu.edu/~eclab/projects/ecj/)) pro řešení problému identifikace vstupů testovaného programu s ohledem na definovaný cíl reprezentovaný tzv. fitness funkcí. Implementované moduly umožňují využít SearchBestie k testování vícevláknových aplikací pomocí nástroje IBM ConTest (http://www.haifa.il.ibm.com/projects/verification/contest/index.html). 

http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie

Licenční podmínky pro užití nástroje jsou dostupné na URL nástroje:

Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

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

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