A Framework for State-Space Exploration of Java-Based Actor Programs

Date Added: Sep 2009
Format: PDF

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 non-determinism 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 re-implemented. Because many actor systems are compiled to Java bytecode, the authors have developed Basset, a general framework for testing actor systems compiled to Java bytecode. They illustrate Basset by instantiating it for the Scala programming language and for the ActorFoundry library for Java.