Etiket: equivalence partitioning example in testing