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

Other

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

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Software

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] IEEE Computer Society. https://doi.org/10.1109/ICSTW.2014.68