Basset: A tool for systematic testing of actor programs

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul A Agha

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

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18
Pages363-364
Number of pages2
DOIs
StatePublished - Dec 1 2010
Event18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-18 - Santa Fe, NM, United States
Duration: Nov 7 2010Nov 11 2010

Publication series

NameProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Other

Other18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-18
Country/TerritoryUnited States
CitySanta Fe, NM
Period11/7/1011/11/10

Keywords

  • actors
  • jpf
  • scala
  • state-space exploration

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Basset: A tool for systematic testing of actor programs'. Together they form a unique fingerprint.

Cite this