Gregorics, TiborMózsi, KrisztiánSzendrei, Rudolf2024-09-042024-09-042018-12-01Teaching Mathematics and Computer Science, Vol. 16 No. 2 (2018) , 215-2321589-7389https://hdl.handle.net/2437/379828Testing methodology is an important part of IT education. It is desired to show the beginner programmer students the advantage of testing by having them do only a small amount of work. In this paper, we will show how to make testing as a part of programming in simple exercises. These exercises are solved with the analogous programming technique, which is based on programming theorems over enumerators. We have elaborated grey-box test cases for the programs which have been developed based on programming theorems. These test cases can be taught together with the programming theorems, and they can serve as a standard testing procedure for programmers. We also suggest a test tool to automatize test runs, and we will discuss its usage in a short case study.application/pdfprogramming technologyprogram testingfolyóiratcikkOpen AccessTibor Gregorics, Krisztián Mózsi and Rudolf Szendreihttps://doi.org/10.5485/TMCS.2018.0451Teaching Mathematics and Computer Science216Teach. Math. Comp. Sci.2676-8364