https://github.com/sim642/bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
https://github.com/sim642/bsc-thesis
abstract-domain abstract-interpretation bachelor-thesis bsc-thesis data-flow-analysis estonian estonian-language property-based-testing static-analysis static-code-analysis thesis thesis-paper
Last synced: 7 months ago
JSON representation
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
- Host: GitHub
- URL: https://github.com/sim642/bsc-thesis
- Owner: sim642
- Created: 2018-01-25T08:52:51.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-06-19T09:23:29.000Z (over 7 years ago)
- Last Synced: 2025-02-09T23:49:49.536Z (9 months ago)
- Topics: abstract-domain, abstract-interpretation, bachelor-thesis, bsc-thesis, data-flow-analysis, estonian, estonian-language, property-based-testing, static-analysis, static-code-analysis, thesis, thesis-paper
- Language: TeX
- Homepage: https://sim642.github.io/bsc-thesis/thesis.pdf
- Size: 7.31 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# 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.