Laiksakritības analīze darījumprocesu modeļos

Abstract

Darbā tiek aprakstīta simboliskas izpildes interpretatora implementācija, kurš izstrādāts CPL-1 valodā aprakstīto transakciju izpildīšanai, analizējot laiksakritīgo transakciju izpildi. Simboliskā programmas koda izpildē, izmantojot iepriekš sastādītus izpildāmas programmas celiņus, dos iespēju saņemt iegūtos rezultātus, ka arī, nosacījumus, pie kuriem šie rezultāti tika saņemti, kas palīdzes identificēt nekorektu laiksakritīgu transakciju izpildi.

The bachelor thesis describes an implementation of symbolic execution interpreter, which is developed for executing transactions written in CPL-1 language, analysing concurrent transaction execution. Symbolically executing the program code with given executable paths in order to get symbolic results and conditions, gives an opportunity to identify potentially incorect transaction executions.