Sciweavers

Share
ERLANG
2003
ACM

Automated test generation for industrial Erlang applications

9 years 9 months ago
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.
Johan Blom, Bengt Jonsson
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where ERLANG
Authors Johan Blom, Bengt Jonsson
Comments (0)
books