Basset: a tool for systematic testing of actor programs

Authors:
Steven Lauterburg;Rajesh K. Karmani;Darko Marinov;Gul Agha
Affiliations:
University of Illinois at Urbana-Champaign, Urbana, IL, USA;University of Illinois at Urbana-Champaign, Urbana, IL, USA;University of Illinois at Urbana-Champaign, Urbana, IL, USA;University of Illinois at Urbana-Champaign, Urbana, IL, USA
Venue:
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2010

Citing 5
Cited 1

Model Checking Programs

Automated Software Engineering
A foundation for actor computation

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

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Mutation Operators for Actor Systems

ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Evaluating ordering heuristics for dynamic partial-order reduction techniques

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering

Ten years of analyzing actors: Rebeca experience

Formal modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent and distributed systems. Since the actor model is based on message passing and disallows shared state, it avoids some of the problems inherent in shared-memory programming, e.g., low-level dataraces involving access to shared data. However, actor programs can still have bugs that result from incorrect orders of messages among actors or processing of messages by individual actors. To systematically test an actor program, it is necessary to explore different message delivery schedules that might occur during execution. Basset facilitates such exploration and provides a generic platform that can support actor systems that compile to Java bytecode. Our current implementation of Basset supports testing of programs developed using the ActorFoundry library and the Scala programming language.