An approach testing larger industrial systems by Johan Blom

January 21, 2021


A larger complex and protocol intensive telecom application implemented in Erlang, in urgent need for improved testing. This was a motivation and starting point for introducing

Model-Based Testing, an approach to make testing more systematic.

The general idea in Model-Based Testing is to start from a formal model, which captures the intended behaviour of the software system to be tested. On the basis of this model, test cases can be automatically generated in a systematic way. Further, by the use of coverage criteria, we were able to quantify to which degree test cases exercised the tested software, and by the use of a simple version of Erlang to express the formal model we limited the semantic gap between the model and implemementation.

Johan Blom on LinkedIn: https://www.linkedin.com/in/joblom/

Check out more from the MeetUp Func Prog Sweden. Func Prog Sweden is the community for anyone interested in functional programming. At the MeetUps the community explore different functional languages like Erlang, Elixir, Haskell, Scala, Clojure, OCaml, F# and more.