Home
Welcome to the HermieLab wiki!
This wiki provides all the information needed to work with HermieLab, a framework for generating LearnLib 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, import this project into maven, read a short introduction into automata learning and then follow the tutorial. 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 GraphWalker.
We admit that there are easier tasks in the world than learning automata learning, HermieLab and LearnLib. Testing is a difficult field and the related concepts aren't always easy to grasp. 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 article.
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!