翻訳と辞書
Words near each other
・ Reducer
・ Reduchów
・ Reducin
・ Reducing (film)
・ Reducing agent
・ Reducing Americans' Vulnerability to Ecstasy Act
・ Reducing atmosphere
・ Reducing emissions from deforestation and forest degradation
・ Reducing equivalent
・ Reducing Excessive Deadline Obligations Act of 2013
・ Reducing Regulatory Burdens Act of 2013
・ Reducing sugar
・ Reduct
・ Reductase
・ Reductase kinase
Reductio
・ Reductio ad absurdum
・ Reductio ad Hitlerum
・ Reduction
・ Reduction (complexity)
・ Reduction (cooking)
・ Reduction (mathematics)
・ Reduction (military)
・ Reduction (music)
・ Reduction (orthopedic surgery)
・ Reduction (recursion theory)
・ Reduction (Sweden)
・ Reduction criterion
・ Reduction drive
・ Reduction fishery


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Reductio : ウィキペディア英語版
Reductio

Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called ''QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs''.〔(QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs )〕 Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing.
The primary objective of Reductio is to make testing as rigorous as possible, while alleviating developer effort through automation of many common testing tasks. Reductio includes usage examples that demonstrate how this objective has been met using both traditional Java 1.5 and Java 7 BGGA syntax as well as Scala programming language examples.〔
* (Java 1.5 examples )
* (Java BGGA examples )
* (Scala examples )〕
== Example ==

The following example uses Java 7 BGGA syntax to execute 100 unit tests on java.util.LinkedList. It asserts that when a list (x) is appended to another list (y), then the size() of the resulting list (xy) is equivalent to the sum of the size() of the two original lists.

Property p = property(arbLinkedList(arbInteger), arbLinkedList(arbInteger), );


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Reductio」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.