Search-based Testing Environment (SearchBestie)

Typ

software

Jazyk

anglicky

Autoři

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

Popis

The Search-based testing environment (SearchBestie) is a modular prototype for applying various search techniques - local (hill-climbing, etc.) and global (evolutionary algorithms from the ECJ library) for solving of a test input selection problem. Implemented modules allow SearchBestie to be used to test multi-threaded application using IBM ConTest tool.

Klíčová slova

Search techniques, search-based testing, testing, Java

URL

https://www.fit.vut.cz/research/group/verifit/public/tools/SearchBestie.cs

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

Licenční podmínky

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

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

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í

Výzkumné skupiny

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

Pracoviště

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