Search-based Testing Environment (SearchBestie)

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

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)

Search techniques, search-based testing, testing, Java

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 (http://www.haifa.il.ibm.com/projects/verification/contest/index.html) tool. 

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

Licence is available at product URL:

Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, 2010-2013, running

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)