Article

Automated test generation for industrial Erlang applications

Authors:

Johan Blom,

Bengt JonssonAuthors Info & Claims

ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang

Pages 8 - 14

https://doi.org/10.1145/940880.940882

Published: 29 August 2003 Publication History

Get Access

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.

References

[1]

Thomas Arts, Clara Benac Earle, and John Derrick. Verifying Erlang code: a resource locker case-study. In Lars-Henrik Eriksson and Peter Alexander Lindsay, editors, Formal Methods Europe: Getting IT Right, Copenhagen, Denmark, volume 2391 of Lecture Notes in Computer Science, pages 184--203. Springer Verlag, July 2002.]]

Digital Library

Google Scholar

[2]

Jonas Barklund and Robert Virding. Erlang 4, 7.3, reference manual. Draft 0.7, June 1999.]]

Google Scholar

[3]

Ericsson. Erlang OTP R9-B1, 2003.]]

Google Scholar

[4]

J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho. An experiment in automatic generation of test suites for protoc ols with verification technology. Science of Computer Programming, 29, 1997.]]

Digital Library

Google Scholar

[5]

Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Time-optimal real-time test case generation using UPPAAL. Submitted for publication 2003.]]

Google Scholar

[6]

V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In Int. Conf. on Integrating Formal Methods, volume 1945 of Lecture Notes in Computer Science, pages 338--357. Springer Verlag, 2000.]]

Digital Library

Google Scholar

[7]

M. Schmitt, M. Ebner, and J. Grabowski. Test generation with autolink and testcomposer. In Proc. 2nd Workshop of the SDL Forum Society on SDL and MSC - SAM'2000, June 2000.]]

Google Scholar

[8]

Ulf Wiger, Gösta Ask, and Kent Boortz. World class product certification using Erlang. In PLI 2002, ACM SIGPLAN Erlang Workshop, October 2002.]]

Digital Library

Google Scholar

Cited By

View all

Satsyk VGrudetsky RKuzmych OBahniuk NHlynchuk LMelnychuk Y(2020)Reduction of Server Load by Means of CMS Drupal2020 10th International Conference on Advanced Computer Information Technologies (ACIT)10.1109/ACIT49673.2020.9208874(523-528)Online publication date: Sep-2020
https://doi.org/10.1109/ACIT49673.2020.9208874
Pekh PKuzmych OZdolbitska NBahniuk NPasternak I(2020)Generators of Some Kinds Random Erlang Numbers and Estimation of Their Complexity2020 10th International Conference on Advanced Computer Information Technologies (ACIT)10.1109/ACIT49673.2020.9208831(306-310)Online publication date: Sep-2020
https://doi.org/10.1109/ACIT49673.2020.9208831
Blom JJonsson BNystrom S(2016)Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2016.42(209-218)Online publication date: Apr-2016
https://doi.org/10.1109/ICSTW.2016.42
Show More Cited By

Automated test generation for industrial Erlang applications
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

Fault-oriented automated test data generation
Automated coverage calculation and test case generation
SAICSIT '12: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

This article describes the use of symbolic execution, a formal method of static analysis, to calculate code coverage of a program's existing JUnit test suites. Code coverage is measured with respect to a number of test adequacy criteria, including ...
Automated Test Oracle Generation via Denotational Semantics
QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software

This paper presents a formal approach to specifying test oracles in denotational semantics, and bridges the automation between test case generation and software testing. We extended our grammar-based test generation tool, Gena, with an interface for ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ERLANG '03: Proceedings of the 2003 ACM SIGPLAN workshop on Erlang

August 2003

76 pages

ISBN:1581137729

DOI:10.1145/940880

Conference Chair:
Bjarne Däcker,
Program Chair:
Thomas Arts
IT-university in Gothenburg

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 29 August 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ERLANG03

Sponsor:

SIGPLAN

ERLANG03: Erlang Workshop 2003 ( co-located with ICFP 2003 and PPDP 2003 Conference )

August 29, 2003

Uppsala, Sweden

Acceptance Rates

Overall Acceptance Rate 51 of 68 submissions, 75%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
344
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Satsyk VGrudetsky RKuzmych OBahniuk NHlynchuk LMelnychuk Y(2020)Reduction of Server Load by Means of CMS Drupal2020 10th International Conference on Advanced Computer Information Technologies (ACIT)10.1109/ACIT49673.2020.9208874(523-528)Online publication date: Sep-2020
https://doi.org/10.1109/ACIT49673.2020.9208874
Pekh PKuzmych OZdolbitska NBahniuk NPasternak I(2020)Generators of Some Kinds Random Erlang Numbers and Estimation of Their Complexity2020 10th International Conference on Advanced Computer Information Technologies (ACIT)10.1109/ACIT49673.2020.9208831(306-310)Online publication date: Sep-2020
https://doi.org/10.1109/ACIT49673.2020.9208831
Blom JJonsson BNystrom S(2016)Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2016.42(209-218)Online publication date: Apr-2016
https://doi.org/10.1109/ICSTW.2016.42
Bohlin TJonsson BSoleimanifard S(2010)Inferring compact models of communication protocol entitiesProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I10.5555/1939281.1939342(658-672)Online publication date: 18-Oct-2010
https://dl.acm.org/doi/10.5555/1939281.1939342
Bohlin TJonsson BSoleimanifard S(2010)Inferring Compact Models of Communication Protocol EntitiesLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16558-0_53(658-672)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16558-0_53
Paladi NArts TEarle CThompson S(2009)Model based testing of data constraintsProceedings of the 8th ACM SIGPLAN workshop on ERLANG10.1145/1596600.1596611(71-82)Online publication date: 5-Sep-2009
https://dl.acm.org/doi/10.1145/1596600.1596611
Hessel ALarsen KMikucionis MNielsen BPettersson PSkou A(2008)Testing real-time systems using UPPAALFormal methods and testing10.5555/1806209.1806212(77-117)Online publication date: 1-Jan-2008
https://dl.acm.org/doi/10.5555/1806209.1806212
Nagy TNagyné Víg ATeoh THorváth Z(2008)Erlang testing and tools surveyProceedings of the 7th ACM SIGPLAN workshop on ERLANG10.1145/1411273.1411277(21-28)Online publication date: 27-Sep-2008
https://dl.acm.org/doi/10.1145/1411273.1411277
Hessel ALarsen KMikucionis MNielsen BPettersson PSkou A(2008)Testing Real-Time Systems Using UPPAALFormal Methods and Testing10.1007/978-3-540-78917-8_3(77-117)Online publication date: 2008
https://doi.org/10.1007/978-3-540-78917-8_3
Svensson HFredlund LThompson SFredlund L(2007)A more accurate semantics for distributed erlangProceedings of the 2007 SIGPLAN workshop on ERLANG Workshop10.1145/1292520.1292528(43-54)Online publication date: 5-Oct-2007
https://dl.acm.org/doi/10.1145/1292520.1292528
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Fault-oriented automated test data generation

Automated coverage calculation and test case generation

Automated Test Oracle Generation via Denotational Semantics