Skip to content

Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)

Notifications You must be signed in to change notification settings

sim642/bsc-thesis

Repository files navigation

Abstraktsete domeenide omaduspõhine testimine

(Property-based Testing of Abstract Domains)

Juhendajad: Vesal Vojdani ja Kalmer Apinis

Töö eesmärk on proovida omaduspõhise testimise abil kontrollida, et staatilise analüsaatori abstraktsed domeenid tõepoolest käituvad nagu abstraktsed domeenid. Töös tuleb anda ülevaade abstraktse domeeni mõistest ja uurida kõik võimalused nende korrektset käitumist omaduspõhise testimisega verifitseerida. Näiteks peavad domeenid olema võred ja nende operatsioonid peavad rahuldama teatud matemaatilisi omadusi. Seal on edasi palju võimalusi, kuidas väärtuste simuleerimiseks kasutatud domeene kontrollida. Töö praktilise väljundina tuleks oma ideid Goblinti analüsaatori testimisel katsetada teegiga qcheck ja suure tõenäosusega õnnestub reaalseid vigu analüsaatori koodis leida.