1. Example

2. Citations and footnotes

3. External links

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.^[1] 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.^[2]

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), {

  LinkedList x, LinkedList y =>      prop(append(x, y).size() == x.size() + y.size())        

});

Citations and footnotes

External links

• Reductio website
• Reductio User Manual
• Reductio RequalsHashCode
• A Case for Automated Testing
• Tests As Documentation

• Viscount Northcliffe
• Viscount Northland
• Viscount Norwich
• Viscount Novar of Raith
• Viscount Nuffield
• Viscount of Aboyne
• Viscount of Air
• Viscount of Aithrie
• Viscount of Annand
• Viscount of Arbuthnott
• Viscount of Ayr
• Viscount of Balquhidder
• Viscount of Balquhidder, Glenalmond and Glenlyon
• Viscount of Blasonberrie
• Viscount of Briene
• Viscount of Broxmouth
• Viscount of Béziers
• Viscount of Canada
• Viscount of Dalrymple
• Viscount of Drumlanrig
• Viscount of Dunblane
• Viscount of Dundaff
• Viscount of Dupplin
• Viscount of Fentoun
• Viscount of Fincastle