MTAT bakalaureusetööd – Bachelor's theses

Selle kollektsiooni püsiv URIhttps://hdl.handle.net/10062/32748

Sirvi

Sirvi MTAT bakalaureusetööd – Bachelor's theses Märksõna "abstraktne interpretaator" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    Kirje
    Interaktiivne Abstraktne Interpretaator IntelliJ IDEA jaoks
    (Tartu Ülikool, 2021) Viil, Alex; Vojdani, Vesal, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    Abstraktne interpreteerimine on arvutiprogrammi osati täitmine eesmärgiga aru saada, kui-das programm käitub, ilma et peaks kõiki arvutusi tegema. Selle abil saab tuvastada, kas rakendus käitub nagu oodatud. Vastasel juhul saab arendaja teada vea olemasolust ja selle parandamisega tööle asuda. IntelliJ IDEA on arenduskeskkond, kus arendaja saab Java programmeerimiskeele koodi näol programme kirja panna ja samas neid kompileerida ja jooksutada. Peaaegu kõik prog-rammid kasutavad oma töös muutujaid, millele omistatakse vähemalt ühe korra mingi väär-tus ning mida hiljem loetakse. Tihti hargneb programmi töö olenevalt nende muutujate väär-tustest ning olenevalt arendaja tööst võib tekkida olukordi, kus kindlatel väärtustel tekib programmi töös erind ehk tõrge. Java hea tava puhul sellised olukorrad püütakse tavaliselt kinni ja lastakse programmil vastavalt reageerida, kuid keerulisemates süsteemides on tihti keeruline kõiki juhte ette näha. Eelnimetatud arenduskeskkond toetab pistikprogramme, mis on eraldi tööd soodustavad programmid. Interaktiivse abstraktse interpretaatori pistikprogramm tagab võimaluse aren-dajal programmeerimise ajal teostada programmi kohta analüüs staatilise analüüsi raamis-tiku Põder abil. Selle bakalaureusetöö uuritakse olemasolevaid raamistikke ja võimalikku teostust, mis võimaldaks lihtsamaid omaduse kontrolle teostada, näiteks kas täisarvulise muutuja väärtus jääb mingisse vahemikku piiritletud või mitte.