Artykuł autorstwa Marka Żukowicza jest po polsku, ale jego streszczenie po angielsku.
The paper presents a mathematical justification of the problem of applying software testing for smaller class of problems. The No Free Lunch theory is shown, conclusions are drawn from this theory. The logic of software testing division is shown. Test optimization strategies to the problems already divided into equivalence classes are described. In the last chapter the educational impact of the article are discussed. The importantance of testing educational software is highlighted.