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/