Sciweavers

Share
IIE
2007

Creating and Visualizing Test Data from Programming Exercises

9 years 1 months ago
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 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 visualhow 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 prov...
Petri Ihantola
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IIE
Authors Petri Ihantola
Comments (0)
books