Didžioji dalis programinės įrangos šiais laikais yra paskirstyta. Jos testavimas bei verifikavimas yra sudėtingas. Dažniausiai testavimas yra būtina, tačiau daug laiko bei išteklių reikalaujanti, programinės įrangos kūrimo proceso dalis. Automatiniai testavimo įrankiai palengvina paskirstytų sistemų testavimą. Šiame darbe pateikiamas automatinis paskirstytų sistemų testavimo metodas naudojantis UML modelius, sukurtas įrankis šio metodo pagrindu bei atliktas eksperimentinis tyrimas. Pirmoje dalyje aprašoma atlikta paskirstytų sistemų testavimo problemų analizė bei bėdos esant lygiagretumui bei lenktynių dėl resursų sąlygoms. Pateikiamos modelių tikrintuvo naudojimo galimybės atliekant paskirstytų sistemų testavimą bei UML modelių naudojimas testavimo tikslams. Antroje dalyje pateikiamas naudojamas metodas, o trečioje dalyje šį metodą realizuojančios programinės įrangos projektas. Programinė įranga sukurta Java kalba, naudojamas Java PathFinder modelių tikrintuvas dviejų klientų simuliavimui. Serveris veikia už modelio tikrintuvo ribų. UML klasių diagramos, su tam tikrų stereotipų pagalba, naudojamos serverio testavimo parametrams nurodyti. Eksperimentinėje dalyje pateikiami atlikti bandymai su sukurta programine įranga. Testavimui panaudotos dvi paprastos paskirstytos sistemos. Panaudojant mutacinį testavimą sužinotas metodo aptinkamų mutantų kiekis, kuris yra palygintas su JUnit testų aptinkamu kiekiu. Atlikta aptiktų bei neaptiktų mutantų analizė parodė metodo privalumus bei... [toliau žr. visą tekstą] / Most applications today communicate with other processes over a network. Testing and verification of such systems is complex. In many cases testing is an essential, but time and resource consuming activity in the software development process. Automated test methods are used to make testing of such distributed systems easier. In this document an automated distributed system test method using UML models is presented. It uses a couple of clients communicating with server and is able to detect resource racing related failures. The first section describes a research of distributed system testing issues, concurrency and resource racing error detection, and ways of using model checker for testing distributed systems as well as the use of UML models for test purposes. The second section presents a testing method used for the tool. Tool is described in the third section. It is based on Java and uses Java PathFinder model checker for simulating two clients. Server is run outside of model checker. UML class diagrams are used for defining server test parameters by applying certain stereotypes on methods being tested. The investigation section describes a performed experiment with created tool. Two simple distributed systems are presented for mutation test purposes. Mutation testing is performed with defined mutation operators and results are analyzed. Additionally results are compared to basic JUnit tests.

Mobile devices such as cell phones and personal digital assistance are widely used in new software products. Testing takes important place in software development process. Constraints of mobile devices (speed, amount of memory, energy, small screen, wide range of platforms) raise new problems for software development process including testing phase. Automated approach of software testing reduces testing time and increases testing range. It is important to distinguish graphic user interface as a special part of testing. The aim of these master theses is to analyze automated testing of GUI for mobile devices, define testing tasks and ways to complete them.

