Informatics in Education logo


Login Register

  1. Home
  2. Issues
  3. Volume 6, Issue 1 (2007)
  4. Creating and Visualizing Test Data from ...

Informatics in Education

INFORMATION Submit your article Help
  • Article info
  • Related articles
  • More
    Article info Related articles

Creating and Visualizing Test Data from Programming Exercises
Volume 6, Issue 1 (2007), pp. 81–102
Petri IHANTOLA  

Authors

 
Placeholder
https://doi.org/10.15388/infedu.2007.06
Pub. online: 15 April 2007      Type: Article     

Published
15 April 2007

Abstract

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.

Related articles PDF XML
Related articles PDF XML

Copyright
No copyright data available.

Keywords
automatic assessment programming exercises testing test-data software visualization computer science education

Metrics
since February 2020
1174

Article info
views

0

Full article
views

859

PDF
downloads

282

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICS IN EDUCATION

  • Online ISSN: 2335-8971
  • Print ISSN: 1648-5831
  • Copyright © 2024 Vilnius University
  •  

For contributors

  • Submit
  • OA Policy

Contact us

  • Institute of Data Science and Digital Technologies,
  • Vilnius University, Akademijos St. 4, 08412, Vilnius, Lithuania
  • E-mail: gabriele.stupuriene@mif.vu.lt
Powered by PubliMill  •  Privacy policy