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.
The paper describes some possible ways how to improve Olympiads in Informatics. Tasks in Olympiads are small models of programming tasks in software industry and in the limited amount of competition time contestants need to complete several software production phases - coding, testing and debugging. Currently, only coding effort is adequately graded, but grading of other activities may be improved. Ways to involve contestants in overall testing process are investigated and ways to improve solution debugging process are described. Possible scoring schemas are discussed. In International Olympiads tasks with real numbers are quite rare. Possible reasons are investigated and a way how to return such tasks back to competition arena is suggested.
Computer simulations seem to be one of the most effective ways to use computers in physics education. They encourage students to carry out the processes used in physics research: to question, predict, hypothesise, observe, interpret results etc. Their effective use requires an availability of appropriate teaching resources fitting secondary schools curricula.
This paper presents a set of computer simulations that cover the curriculum area of Mechanics and are designed to fit directly to curricula and textbooks used at Slovak grammar schools. All simulations are accompanied by brief instructions for teachers, including suggestions for learning activities and problem tasks for students. Some of them are designed as virtual laboratories.
The developed simulations were tested with a group of secondary school students and evaluated also by groups of future and practising physics teachers. The paper presents and discusses findings and conclusions from the both runs of the testing.
Multiple choice questions are a convenient and popular means of testing beginning students in programming courses. However, they are qualitatively different from exam questions. This paper reports on a study into which types of multiple choice programming questions discriminate well on a final exam, and how well they predict exam scores.