ArbitCheck: A highly automated property-based testing tool for Java

Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden

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

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014
PublisherIEEE Computer Society
Pages405-412
Number of pages8
ISBN (Print)9780769551944
DOIs
Publication statusPublished - 2014 Jan 1
Externally publishedYes
Event7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014 - Cleveland, OH, United States
Duration: 2014 Mar 312014 Apr 4

Publication series

NameProceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014

Other

Other7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014
CountryUnited States
CityCleveland, OH
Period14/3/3114/4/4

Keywords

  • Feedback-directed random test generation
  • Java
  • Object-oriented
  • Property-based testing
  • QuickCheck
  • Random testing
  • Randoop
  • Unit testing

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'ArbitCheck: A highly automated property-based testing tool for Java'. Together they form a unique fingerprint.

  • Cite this

    Yatoh, K., Sakamoto, K., Ishikawa, F., & Honiden, S. (2014). ArbitCheck: A highly automated property-based testing tool for Java. In Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014 (pp. 405-412). [6825695] (Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014). IEEE Computer Society. https://doi.org/10.1109/ICSTW.2014.68