A framework for state-space exploration of java-based actor programs

Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be interleaved, and distributed nodes may operate asynchronously. The resulting nondeterminism is captured by nondeterministic processing of messages. To automate testing, researchers have developed several tools tailored to specific actor systems. As actor languages and libraries continue to evolve, such tools have to be reimplemented. Because many actor systems are compiled to Java bytecode, we have developed Basset, a general framework for testing actor systems compiled to Java bytecode. We illustrate Basset by instantiating it for the Scala programming language and for the ActorFoundry library for Java. Our implementation builds on Java PathFinder, a widely used model checker for Java. Experiments show that Basset can effectively explore executions of actor programs; e.g., it discovered a previously unknown bug in a Scala application.

Original languageEnglish (US)
Title of host publicationASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering
Pages468-479
Number of pages12
DOIs
StatePublished - Dec 1 2009
Event24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009 - Auckland, New Zealand
Duration: Nov 16 2009Nov 20 2009

Publication series

NameASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Other

Other24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009
CountryNew Zealand
CityAuckland
Period11/16/0911/20/09

    Fingerprint

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Lauterburg, S., Dotta, M., Marinov, D., & Agha, G. A. (2009). A framework for state-space exploration of java-based actor programs. In ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering (pp. 468-479). [5431748] (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering). https://doi.org/10.1109/ASE.2009.88