DocumentCode
125298
Title
Teaching Students Property-Based Testing
Author
Benac Earle, Clara ; Fredlund, Lars-Ake ; Marino, Julio ; Arts, Thomas
Author_Institution
Babel Group, Univ. Politec. de Madrid, Madrid, Spain
fYear
2014
fDate
27-29 Aug. 2014
Firstpage
437
Lastpage
442
Abstract
Testing is a crucial aspect of the development of dependable embedded systems, and therefore a significant effort is put into researching and developing efficient testing techniques. However, testing is not normally taught in specific courses at many universities, but rather as a peripheral activity to programming. In this paper, we report on three separate experiences at teaching an advanced testing technique, property-based testing, and a supporting tool, QuviQ Quick Check, to both undergraduate and master students.
Keywords
computer science education; educational courses; educational institutions; embedded systems; further education; program testing; teaching; QuviQ QuickCheck; advanced testing technique; courses; dependable embedded system development; master students; property-based testing; supporting tool; teaching; testing techniques; undergraduate students; universities; Educational institutions; Java; Libraries; Programming; Software; Testing; Computer science education; Testing and debugging;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on
Conference_Location
Verona
Type
conf
DOI
10.1109/SEAA.2014.74
Filename
6928850
Link To Document