Mathematical models of pedagogical testing