A Framework for State-Space Exploration of Java']Java-based Actor Programs

被引：22

作者：

Lauterburg, Steven ^{[1
]}

Dotta, Mirco ^{[2
]}

Marinov, Darko ^{[1
]}

Agha, Gul ^{[1
]}

机构：

[1] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA

[2] Ecole Polytech Fed Lausanne, I&C Sch, Lausanne, Switzerland

来源：

2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS | 2009年

基金：

美国国家科学基金会;

关键词：

D O I：

10.1109/ASE.2009.88

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide. exibility 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.

引用

页码：468 / 479

页数：12

共 50 条

[21] Eclpss: a Java']Java-based framework for parallel ecosystem simulation and modeling
Wenderholm, E
ENVIRONMENTAL MODELLING & SOFTWARE, 2005, 20 (09) : 1081 - 1100
[22] A Java']Java-based framework for real-time control systems
Blum, A
Cechticky, V
Pasetti, A
Schaufelberger, W
ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 447 - 453
[23] Java']Java-based framework for the secure distribution of Electronic Medical Records
Goh, A
MEDICAL INFORMATICS EUROPE '99, 1999, 68 : 582 - 587
[24] Design and implementation of a Java']Java-based meeting space over Internet
Lee, BS
Yeo, CK
Soon, IY
Lee, KK
Sun, W
MULTIMEDIA TOOLS AND APPLICATIONS, 2003, 20 (02) : 179 - 195
[25] A Java']Java-based teleconsultation system
Tang, LH
Wang, DJ
Wang, H
Proceedings of the World Engineers' Convention 2004, Vol B, Biological Engineering and Health Care, 2004, : 273 - 278
[26] Java']Java-based regulation broker
Liang, VC
Garrett, JH
JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2000, 14 (02) : 100 - 108
[27] The Java']Java-based ''Internet PC''
Simpson, D
DATAMATION, 1996, 42 (05): : 33 - 33
[28] A JAVA']JAVA-based meteorological workstation
Koppert, HJ
18TH INTERNATIONAL CONFERENCE ON INTERACTIVE INFORMATION AND PROCESSING SYSTEMS (IIPS) FOR METEOROLOGY, OCEANOGRAPHY, AND HYDROLOGY, 2002, : 307 - 309
[29] The future of Java']Java-based simulation
Kilgore, RA
Kleindorfer, GB
Healy, KJ
1998 WINTER SIMULATION CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 1998, : 1707 - 1712
[30] Java']Java-based mobile agents
Wong, D
Paciorek, N
Moore, D
COMMUNICATIONS OF THE ACM, 1999, 42 (03) : 92 - +

← 1 2 3 4 5 →