Disertacijoje įvertinta 144 sportininkų, patyrusių ūmią čiurnos raiščių traumą, čiurnos funkciją atspindinčių rodiklių kaita reabilitacijos eigoje. Greta įprastinių čiurnos funkciją atspindinčių rodiklių, tokių kaip čiurnos skausmas, patinimas, subjektyviai vertinama čiurnos funkcija, šiame darbe taip pat buvo vertinama čiurnos izometrinė eversijos ir inversijos jėga. Kadangi izometriniai jėgų matavimai buvo atliekami ūmiuoju čiurnos raiščių pažeidimo periodu, tai buvo vertinamas ir šių matavimų poveikis čiurnos funkcinei būklei. Darbe taip pat buvo vertinamas ir palyginamas įprastinės ir paspartintos kineziterapijos programos efektyvumas, nustatomos atskirų rodiklių, atspindinčių čiurnos funkcinę būklę, tarpusavio sąsajos ir jų reikšmė prognozuojant čiurnos funkcijos atsigavimą. Darbe įrodyta, kad taikant paspartintos kineziterapijos programą, atsižvelgiant į reabilitacijos eigoje įvertintus izometrinės eversijos ir inversijos jėgų rodiklius, galima pasiekti didesnį reabilitacijos efektyvumą. Taip pat nustatyta, kad izometrinės jėgos matavimai neturi įtakos čiurnos funkcinei būklei, o šių matavimų metu gauti duomenys objektyviai atspindi reabilitacijos eigą ir pagal tai galima dalinai prognozuoti čiurnos funkcijos atsigavimą. / In the dissertation, an analysis of ankle‘s function indicators as well as their changes during the rehabilitation of 144 sportsmen after acute ankle sprain was performed. In addition to conventional indicators of ankle function (lower extremity scale score, pain, and swelling) in this study the indicators of isometric ankle eversion and inversion strength were assessed. Since the isometric strength measurements were performed during acute stage after ankle sprain, the impact of these measurements to functional status of the ankle and recovery course was evaluated. Additionally, in this study the efficacy of standard and accelerated home-based exercise program were assessed and intercorrelations of ankle function indicators and their predictive value for ankle recovery were established. It was shown, that isometric measurements of eversion and inversion strength do not influence ankle‘s functional state and course of rehabilitation among sportsmen after acute ankle sprain. Accelerated home-based exercise program based on isometric testing had a trend of better improvement of ankle function. It was also found that the isometric eversion and inversion strength measurement does not affect the functional state of the ankle, and the data obtained during these measurements objectively reflects the course of rehabilitation and can predict the recovery of ankle function.

The tasks generating and their answers automatic checking problems of web-based assessment and testing systems was formulated in this document. The main tasks for thesis were set. The similar systems were analyzed and possible solutions reviewed. In this case, was decided to design the tasks generating and automatic checking software, which will resolve the tasks, brought to user’s recurrence, improve the skills checking. The technologies for this project realization were choused. The created software system was tested and the quality analysis was made. Finally, the experimental research was accomplished. All the research results showed that the raised problems were resolved.

Tyrimo metu siekta ištirti jaunųjų krepšininkų baudos metimų tikslumą ir jo kaitą, taikant įvairias baudos metimų tobulinimo programas. Tiriamąją imtį sudarė Arvydo Sabonio krepšinio centro 13–14 metų jaunieji krepšininkai (n=14). Tyrimo uždaviniai: 1. Ištirti baudos metimų veiksmingumo kaitą, taikant metimų tobulinimo programas nekintamomis sąlygomis; 2. Nustatyti baudos metimų tikslumo kaitą, taikant tobulinimo programas kintamomis sąlygomis; 3. Nustatyti jaunųjų krepšininkų ŠSD rodiklius, metant baudos metimus kintamomis ir nekintamomis sąlygomis. Tyrimas buvo vykdomas 2008–2009 m. ir 2009–2010 m. sezonais. Kiekvienais metais jaunieji krepšininkai buvo testuojami po tris kartus (kas 90 dienų): prieš ugdomąjį eksperimentą – parengiamajame laikotarpyje (rugsėjo mėnesį), viduryje – varžybiniame laikotarpyje (gruodžio mėnesį), po eksperimento – varžybinio laikotarpio pabaigoje (kovo mėnesį). Ugdomojo eksperimento metu kiekvienose jaunųjų krepšininkų pratybose buvo taikoma viena iš dviejų baudos metimų tobulinimo programų: dviejuose pratybose I programa, kitose dviejose – II programa. Apskaičiuoti matuojamų rodiklių aritmetiniai vidurkiai ( ), ir standartiniai nuokrypiai (SD), vidurkių skirtumo reikšmingumas pagal Stjudento t nepriklausomų imčių kriterijų. Skirtumas su galima mažesne nei 0,05 paklaida buvo vertinamas kaip statistiškai patikimas (p<0,05). Pulsometrais „Polar Team System“ buvo registruojamas jaunųjų krepšininkių širdies susitraukimų dažnis (ŠSD) testavimo... [toliau žr. visą tekstą] / The research sought to analyze the accuracy of free throws of young basketball players and its change, when applying various free throw shooting improvement programs. The sample of research consisted of 13-14 year old young basketball players from “Sabonis Basketball Centre” (n=14). Tasks of research: 1. To assess the change of effectiveness of free throw shooting by applying free throw shooting improvement programs under invariable conditions; 2. To assess the change of accuracy of free throw shooting by applying free throw shooting improvement programs under variable conditions; 3. To determine heart rate indicators of young basketball players during free throw shooting under variable and invariable conditions. The research was carried out during the seasons of 2008-2009 and 2009-2010. Young basketball players were tested three times a year (every 90 days): before educational experiment – during preparation period (in September), in the middle – during game period (in December), after experiment – at the end of game period (in March). One of two free throw shooting improvement programs was applied in each practice of young basketball players during educational experiment: I program in two practices and II program in the remaining two practices. The values of arithmetic mean ( ) and standard deviations (SD) as well as significance of differences between mean values, according to Student’s t-criterion for independent samples, were calculated. Difference with allowable... [to full text]

