Automated test generation for industrial Erlang applications

Authors:
Johan Blom;Bengt Jonsson
Affiliations:
Mobile Arts AB, Tjärhovsgatan 56, SE 102 67 Stockholm, Sweden;Uppsala University, Sweden, SE-751 05, Sweden
Venue:
Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Year:
2003

Citing 3
Cited 8

An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
World-class product certification using Erlang

Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
Verifying Erlang Code: A Resource Locker Case-Study

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

A semantics for distributed Erlang

Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
A more accurate semantics for distributed erlang

ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Erlang testing and tools survey

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Testing real-time systems using UPPAAL

Formal methods and testing
Inferring compact models of communication protocol entities

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Regular inference for state machines with parameters

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
A language-independent approach to black-box testing using Erlang as test specification language

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.