Teaching Students Property-Based Testing

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...

Full description

Saved in:
Bibliographic Details
Published in2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications pp. 437 - 442
Main Authors Benac Earle, Clara, Fredlund, Lars-Ake, Marino, Julio, Arts, Thomas
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2014
Subjects
Computer science education
Educational institutions
Java
Libraries
Programming
Software
Testing
Testing and debugging
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1089-6503
2376-9505
DOI:10.1109/SEAA.2014.74