Šiame dokumente aprašytas darbas susideda iš trijų pagrindinių dalių. Pirmojoje (analizės) dalyje yra apžvelgiamos programinės įrangos kokybės užtikrinimo veiklos – konkrečiai testavimo procesas. Didžiausias dėmesys yra skiriamas automatizuotam testų generavimui. Antrojoje (projektinėje) dalyje aprašomas simboliniu vykdymu grindžiamas mutacinis testų generavimo metodas. Taip pat detalizuojamas jo realizavimas kuriamoje sistemoje – aprašomi statiniai ir dinaminiai vaizdai. Trečiojoje dalyje (tyrimo ir eksperimentinėje) yra analizuojamas sukurtas metodas, vertinamos įvairiausios jo charakteristikos, metrikos ir realizuojami patobulinimai. Šie sistemos priežiūros darbai leido sumažinti ciklomatinį metodų sudėtingumą ir pagreitinti realizuoto testų generavimo metodo veikimą. Aprašytas metodas pasižymi tuo, jog jo pagalba galima sugeneruoti testus aptinkančius programinio kodo mutacijas, o testų generavimui yra naudojamas simbolinis vykdymas, o ne atsitiktinių skaičių generatorius. / This work consists of three major parts. The first (analytical) part is the review of software quality assurance activities - specifically the testing process. The main focus is on automated test generation. The second (design) part describes the mutation testing based on symbolic execution test generation method. It also specifies the implementation details of the systems under development - described in the static and dynamic perspectives. The third part (research and experimental) is devoted for analysis of developed method. Here wide range of characteristics and metrics are analyzed. Also, some improvements are implemented. This helped to reduce system’s methods cyclomatic complexity and greatly increased speeds at witch tests generation are performed. The method described is characterized by the fact that it can help generate tests that detect mutations in the software code and symbolic execution is used for test generation, rather than a random number generator.

Kasdieninis žiniatinklio informacinių sistemų (toliau – IS) naudojimas paprastų vartotojų, verslo ir vyriausybinių organizacijų tarpe, reikalauja vis aukštesnės tokių IS kokybės. Žiniatinklio IS dažniausiai yra tokia programinė įranga, kurios sudėtingumas, dėl keleto apjungiamų technologijų, yra aukštas, o pokyčių greitis yra didelis. Vykdant palaikymo ir priežiūros darbus, gali atsirasti begalė klaidų, kurias iššaukia atlikti pakeitimai. Regresinio testavimo paskirtis yra užtikrinti, jog įdiegus programinės įrangos pakeitimus, tokius kaip naujo funkcionalumo pridėjimas ar jau egzistuojančio taisymas, ankstesnėje IS versijoje veikęs funkcionalumas veiks taip pat gerai ir naujojoje versijoje. Šiame darbe tiriami iš HTML žymų sudarytą IS atsaką galintys palyginti regresinio testavimo algoritmai (toliau – testų orakulai). HTML ãtsako kaip teksto lyginimas pateikia per daug klaidingai teigiamų (angl. false positives) rezultatų – testuotojas užverčiamas pranešimais apie netikras klaidas. Mūsų realizuotas testų orakulas HTML žymų atsaką nagrinėja kaip medžio struktūrą. Toks algoritmo veikimas leidžia tikrinti arba netikrinti aprašytas HTML semantines savybes, ko pasekoje yra sumažinamas klaidingai teigiamų ir klaidingai neigiamų rezultatų kiekis. Realizuotas testų orakulas nuo literatūroje aprašomų ir rinkoje siūlomų testų orakulų skiriasi tuo, jog nepraneša apie klaidą, kai HTML atsakas būna papildytas naujomis žymomis, kurios nekeičia pradinės medžio struktūros. Žiniatinklio IS... [toliau žr. visą tekstą] / Common usage of web information systems among consumers, business and governmental organizations require higher quality of such systems. Web information systems is such a software, which has high complexity because of the multiple technology usage and tends to rapid changes. Errors may occur because of the changes that have been made through maintenance period. Regression testing purpose is to ensure, that software changes such as new functionality or previously existed functionality modification, did not affect functionality, which was well working in the older version. In these master thesis we analyze test oracle comparators which can compare HTML response. HTML as a text comparison produces too many false positives. Meanwhile our test oracle comparator analyses HTML response as is was a tree structure. Thus implementation of the test oracle comparator algorithm enables opportunity to validate or not to validate described HTML semantic features. Therefore, we get fewer false positives and false negatives. Our implemented test oracle comparator differs from the ones described in literature or the ones proposed in market by capability not to warn tester about changes such as newly added HTML tag, which do not change overall tree structure. In this way the introduction of natural functionality growth is allowed. After improvement our test oracle comparator detects 90 % errors with the 90 % precision, whereas in the market existing test oracle comparator of the regression... [to full text]

