SWE 437 Homework 8 Spring 2017
Input Space Partitioning

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.