Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Goblin kurssinhallintajärjestelmä Raimo Nikkilä Antti Tuomi

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Goblin lyhyesti •Kehitystyö alkoi vuonna 2000 •Ohjelmointitehtävien automaattinen arviointi (CAA) ja hallinta •Toimii Apache – PHP – MySQL alustalla #XHTML 1.1 Web-käyttöliittymä •Käytetään lukuisilla TKK:n kursseilla #C, C++, Java, XML •Tukee palautettujen tehtävien tarkastelua sekä luokittelua

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Tehtävien käsittely Goblinissa •Kurssin kotitehtäviä hallitaan täysin Goblinilla #Tehtävänannot, palautukset sekä malliratkaisujen julkistaminen •Opiskelijoilla on yksilölliset käyttäjätunnukset •Goblin tukee ryhmätyöskentelyä #Yksilöllisesti suoritettavat tehtävät palautetaan yhden hengen ryhmissä •Varsinainen tarkastaminen suoritetaan erillisellä Expaca ohjelmalla #Vertailu malliratkaisua vastaan •Hienojakoinen oikeuksien hallinta #Tehtävät voi esimerkiksi avata ensin vain kurssihenkilökunnalle #Palautusmäärät ovat rajoitettavissa tehtäväkohtaisesti

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Palautusten tarkastelu ja luokittelu •Kurssihenkilökunta näkee kaikki opiskelijoiden tekemät palautukset #Myös opiskelijan saamat pisteet ja palautteen •Luokittelulla voidaan tarkastella kaikkia tehtävän palautuksia kerralla #Merkittävästi poikkeavat ratkaisut löytyvät •Ohjelmakoodit esitetään korostettuina #source-highlight ohjelmalla

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Expaca •Extensible program for automatic code assessment •Erillinen ohjelma #Toteutettu C++-kielellä. •Tarkistaa opiskelijan ohjelman malliratkaisua vastaan käyttäen tehtäväkohtaisia tarkistussääntöjä •Sekä tarkistussääntö että ohjelman tuottama palaute ovat XML-muodossa #Palaute samaan aikaan helppolukuista sekä tietokoneohjelmalle (Goblin) että opiskelijalle (XSL-muunnoksen avulla tuotettu XHTML)

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Expaca – mitä testataan? •Expacalla voi testata mitä tahansa ohjelmaa joka tuottaa jonkinlaista ulostuloa #Ulostulo voi olla joko binääridataa tai tekstidataa. •Expaca osaa tulkita sekä UTF-8:lla että ISO :lla enkoodattua tekstiä (automaattinen tunnistus) #Ei ole sidottu mihinkään tiettyyn ohjelmointikieleen #Voi testata aivan yhtä helposti XML-dokumentteja kuin Java- ohjelmia #Mahdollistaa mm. kääntäjän ja Valgrindin varoitusten huomioon ottamisen arvostelussa

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä Esimerkki tarkastussäännöstä •Testi 1 #Käynnistä ohjelma /usr/bin/valgrind rectangle #Lue rivi, vertaile malliratkaisun tulostamaan riviin #Kirjoita 2 satunnaislukua väliltä 1 ja 10 #Lue 2 lukua, vertaa malliratkaisun tulostamiin lukuihin toleranssilla 0.01 #Tarkista ohjelman paluuarvo •Testi 2 #Älä aja testiä, jos testi 1 epäonnistui #Kopioi ensimmäisen testin tuottama lokitiedosto ajohakemistoon #Käynnistä ohjelma xmlstarlet #Lue 2 lukua (muistivirheiden ja muistivuotojen määrä), vertaa toleranssilla 0 malliratkaisun tulosteeseen

Goblin-kurssinhallintajärjestelmäTKK / Automaation tietotekniikan laboratorio Antti Tuomi, Raimo Nikkilä OpenGoblin •Goblinin yleisessä käytössä oleva esittelyversio • •Tunnukset openGobliniin saa luotua openGoblin sivulta