Tyrimo objektas – Lietuvos krepšinio centro jaunųjų krepšininkių atletinio, techninio parengtumo ir varžybinės veiklos rodiklių kaita. Tyrimo problema – ar krepšininkėms rungtyniaujant aštuonis mėnesius jų varžybinės veiklos rodikliai išlieka stabilūs, ar kinta adekvačiai techninio bei atletinio parengtumo kaitai? Hipotezė: specifiniai atletinio ir techninio 16–17 metų krepšininkių parengtumą įvertinantys testų rodikliai sudaro prielaidas prognozuoti varžybinę veiklą. Tikslas – nustatyti jaunųjų (16–17 metų) LKC krepšininkių atletinio, techninio parengtumo ir varžybinės veiklos varžybų laikotarpio metu kaitą bei sąveikos tarp parengtumo ir rungtyniavimo ypatumus. Uždaviniai : 1. Nustatyti ir įvertinti 16–17 metų LKC krepšininkių techninio ir atletinio parengtumo kaitą bei sąveiką. 2. Nustatyti ir įvertinti 16–17 metų LKC krepšininkių varžybinės veiklos rodiklių kaitą. 3. Nustatyti 16–17 metų LKC krepšininkių techninio parengtumo ir rungtyniavimo ypatumus. 4. Nustatyti ir įvertinti 16–17 metų LKC krepšininkių metimų į krepšį įtaką rungtynių rezultatui priklausomai nuo rungtynių etapo ir žaidėjų amplua. Tiriamosios: Lietuvos krepšinio centro 16–17 metų amžiaus krepšininkės, kurios rungtyniavo Lietuvos moterų krepšinio „A“ lygoje (2010–2011 metais) ir nacionalinėje moterų krepšinio lygoje (2011–2012 metais). Išvados: krepšininkių techninis parengtumas atliekant metimus į krepšį standartinėmis sąlygomis gerėjo ir atkrintamųjų varžybų etapo metu buvo stabilus, tačiau... [toliau žr. visą tekstą] / Subject of study – alteration of physical, technical fitness and sport performance of Lithuanian Basketball Center youth basketball female players in competitive period. Problem of study – does sport performance indicators remain stabil in eight months duration of competitve period or alterats adequate to technical and physical fitness in youth female basketball? Hypothesis: testing assessing indicators of specific athletic and technical fitness make assumptions to predict sport performance. The aim – to assess alteration of physical, technical fitness and sport performance in youth (aged 16–17) girls basketball players during the competition period and the interaction between testing performance and sport performance. Objectives: 1. To assess and evaluate technical, physical fitness and interaction between them in youth (16–17 years old) Lithuanian Basketball Center female basketball players. 2. To assess and evaluate alteration of sport performance in youth (16–17 years old) Lithuanian Basketball Center female basketball players of game indicators. 3. To assess features of playing and technical performance in youth (16–17 years old) Lithuanian Basketball Center female basketball players. 4. To assess and evaluate shooting diversity according rank of competition level and playing position in youth (16–17 years old) Lithuanian Basketball Center female basketball players. Participants: female basketball players from Lithuanian basketball center (16–17 years old)... [to full text]

