SWE 437 In Class Exercise # 15
More Input Space Partitioning


Names:

This exercise builds an input domain model with specific focus on the desirable mathemtical properties. The source for this input domain models is the javaDoc description of behavior.

static <E> public int boolean index (List<E> list, E element)
  1. What exactly does index do?

    More precisely, what is reasonable javaDoc for index?

  2. Using the javaDoc, identify some characteristics.

  3. For each characteristic, partition the input domain into blocks.

  4. Check the partition for the required mathematical properties (namely, pairwise disjointness and completeness).

  5. What is a reasonable base-choice? How many base choices tests are there?

  6. How many tests are needed to satisfy pair-wise coverage?