0000000001144264

AUTHOR

Viktorija Capa

showing 2 related works from this author

Formalizētas specifikācijas vadīta testēšana

2020

Darbs ir veltīts programmatūras uzticamības un pareizības uzlabošanai, izmantojot jaunu testēšanas tehniku. Piedāvātā testēšanas tehnika balstās uz modeļu vadītu testēšanu, kur par modeli izvēlēts datu kvalitātes modelis. Testēšanas ietvaros programmatūras specifikācija tiek izstrādāta ar augstu abstrakcijas līmeni, kas satur datu objektus un nosacījumus. Tiek aplūkoti sistēmā ievadāmie datu objekti un ar datu objektu kvalitātes priekšnosacījumiem pārbaudīta ievadāmo datu pareizība. Pēc datu ievades sistēmā tiek salīdzināta ievadāmo datu objektu un datubāzē saglabāto vērtību atbilstība, izmantojot datu objektu kvalitātes novērtēšanas pēcnosacījumus. Piedāvātā testēšanas tehnika aprobēta, te…

modeļu vadīta testēšanadatu kvalitātes modelisdatu objektu kvalitātes pēcnosacījumiDatorzinātnedatu objektu kvalitātes priekšnosacījumi
researchProduct

Nestrikta lineārā programmēšana preču optimālās plūsmas noteikšanai

2017

Darbs ir veltīts uzdevumam par preču optimālo plūsmu transporta tīklā, kuru modelē, lietojot grafu ar indeksētiem lokiem. Problēma ir apskatīta ar nestriktiem parametriem un risināta, lietojot nestriktās lineārās programmēšanas metodi. Optimālās plūsmas problēmai atbilstošais nestriktās programmēšanas uzdevums ir reducēts uz klasisko diskrētās programmēšanas uzdevumu ar papildus lēmuma pieņemšanas parametriem, kura risināšanai tiek pielietots sazarošanās un robežu algoritms. Aprakstītā metode ir aprobēta, analizējot skaitliskus piemērus un veicot iegūto rezultātu analīzi atkarībā no lēmumu pieņemšanas parametriem.

sazarošanās un robežu algoritmsiespējamības un nepieciešamības sakarībasnestrikta lineārā programmēšanaMatemātikavairāku veidu preču plūsmanestrikts lielums
researchProduct