Developing a User Interface for the KLEE Tool

OData support
Supervisor:
Dr. Micskei Zoltán Imre
Department of Measurement and Information Systems

The goal of is thesis is to create a graphical user interface for an automatic test generation tool called KLEE. Software testing is becoming more and more important in the process of software development, because the quality of the IT services is growing. In case of critical embedded systems, lives can depend on a software, so the process of testing is a lot more important. By automating, beside cost reduction, we can speed up the development and make certain about the correctness of the program. One way to do this is reaching higher code coverage. We want to select tests covering different branches of the program. Because of the difficulty of algorithms used in automatic testing, the technology mostly manifests in research projects. KLEE started as an academic project as well, and uses symbolic execution to create the possible test inputs by iterating over the code. During the symbolic execution, KLEE generates constraints about the symbolic variables based on the conditions in the software. Than KLEE passes these constraints to a constraint solver, to evaluate the results.

KLEE is a console application, its usage can be difficult because of the myriad flags and combinations of configurations it has. As a research project, KLEE has some issues in the field of functionality and usability.

The graphical user interface to be prepared is a plugin that can be integrated into Eclipse environment. The reader os this document can follow the steps of creating this software. First I introduce the basics of testing, and the usage of KLEE, and after that the planning and implementation of the user interface takes place. At the end, there are some examples about using the software.

Downloads

Please sign in to download the files of this thesis.