Sirvi Kuupäev , alustades "2025-01-16" järgi

Filtreeri tulemusi aasta või kuu järgi
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Classifying, constraining and ranking metamorphic relations
    (Tartu Ülikooli Kirjastus, 2025-01-16) Duque Torres, Alejandra; Pfahl, Dietmar Alfred Paul Kurt, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond
    Tarkvara testimine tagab, et lõplik tarkvaratoode töötab õigesti, kuid see on sageli aeganõudev, kulukas ja keeruline, eriti suurte süsteemide puhul. Üks suurimaid väljakutseid on "testioraakli probleem"—raskus määrata tarkvara testimise ajal õige väljund. See probleem tekib, kui testitaval tarkvaral (SUT) puudub oraakel või selle loomine on teostamatu. Metamorfne testimine (MT) otsib sellele probleemile lahendust. Erinevalt traditsioonilistest testimismeetoditest, mis keskenduvad üksikute sisend-väljund kombinatsioonide kontrollimisele, analüüsib MT sisend-väljund paaride seoseid üle tarkvara mitmete käivituste. Neid seoseid määratlevad metamorfsed seosed (ingl Metamorphic Relations, MRs), mis näitavad, kuidas peaksid väljundid vastavalt konkreetsete sisendite muutustele muutuma. Selliste seoste rikkumine viitab suurele tõenäosusele, et SUT sisaldab viga. Käesoleva lõputöö eesmärk on MT tulemuslikkust parandada, uurides ja tutvustades uusi meetodeid metamorfsete seoste klassifitseerimiseks, täiustamiseks ja järjestamiseks. Töö esimeseks väljundiks on MetaTrimmer, mis võimaldab metamorfseid seoseid klassifitseerida. See meetod hindab seoste käitumist programmi erinevate sisendite põhjal, mis on programmile testandmetena antud. Jättes kõrvale eelduse, et metamorfne seos kehtib universaalselt, tuvastab MetaTrimmer konkreetsed testandmed, mille puhul seos kehtib ning võimaldab seega täpsemat klassifitseerimist. Teine panus, MetaTrimmer+, tuvastab testandmetes mustreid eesmärgiga segajuhtumites kasutatavaid metamorfseid seoseid täiustada. Kolmas panus keskendub metamorfsete seoste järjestamisele nende veatuvastamise võimekuse alusel, kusjuures kõige tõhusamad seosed prioritiseeritakse kasutades MetaTrimmerit, mis on kombineeritud mutatsioonitestimisega. See meetod aitab vähendada testjuhtumite arvu, säilitades samal ajal kõrge veatuvastuse. Kolmas panus rakendati edukalt tööstuslikus juhtumiuuringus, tõestades selle praktilist väärtust.