ekvivalensklasser, testfall och krav