Informatics in Education Logo

International Journal

Main Page
Editorial Board
Instructions to Authors

Author Index
Papers in Production

INFORMATICS IN EDUCATION, 2007, Vol. 6, No. 1, 81-102
© Institute of Mathematics and Informatics,

ISSN 1648-5831

Creating and Visualizing Test Data from Programming Exercises


Helsinki University of Technology, Department of Computer Science and Engineering PO Box 5400, 02015 HUT E-mail:


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.


automatic assessment, programming exercises, testing, test-data, software visualiza-\allowbreak tion, computer science education

PDFTo preview full article text in PDF format click here

Get Free ReaderYou could obtain free Acrobat Reader from Adobe

TopTop Copyright © INFORMATICS IN EDUCATION, Institute of Mathematics and Informatics, 2013