Targeted Test Generation for Actor Systems
This paper addresses the problem of targeted test generation for actor systems. Specifically, we propose an approach to generate system-level tests which cover a given code location in an actor system. The approach consists of two phases. First, static analysis is used to construct a message flow graph (MFG). The MFG is an abstraction of the entire actor system that captures potential actor interactions defined by a program. Second, a backwards symbolic execution (BSE) from a target location to an ’entry point’ of the actor system is performed. The BSE uses the MFG constructed in the first phase to guide execution across actors. Because a BSE generates a huge search space of potential entry points, heuristics combined with a feedback-directed technique are used to guide and prune the search. We implement our approach in a tool called Tap for Java Akka programs, and evaluate Tap on the Savina benchmarks and four open source projects. Our evaluation shows that the Tap achieves a relatively high target coverage (78% on 1,000 targets) and detects six previously unreported bugs in the subjects.
Thu 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:30: TestingECOOP Research Papers at Zurich II Chair(s): Alastair DonaldsonImperial College London | |||
13:50 - 14:15 Research paper | A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP Research Papers Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research DOI | ||
14:15 - 14:40 Research paper | Learning to Accelerate Symbolic Execution via Code Transformation ECOOP Research Papers Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University DOI | ||
14:40 - 15:05 Research paper | Type Regression Testing to Detect Breaking Changes in Node.js Libraries ECOOP Research Papers Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University DOI | ||
15:05 - 15:30 Research paper | Targeted Test Generation for Actor Systems ECOOP Research Papers Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA DOI |