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 条
  • [31] Triggers in Java']Java-based databases
    Bertino, E
    Guerrini, G
    Merlo, I
    JAVA AND DATABASES, 2000, : 387 - 398
  • [32] The implementation of JAVA']JAVA-based SNMP
    Dong, XH
    Fang, ZY
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VIII, PROCEEDINGS: CONTROL, COMMUNICATION AND NETWORK SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 141 - 144
  • [33] CRESTMUSE TOOLKIT: A JAVA']JAVA-BASED FRAMEWORK FOR SIGNAL AND SYMBOLIC MUSIC PROCESSING
    Kitahara, Tetsuro
    Katayose, Haruhiro
    2014 12TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING (ICSP), 2014, : 616 - 620
  • [34] Proxy-and-hook: A Java']Java-based distributed object caching framework
    Banditwattanawong, T
    Maruyama, K
    Hidaka, S
    Washizaki, H
    2005 3rd IEEE International Conference on Industrial Informatics (INDIN), 2005, : 819 - 824
  • [35] A Java']Java-based framework for simulation and teaching: HADES the Hamburg design system
    Hendrich, N
    MICROELECTRONICS EDUCATION, 2000, : 285 - 288
  • [36] A Component Framework for Java']Java-Based Real-Time Embedded Systems
    Plsek, Ales
    Loiret, Frederic
    Merle, Philippe
    Seinturier, Lionel
    MIDDLEWARE 2008, PROCEEDINGS, 2008, 5346 : 124 - 143
  • [37] Java']Java-based application framework for visualization of gene regulatory region annotations
    Sun, H
    Davuluri, RV
    BIOINFORMATICS, 2004, 20 (05) : 727 - U518
  • [38] StarMX: A Framework for Developing Self-Managing Java']Java-based Systems
    Asadollahi, Reza
    Salehie, Mazeiar
    Tahvildari, Ladan
    2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, 2009, : 58 - 67
  • [39] Access to SAP's business framework from Java']Java-based applications
    Aleksy, M
    Korthaus, A
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2001, 13 (07): : 621 - 641
  • [40] Symphony: A Java']Java-based composition and manipulation framework for distributed legacy resources
    Shah, A
    Kafura, D
    INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 2 - 12
12345