Etiket: equivalence partitioning in black box testing