Activity: IDM and ISP criteria — GenericStack

(no submission)

Purpose: Understand and practice ISP coverage criteria

You may make a copy of a worksheet and complete this activity, or simply type your answers in any text editor.

You may work alone or with at most two other students in this course.

Task 1: Model input domain (refer to POTD 2: IDM GenericStack)

This is from exercise 6.1, #4 (AO textbook). Derive input space partitioning test inputs for the GenericStack class with the following method signatures:

Assume the usual semantics for the GenericStack. Try to keep your partitioning simple and choose a small number of partitions and blocks.

  1. List all of the input variables, including the state variables
  2. Define characteristics of the input variables. Make sure you cover all input variables
  3. Partition the characteristics into blocks
  4. Define values for each block

Task 2: Choose combinations of values

  1. Apply All Combination Coverage (ACoC)
    • Compute the (maximum) number of tests
    • Derive test requirements
    • Substitute test input values
  2. Apply Each Choice Coverage (ECC)
    • Compute the (maximum) number of tests
    • Derive test requirements
    • Substitute test input values
  3. Apply Pair-Wise Coverage (PWC)
    • Compute the (maximum) number of tests
    • Derive test requirements
    • Substitute test input values
  4. Apply Base Choice Coverage (BCC)
    • Compute the (maximum) number of tests
    • Derive test requirements
    • Substitute test input values
  5. Apply Multiple Base Choice Coverage (MBCC)
    • Compute the (maximum) number of tests
    • Derive test requirements
    • Substitute test input values


Copyright © 2025 Upsorn Praphamontripong
Released under the Creative Commons License CC-BY-NC-SA 4.0 license.
Last updated 2025-09-20 19:02