Automātiska programmēšanas uzdevumu testēšanas sistēma „Proofground”

Abstract

Kvalifikācijas darbā aprakstīta automatizētas programmēšanas uzdevumu pārbaudes sistēmas Proofground izstrāde un ieviešana. Proofground mērķis ir testēt sistēmas lietotāju iesūtītos uzdevumu risinājumus, kompilējot to pirmkodu un pārbaudot risinājuma izvada atbilstību etalonam katram iepriekš definētam testa ievadam, līdzīgi kā Latvijas Informātikas Olimpiādē vai Starptautiskajā Informātikas Olimpiādē izmantotajās sistēmās. Proofground ļauj pārvaldīt lietotājus, uzdevumu grupas, uzdevumus un iesūtījumus, kā arī ir sadalīta sistēma, kas spēj vienlaicīgi izmantot vairāku datoru resursus, lai veiktu risinājumu testēšanu. Proofground pirmkods un izvads atbilst vairākiem starptautiskiem standartiem.

This research work describes the development and installation process of an automatic programming problem solution grading system Proofground. Proofground's goal is to test problem solutions submitted by system users by compiling the solutions' source code and comparing its runtime output with the correct answer on a set of predefined test inputs, like the systems used in Latvian Olympiad in Informatics or International Olympiad in Informatics do. Proofground allows managing users, problem groups, problems and submission items. Additionally, the system features a distributed design, capable of running test jobs on many computers simultaneously to aid performance. Proofground source code and output complies with several international standards.