Active Learning of Industrial Software with Data
Résumé
Active automata learning allows to learn software in the form of an automaton representing its behavior. The algorithm SL$$^{*}$$, as implemented in RALib, is one of few algorithms today that allows learning automata with data parameters. In this paper we investigate the suitability of SL$$^{*}$$ to learn software in an industrial environment.For this purpose we learned a number of industrial systems, with and without data. Our conclusion is that SL$$^{*}$$ appears to be very suitable for learning systems of limited size with data parameters in an industrial environment. However, as it stands, SL$$^{*}$$ is not scalable enough to deal with more complex systems. Moreover, having more data theories available will increase practical usability.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|