Magistro baigiamajame darbe nagrinėjamas Lietuvos bankinio sektoriaus kredito rizikos valdymas 2008-2011 m. laikotarpiu: teorinėje dalyje pateikiama bendroji kredito rizikos esmė, išskiriami galimi kreditų rizikos valdymo modeliai, metodai ir priemonės, lyginami skirtingų užsienio mokslininkų kredito rizikos valdymo empiriniai tyrimai. Empirinėje dalyje atliekama Lietuvos bankų sektoriaus suteiktų kreditų dinaminė analizė 2008-2011 m., sąryšiu su pagrindiniais kredito ir bankinės veiklos kokybės rodikliais, kreditų palūkanų normomis ir aptariama Lietuvos ūkinė situacija finansinės krizės metu. Konstruktyvioje dalyje pateikiamas galimas kredito rizikos valdymo modelis Lietuvos bankiniame sektoriuje. / In the final thesis of the Master‘s degree there are analyzed the credit risk management in Lithuanian banking sector in year 2008-2011: in the theoretical part there are described the general credit risk definition, highlighted models, approaches and tool for credit risk management, compared the interpretation aspects of credit risk management researches by different scientists. In the empirical part there are represented the dynamics of given credits in year 2008-2011, and its’ relationship with the main measures of the quality of credit portfolio and commercial banks‘ activity. In the last part there is represented the model for credit risk management in Lithuanian banking sector.

The supervising institutions do not give to commercial banks indications what models have to be used for stress testing. This research was done in order to find out which mathematical/statistical models are and can be used in credit risk stress testing. Credit risk is one of the biggest financial risks that every bank faces. Stress testing is a tool of credit risk assessment that helps to estimate the consequences of the events that have really small probability to happen but if they occur, banks can have significant losses. This study determined that the most plausible event is adverse macroeconomic conditions. For this reason, models that include macroeconomic impact were presented. Vector autoregression and vector error correction model were tested using the empirical data received from Swedish central bank, Swedish statistics and Eurostat. For financial stability it is worth using vector autoregression or vector error correction model as they describe the macroeconomic environment in the most suitable way and they are appropriate for shock analysis by showing how the impact of any factor can change the whole system. Structure: introduction, main part (credit risk, methods and empirical analysis), publication, conclusions, references. Thesis consists of: 50 p. text without appendices, 13 pictures, 11 tables, 26 bibliographical entries. Appendices included. / Kredito įstaigų priežiūros institucijos nepateikia komerciniams bankams kokius metodus jie turėtų naudoti testavime nepalankiomis sąlygomis. Tiriamasis darbas buvo atliktas tuo tikslu, kad būtų išsiaiškinta kokie matematiniai ir statistiniai metodai yra ir gali būti naudojami kredito rizikos vertinime testuojant nepalankiomis sąlygomis. Kredito rizika yra viena iš didžiausių finansinių rizikų su kuria bankai susiduria. Testavimas nepalankiomis sąlygomis yra kredito rizikos vertinimo įrankis, padedantis nustatyti įvykių, kurių realizavimosi tikimybės yra mažos, tačiau jiems įvykus, bankai patirtų reikšmingus nuostolius, pasekmes. Šis tyrimas nustatė, jog labiausiai tikėtinas įvykis gali būti ypatingai nepalankios ekonominės sąlygos. Dėl šios priežasties darbe yra pristatyti metodai, kurie įvertina makroekonominių veiksnių įtaką. Vektorinė autoregresija ir vektorinis paklaidų korekcijos modelis buvo patikrinti naudojant Švedijos centrinio banko, Švedijos statistikos departamento ir Eurostat empirinius duomenis. Finansinio stabilumo įvertinimui vertėtų naudoti vektorinį autoregresijos ar vektorinį paklaidų korekcijos modelius, nes šie modeliai geriausiai aprašo ekonominę aplinką bei yra labai tinkami šokų analizei, kadangi įvertina bet kurio veiksnio įtaką visai sistemai. Struktūra: įvadas, pagrindinė dalis (kredito rizika, metodai ir empirinė analizė), publikacija, išvados, literatūros sąrašas. Tiriamasis darbas sudarytas iš: 50 psl. teksto be priedų, 13 paveikslų, 11... [toliau žr. visą tekstą]