How to teach testing?

Tibor Gregorics, Krisztián Mózsi, Rudolf Szendrei
2019 Teaching Mathematics and Computer Science  
Testing 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
more » ... ramming 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.
doi:10.5485/tmcs.2018.0451 fatcat:6cbbl2lqb5f63gva7e52zohd3m