Automaattinen tarkistus tapahtuu osin Lausekielinen ohjelmointi I -kurssin tapaan testeillä, joissa verrataan malliratkaisun ja opiskelijan ratkaisun tulosteita.

Testauksessa tutkitaan automaattisesti myös ohjelman rakennetta. WETO saattaa hakea ohjelmastasi tehtävänannossa määriteltyä operaatiota. Löydetyn operaation automaattinen kutsuminen on mahdollista. Ole tarkkana erityisesti operaatioiden otsikoiden kanssa: määrittele operaation paluuarvo ja parametrit täsmälleen tehtävässä pyydetyllä tavalla. Älä esimerkiksi tee operaatiolle muita kuin tehtävässä annettuja parametreja. Joissain tehtävissä myös operaation nimi on kiinnitetty.

Kunkin tehtävän testit kuvaillaan tarkemmin palautuskohdan Main-välilehdellä WETOssa.

Operaatioissa on oltava public-näkyvyysmääre. Operaatiot on esiteltävä static-määreellä.

WETO tulostaa rakennetestin epäonnistuessa lyhyen virheilmoituksen. WETO voisi tulostaa esimerkiksi

ERROR: Method public static void ...(String) in HelloYou was not found.

jos HelloYou-nimisestä ohjelmasta ei löydy tehtävänannossa pyydettyä void-tyyppistä operaatiota, jolla on yksi String-tyyppinen parametri. Operaation nimi on tässä tapauksessa vapaavalintainen ja esitetty siksi kolmella pisteellä.

WETO arvioi automaattisen operaatiokutsun jälkeen operaation mahdollisesti palauttaman arvon ja kertoo esimerkiksi näin:

ERROR: Invalid return value.
Expected: false
Observed: true

jos paluuarvo on virheellinen. WETO toteaa yllä, että se operaatio palautti false-arvon asemasta true-arvon.

Ota yhteyttä kurssin vastuuopettajaan, jos en keksi järjellisessä ajassa miksi WETO ei hyväksy ohjelmaasi.

Huomaa, että ohjelmasi ei ole varmasti oikeellinen, vaikka testaus onnistuu, koska testit kattavat vain osan ohjelman toiminnallisuudesta ja rakenteesta.