Using Property-Based Testing to Generate Feedback for C Programming Exercises

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2020

Autores

Pedro Vasconcelos (Autor) FCUP; Rita Ribeiro (Autor) FCUP

Ata de Conferência Internacional

Título: First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference).

Página Inicial: 28:1

1st International Computer Programming Education Conference, ICPEC 2020

25 June 2020 through 26 June 2020

Indexação

Scopus - 3 Citações

Outras Informações

ID Authenticus: P-00S-DD7

DOI: 10.4230/oasics.icpec.2020.28

Abstract (EN): This paper reports on the use of property-based testing for providing feedback to C programming exercises. Test cases are generated automatically from properties specified in a test script; this not only makes it possible to conduct many tests (thus potentially find more mistakes), but also allows simplifying failed tests cases automatically. We present some experimental validation gathered for an introductory C programming course during the fall semester of 2018 that show significant positive correlations between getting feedback during the semester and the student's results in the final exam. We also discuss some limitations regarding feedback for undefined behaviors in the C language. 2012 ACM Subject Classification Social and professional topics ! Student assessment; Software and its engineering ! Software testing and debugging; Software and its engineering ! Domain specific languages.

Idioma: Inglês

Tipo (Avaliação Docente): Científica