Detail produktu

Search-based Testing Environment (SearchBestie)

Vznik: 2010

Název česky
Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie)
Typ
software
Licence
vyžadována - zdarma
Autoři
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Popis

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) 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. 
Umístění
Licence

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

Projekty
Bezpečné, spolehlivé a adaptivní počítačové systémy (FIT-S-10-1)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Formální verifikace a simulace pro tvorbu bezpečných systémů (DC7-VZ)
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)
Nahoru