Search-based Testing Environment (SearchBestie)

Czech title

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

Type

software

License

required - free

Authors

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

Keywords

Search techniques, search-based testing, testing, Java

Description

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.

Licence

Licence is available at product URL:

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

Projects

Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Secured, reliable and adaptive computer systems (FIT-S-10-1)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)

Research groups

Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)
Formal verification and simulation for the design of secure systems (DC7-VZ)

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)