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
CountryUnited States
CityCleveland, OH
Period14/3/3114/4/4

ASJC Scopus subject areas

  • Software

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

引用スタイル