Mallipohjaisia työkaluja analysoidessani aiheen rajaaminen on muodostunut yllättävän hankalaksi. Tämä johtuu siitä että mallipohjaisella testauksella (model-based testing) tarkoitetaan niin montaa asiaa. Yksinkertaisimmillaan se on testitapauksen piirtäminen ja monimutkaisimmillaan systeemin käyttäytymisen mallinnusta ja siitä testien generoimista. Lisäksi esiintyy termi malliajo testaus (model-driven testing) josta on myös pari variaatiota. Olen jokseenkin samaa mieltä näiden määrittelyista kuin Antti Huima blogissaan. Eli mode-based testing on mallin tekemistä ja siitä testien generoimista ja mode-driven testing on online testausta jossa mallia käytetään karttana jolla edetään samanaikaisesti kuin ohjelmaa testataan.
Sitten kun määritelmät on selvänä niin pitäisi päättää mitä on järkevää tutkia. Jos otan model-driven testing työkaluja niin niitä on tasan yksi kaupallinen tullut vastaan. Jos otetaan puhtaat model-driven testing työkalut niin määrä lähenee jo kymmentä. Mutta jos otetaan testi input dataa määritelmistä generoivia työkaluja mukaan niin määrä räjähtää käsiin ja aika loppuu kesken. Ne kyllä tavallaan ovat mallipohjaisia työkaluja koska käyttävät data domain mallia. Lisä hankaluuden muodostaa erilaiset tutkimusprojektien myötä syntyneet työkalut, niiden epäselvä tilanne ja open source kentän hajanaisuus. Täytynee katsoa miten pitkälle aika riittää ja tehdä rajaus sen mukaan.