-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Welcome to the HermieLab wiki!
This wiki provides all the information needed to work with HermieLab, a framework for generating automata learning setups. With these setups, developers can automatically generate models describing your program's behavior. These models allow you to employ formal methods such as Model Based Testing (MBT) and Model Checking.
To get started, you can XXXX(import this project into maven), follow the XXXX(tutorial) and read XXXX(a short explanation what automata learning is). After you're done you could try applying your newly obtained knowledge on one of your own project's and set up automatic model-based regression testing with the help of XXX(GraphWalker).
We admit that there are easier tasks in the world than learning HermieLab. Testing is a difficult field and the concepts However, if you persevere you'll be rewarded. You'll become a developer who is able to able to employ the power of formal testing techniques, incorporate these techniques in your software and better test your software in a much shorter amount of time. For more information about Model Based Testing check out this tutorial
HermieLab started a bachelor thesis created by Hans van der Laan under the supervision of prof. Arend Rensink. The goal of this project was to use Automata Learning as a technique to learn behavioral models of GUI-based programs. Both intrigued by the results, we decided to work further on it. Almost a year of hard work later, the HermieLab framework was born!