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

Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - IEEE 7th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014
出版社IEEE Computer Society
ページ405-412
ページ数8
ISBN(印刷版)9780769551944
DOI
出版ステータスPublished - 2014 1 1
外部発表はい
イベント7th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2014 - Cleveland, OH, United States
継続期間: 2014 3 312014 4 4

出版物シリーズ

名前Proceedings - 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
国/地域United States
CityCleveland, OH
Period14/3/3114/4/4

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「ArbitCheck: A highly automated property-based testing tool for Java」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル