Automated test generation for industrial Erlang applications

We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed by the company Mobile Arts. We have developed a syntax for description of state machines extended with data variables. From such state machines, test cases are generated by symbolic execution. The test cases are symbolically represented; concrete test cases are generated by instantiation of data parameters.

• Type: Conference
• Year: 2003
• Where: ERLANG
• Authors: Johan Blom, Bengt Jonsson
• Keywords: ERLANG 2003, State Machine Specifications, State Machines, Test Cases