Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, but the test data generation is not automated. No matter that automatic test data generation techniques and tools are avai...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University
2007-04-01
|
Series: | Informatics in Education |
Subjects: | |
Online Access: | https://infedu.vu.lt/doi/10.15388/infedu.2007.06 |
_version_ | 1811266623467683840 |
---|---|
author | Petri IHANTOLA |
author_facet | Petri IHANTOLA |
author_sort | Petri IHANTOLA |
collection | DOAJ |
description | Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, but the test data generation is not automated. No matter that automatic test data generation techniques and tools are available.
We have researched how the Java PathFinder software model checker can be adopted to the specific needs of test data generation in automatic assessment. Practical problems considered are: how to derive test data directly from students' programs (i.e., without annotation) and how to visualize and how to abstract test data automatically for students? Interesting outcomes of our research are that with minor refinements generalized symbolic execution with lazy initialization (a test data generation algorithm implemented in PathFinder) can be used to construct test data directly from students' programs without annotation, and that intermediate results of the same algorithm can be used to provide novel visualizations of the test data. |
first_indexed | 2024-04-12T20:46:37Z |
format | Article |
id | doaj.art-0b407fea4ba4419e8d70ace0ccb1aea9 |
institution | Directory Open Access Journal |
issn | 1648-5831 2335-8971 |
language | English |
last_indexed | 2024-04-12T20:46:37Z |
publishDate | 2007-04-01 |
publisher | Vilnius University |
record_format | Article |
series | Informatics in Education |
spelling | doaj.art-0b407fea4ba4419e8d70ace0ccb1aea92022-12-22T03:17:15ZengVilnius UniversityInformatics in Education1648-58312335-89712007-04-01618110210.15388/infedu.2007.06Creating and Visualizing Test Data from Programming ExercisesPetri IHANTOLA0Helsinki University of Technology, Department of Computer Science and Engineering PO Box 5400, 02015 HUTAutomatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, but the test data generation is not automated. No matter that automatic test data generation techniques and tools are available. We have researched how the Java PathFinder software model checker can be adopted to the specific needs of test data generation in automatic assessment. Practical problems considered are: how to derive test data directly from students' programs (i.e., without annotation) and how to visualize and how to abstract test data automatically for students? Interesting outcomes of our research are that with minor refinements generalized symbolic execution with lazy initialization (a test data generation algorithm implemented in PathFinder) can be used to construct test data directly from students' programs without annotation, and that intermediate results of the same algorithm can be used to provide novel visualizations of the test data.https://infedu.vu.lt/doi/10.15388/infedu.2007.06automatic assessmentprogramming exercisestestingtest-datasoftware visualizationcomputer science education |
spellingShingle | Petri IHANTOLA Creating and Visualizing Test Data from Programming Exercises Informatics in Education automatic assessment programming exercises testing test-data software visualization computer science education |
title | Creating and Visualizing Test Data from Programming Exercises |
title_full | Creating and Visualizing Test Data from Programming Exercises |
title_fullStr | Creating and Visualizing Test Data from Programming Exercises |
title_full_unstemmed | Creating and Visualizing Test Data from Programming Exercises |
title_short | Creating and Visualizing Test Data from Programming Exercises |
title_sort | creating and visualizing test data from programming exercises |
topic | automatic assessment programming exercises testing test-data software visualization computer science education |
url | https://infedu.vu.lt/doi/10.15388/infedu.2007.06 |
work_keys_str_mv | AT petriihantola creatingandvisualizingtestdatafromprogrammingexercises |