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
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
Autoři
Letko Zdeněk, Ing., Ph.D.
(CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Klíčová slova
Search techniques, search-based testing, testing, Java
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í
Licenční podmínky
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, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, zahájení: 2010-01-01, ukončení: 2012-12-31, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů
(UITS)