Mudelipõhise testimise õppematerjalide ja koduülesande loomine ainele ,,Automaadid, keeled ja translaatorid”

Abstract

Bakalaureusetöö eesmärk on koostada õppematerjalid mudelipõhisest testimisest kursusele “Automaadid, keeled ja translaatorid” ning leida vastus uurimusküsimusele, kas mudelipõhiselt sobib testida kursuse neid ülesandeid, mille taga peituvad olekumasinad? Töös kasutati mudelipõhise testimise tööriista GraphWalker, mille olemus sarnaneb olekumasinatele.