QuickCheck property: Forced category limit applies

A continued programming exercise using TDD with PBT. This article is one of a series on finding properties for a budgeting kata. I expect you to have read the previous articles in the series. The first property specified that a bill doesn't exceed the total budget, and that's all there is to say about the total budget. All the complication lies in how category budgets are handled. In this article, we get started on that work, which will continue for another seven properties. The code is available on GitHub, in the commit aefa192. Per-category bounds # My plan for this exercise was always to attempt it with test-driven development (TDD) using properties rather than singular examples. When doing TDD, I usually keep the transformation priority premise in mind: When given a choice between test cases, pick the one you predict will provoke the smallest change to the System Under Test. Here, a good candidate may be a property specifying that for items that have no choice in which category to…

Commenting on Bubbles has been removed. Why? If you want to talk about this post, write to the author, use the comments on their blog if it has them, or reply with a "RE:" post on your own blog. Suggestions? feedback@bubbles.town