Learning Models of Communication Protocols using Abstraction Techniques
Johan Uijen · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2009
In order to accelerate the usage of model based verification in real life software life cycles, an approach is introduced in this thesis to learn models from black box software modules. These models can be used to perform model based testing on. In this thesis models of communication protocols are considered. To learn these models efficiently, an abstraction needs to be defined over the parameters that are used in the messages that are sent and received by the protocols. The tools that are used to accomplish this model inference are LearnLib and ns-2. The approach presented is demonstrated by learning models of the SIP and TCP protocols.