SWE 437 Homework 8
Spring 2017
Input Space Partitioning


Consider in-class exercise #15, which addressed the patternIndex() function.

Build a set of JUnit tests that satisfies either PWC or BCC (your choice). I suggest you choose a fairly simple input domain model so that the deliverable, described below, is not of undue complexity.

Your deliverable is a story that convinces the GTA (or me) that you actually derived your tests from your input domain model. That is, you will be graded solely on whether you demonstrate an understanding of how input domain models lead to tests in the context of this example. If you simply turn in an IDM or JUnit tests without explanation, your score will be zero.

An important part of the story is explaining what happens to infeasible test frames. Depending on whether you are using PWC or BCC, you need to do the right thing with them.

  • You're encouaraged to use one of the IDM tools out there in internet land. To make the encouragment concrete, submissions that do in a reasonable fashion earn a bonus point.
  • This is a great assignment for the collaboration model. Not only will it go faster, but you'll understand it better if you can explain your bit to your teammates.