Browse wiki

From IOI Wiki
Jump to: navigation, search
Creating and visualizing test data from programming exercises
Abstract Automatic assessment of programming exerci
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.
ide novel visualizations of the test data.  +
Free 1 +
Has author Petri Ihantola +
Journal Informatics in Education +
Pages 81-102 +
Title Creating and visualizing test data from programming exercises +
Type Article +
Volume 6 +
Year 2007 +
Categories Publications about evaluation
Modification date
This property is a special property in this wiki.
27 July 2010 19:38:13  +
Number
This property is a special property in this wiki.
1  +
URL
This property is a special property in this wiki.
http://www.mii.lt/informatics_in_education/htm/INFE102.htm  +
hide properties that link here 
Creating and visualizing test data from programming exercises + Title
 

 

Enter the name of the page to start browsing from.