Paper Info
Title
ArbitCheck: A Highly Automated Property-Based Testing Tool for Java
Abstract
Lightweight property-based testing tools are becoming popular these days. With property-based testing, developers can test properties of the system under test against large varieties of randomly generated inputs without writing test cases. Despite the advantages of property-based testing, current property-based testing tools have a major drawback: they require developers to write generator functions for user-defined types. This is because it is difficult for a tool to infer the possible values for the type. However, user-defined generators sometimes fail to find faults by only producing overly limited varieties of values. In this paper, we present a new property-based testing tool, called ArbitCheck, which automates object generation by adapting the feedback-directed random test generation technique. With the help of feedback-directed random test generation, ArbitCheck exhaustively generates possible values of user-defined types and tests properties with them, so that it can reveal faults that are hard to find with either manually written tests or existing property-based testing tools.
Year
DOI
Venue
2014
10.1109/ICSTW.2014.68
Software Testing, Verification and Validation Workshops
Keywords
Field
DocType
Java,program testing,ArbitCheck,Java testing tool,generator functions,highly automated property,object generation,property based testing,Feedback-directed random test generation,Java,Object-oriented,Property-based testing,QuickCheck,Random testing,Randoop,Unit testing
Black-box testing,Programming language,Software engineering,Test Management Approach,Computer science,Manual testing,White-box testing,Domain testing,Model-based testing,Test data generation,Keyword-driven testing
Conference
ISSN
Citations 
PageRank 
2159-4848
0
0.34
References 
Authors
13
4
Name
Order
Citations
PageRank
Kohsuke Yatoh100.34
Kazunori Sakamoto200.34
Fuyuki Ishikawa3202.42
S. Honiden492.60