Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ERLANG
2003
ACM

favoriteEmaildiscussreport

147views Programming Languages» more ERLANG 2003»

Automated test generation for industrial Erlang applications

13 years 9 months ago

Automated test generation for industrial Erlang applications

Download www.erlang.se

We present an implemented technique for generating test cases from state machine speciﬁcations. 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

Real-time Traffic

ERLANG 2003 | State Machine Speciﬁcations | State Machines | Test Cases |

claim paper

Related Content

» Iterative Refinement of ReverseEngineered Models by ModelBased Testing

» Automating Structural Testing of C Programs Experience with PathCrawler

» Automated Test Program Generation for an Industrial Optimizing Compiler

» Finding race conditions in Erlang with QuickCheck and PULSE

» Testing telecoms software with quviq QuickCheck

» Structured programming using processes

» Test purpose generation in an industrial application

» An external short message entity for gambling services

» A framework for automated testing of javascript web applications

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	ERLANG
Authors	Johan Blom, Bengt Jonsson

Comments (0)