Testavimas yra svarbus ir imlus darbui aplikacijos kūrimo ir vystymo procesas. Norint suvaldyti augančias testavimo sąnaudas, siekiama dalį žiniatinklio aplikacijos testavimo proceso automatizuoti. Žiniatinklio aplikacijų atnaujinimo ciklas yra trumpas – žiniatinklio aplikacijos atnaujinamos dažnai, todėl žiniatinklio aplikacijos testavimas tampa ypač aktualus. Automatinis testavimas yra vertinamas nevienareikšmiškai, tai yra taip pat imlus darbui uždavinys, nes reikalauja apibrėžti testavimo procesą ir sukurti modelį automatiniam testų vykdymui. Vis dėlto, parengus automatinį testavimą, žiniatinklio aplikacijos testavimas palengvėja – sumažinamas rankinio testavimo kiekis. Darbo tikslas – parinkus geriausią žiniatinklio aplikacijų automatinio testavimo įrankį, pasiūlyti metodą žiniatinklio aplikacijų automatiniam testavimui. Uždaviniai – įvertinti žiniatinklio aplikacijų automatinio testavimo įrankius, parinkti geriausią įrankį, sukurti automatinio testavimo modelį. Rezultatai – magistro baigiamajame darbe nustatytas žiniatinklio aplikacijos automatiniam testavimui geriausiai tinkantis įrankis, kuriuo remiantis sukurtas ir įvertintas įrankis automatiniam žiniatinklio aplikacijų testavimui; apibrėžtas žiniatinklio aplikacijos automatinio testavimo modelis (sukurtas įrankis pritaikomas modelyje). / Testing is important and labor intensive part of application development. In order to manage growing testing efforts, we try to automate part of the web application testing process. Web application testing is important because the timespan between web application updates is short and web applications are updated often. Automated testing is a two-edged effort, it is also labour intensive task, because one has to define testing process and create a model for automated test execution. However after automated testing succeeds – testing takes less efforts, amount of manual testing is reduced. The objective of this work is after selecting the best automated web application testing tool to introduce an approach to automated web application testing. Goals: to evaluate web application automated testing tools, identify best tool, create a model of automated testing. Results: we identified the best tool fitting for automated testing of web application. Created and evaluated automated web application testing tool, defined and implemented a model of automated testing, implemented tool adapted in the model.

The research object is to develop and investigate methods and algorithms for fmleexthiboldes ,c othnetr oplr oobfl etmwso -ocfo osradviinnagt ea nddri vrea tisoynsatel mhas.n dAlipnpgl inogf edneevreglyo,p eeqdu cipomnternotl and global material resources have to be investigated in cases of two dimensional positioning and scanning processes under circumstances omaximal.

„Researches of part joints“ Process of peg and hole connection for automatic assembly is analyzed in the work. Mathematical model of the parts connection was formed. Programs for simulation of the connection process were written using MatLab software. Characteristics of connecting forces variation and movement of the peg were determined. Parameters influencing lower loading of the assembly equipment and values of these parameters were determined. It was determined that probability of the connection process can be increased by selecting particular values of correspondent parameters of the connection process. Results of the analysis can be used for designing of new, economic, high performance and reliable assembly equipment.

Šis darbas yra apie įrenginį, kuris siaurina garsinio signalo dinaminį diapazoną. Darbe lyginami automatinio stiprinimo reguliavimo metodai, bei jų taikymai pramoniniuose garso kompresoriuose. Ieškoma būdų šiuos įrenginius patobulinti. / This article is about apparatus that intentionally reduces the dynamic range of audio signals. The goal is to compare methods of automatic gain reduction, talk their implementation in industry standard hardware compressors and look for possible circuit modifications.

The thesis investigates the automatic and semi-automatic evaluation of programming assignments in teaching of programming, exams and competitions. Manual evaluation of programming assignments is still dominant in programming teaching in Lithuania. In some contexts (i.e. programming competitions, basics of programming and algorithms course) there is widely applied automatic and semi-automatic evaluation of programming tasks based on black-box testing approach. However, automatic evaluation based on black-box testing is criticized for its inability to demonstrate the strengths and the weaknesses of the program being evaluated. Automatic evaluation is not capable of identifying the level of achievement in incomplete programs. The thesis addresses the problem of evaluation of practical programming assignments in Information Technology maturity exam (IT VBE). This problem involves requirements to evaluate reliably thousands of programming assignment solutions in a reasonable amount of time. The thesis presents analysis of systems for automatic evaluation of programming tasks and appropriate types of assignments. The analysis led to the improvement of the evaluation method. The most important result of the research is the proposed way to improve the semi-automatic evaluation and testing method by increasing its interactivity. A semi-automatic assessment system is expanded by adding the components responsible for the modification of submitted programs, monitoring changes in the... [to full text] / Disertacijoje nagrinėjamas automatinis ir pusiau automatinis programavimo užduočių vertinimas programavimo mokyme, egzaminuose ir varžybose. Šiuo metu informatikos mokyme Lietuvoje vis dar dominuoja rankinis programavimo užduočių vertinimas. Atskirose švietimo srityse (programavimo varžybos, algoritmavimo kursai) išplito automatinis ir pusiau automatinis programavimo užduočių vertinimas, paremtas juodosios dėžės testavimo principu. Tačiau automatinio vertinimo pagrindu gauti įverčiai kritikuojami kaip neatskleidžiantys visų pateiktos programos privalumų ir trūkumų. Ypatingai dideli vertinimo netikslumai gaunami vertinant nebaigtas programas. Disertacijoje sprendžiama Informacinių technologijų valstybinio brandos egzamino (IT VBE) praktinių programavimo užduočių vertinimo problema – siekiama gauti patikimus įvertinimus dideliam pateiktų programavimo užduočių sprendimų kiekiui per priimtiną laiką. Išanalizuotos automatinės programavimo užduočių vertinimo sistemos bei joms tinkami užduočių tipai atvedė prie idėjos tobulinti vertinimo metodą. Svarbiausias disertacijos rezultatas – pasiūlytas būdas tobulinti pusiau automatinį vertinimo ir testavimo metodą didinant jo interaktyvumą. Tam pusiau automatinė vertinimo sistema turi būti papildoma komponentais, leidžiančiais modifikuoti pateiktą programą, stebėti modifikuotos programos funkcionalumo pokyčius. Pasiūlytas patobulintas vertinimo metodas išbandytas praktiškai, sukurta IT VBE praktinių užduočių vertinimo sistema. Taikant šį... [toliau žr. visą tekstą]

Disertacijoje nagrinėjamas automatinis ir pusiau automatinis programavimo užduočių vertinimas programavimo mokyme, egzaminuose ir varžybose. Šiuo metu informatikos mokyme Lietuvoje vis dar dominuoja rankinis programavimo užduočių vertinimas. Atskirose švietimo srityse (programavimo varžybos, algoritmavimo kursai) išplito automatinis ir pusiau automatinis programavimo užduočių vertinimas, paremtas juodosios dėžės testavimo principu. Tačiau automatinio vertinimo pagrindu gauti įverčiai kritikuojami kaip neatskleidžiantys visų pateiktos programos privalumų ir trūkumų. Ypatingai dideli vertinimo netikslumai gaunami vertinant nebaigtas programas. Disertacijoje sprendžiama Informacinių technologijų valstybinio brandos egzamino (IT VBE) praktinių programavimo užduočių vertinimo problema – siekiama gauti patikimus įvertinimus dideliam pateiktų programavimo užduočių sprendimų kiekiui per priimtiną laiką. Išanalizuotos automatinės programavimo užduočių vertinimo sistemos bei joms tinkami užduočių tipai atvedė prie idėjos tobulinti vertinimo metodą. Svarbiausias disertacijos rezultatas – pasiūlytas būdas tobulinti pusiau automatinį vertinimo ir testavimo metodą didinant jo interaktyvumą. Tam pusiau automatinė vertinimo sistema turi būti papildoma komponentais, leidžiančiais modifikuoti pateiktą programą, stebėti modifikuotos programos funkcionalumo pokyčius. Pasiūlytas patobulintas vertinimo metodas išbandytas praktiškai, sukurta IT VBE praktinių užduočių vertinimo sistema. Taikant šį... [toliau žr. visą tekstą] / The thesis investigates the automatic and semi-automatic evaluation of programming assignments in teaching of programming, exams and competitions. Manual evaluation of programming assignments is still dominant in programming teaching in Lithuania. In some contexts (i.e. programming competitions, basics of programming and algorithms course) there is widely applied automatic and semi-automatic evaluation of programming tasks based on black-box testing approach. However, automatic evaluation based on black-box testing is criticized for its inability to demonstrate the strengths and the weaknesses of the program being evaluated. Automatic evaluation is not capable of identifying the level of achievement in incomplete programs. The thesis addresses the problem of evaluation of practical programming assignments in Information Technology maturity exam (IT VBE). This problem involves requirements to evaluate reliably thousands of programming assignment solutions in a reasonable amount of time. The thesis presents analysis of systems for automatic evaluation of programming tasks and appropriate types of assignments. The analysis led to the improvement of the evaluation method. The most important result of the research is the proposed way to improve the semi-automatic evaluation and testing method by increasing its interactivity. A semi-automatic assessment system is expanded by adding the components responsible for the modification of submitted programs, monitoring changes in the... [to full text]

Sergamumas įvairiomis organinėmis gerklų ligomis, tarp jų ir onkologinėmis, didėja dėl senstančios visuomenės bei civilizacijos sąlygoto gyvenimo būdo pasikeitimo ir aplinkos taršos. Dėl slaptos eigos ir ankstyvų klinikinių simptomų nebuvimo daugiau nei pusė gerklų vėžio atvejų diagnozuojama vėlyvose stadijose. Nemažai reikšmės turi nesavalaikis ankstyvųjų simptomų interpretavimas, gydymo skyrimas ir rezultato prognozavimas. Šiuos netobulumus lemia daugelis faktorių, tarp kurių ne paskutinę vietą užima gydytojo patirties stoka. Siekiant sumažinti diagnostinių tyrimų vertinimo subjektyvumą, patirties skirtumus tarp skirtingos kvalifikacijos tyrėjų ir gydytojų, užtikrinant nuoseklų mokymo ir mokymosi procesą, tiek moksliniu, tiek praktiniu požiūriu yra aktualu sukurti visuotinai prieinamą sistemą, suteikiančią pagalbą diagnozuojant organines gerklų ligas. Tokia sistema turėtų remtis daugeliu skirtingos informacijos šaltinių parametrais, lanksčiai prisitaikyti prie naujų parametrų įvedimo ir informacijos kaupimo. Pasaulyje nėra sukurtos ir visuotinai naudojamos gerklų ligų kategorizavimo sistemos, apjungiančios keletą informacijos šaltinių bei padedančios gydytojui priimti sprendimą neaiškiose situacijose. Tikslas Sukurti automatinę organinių gerklų ligų kategorizavimo sistemą, paremtą mikrolaringoskopinių vaizdų, akustinių ir subjektyvių balso parametrų bei pacientų demografinių duomenų analize, ir įvertinti jos efektyvumą. Darbo uždaviniai 1. Nustatyti statistinių metodų ir... [toliau žr. visą tekstą] / In clinical practice, the diagnostic procedure of laryngeal diseases is based on evaluation of patient's complaints, history, and data of instrumental as well as histological examination. A variety of techniques for examination of the larynx and objective measurements of voice quality have been developed during the last years. Analysis of patient's complaints and history, evaluation of his/her voice, assessment of data of laryngeal visualization (laryngoscopy) remain the primary information sources used to categorize and diagnose the laryngeal disorders. Automated analysis of voice is increasingly used for detecting and screening laryngeal disorders. Time, frequency, and cepstral domains are usually used to extract features characterizing a voice signal. Analysis of the literature related to automated categorization of voice aiming to detect laryngeal pathologies showed that the categorization is usually based on one, two, or three types of features. There are no reports in the literature attempting to extract a larger variety of features for characterizing a voice signal. Moreover, there are no investigations of the utility of a large variety of feature types in categorizing the voice signal into the healthy and several pathological voice classes using a committee of support vector machines (SVM). Whilst automated categorization of voice into pathological and healthy classes is rather common, there were very few attempts to create systems for automated analysis of color... [to full text]

Automatinis testų rinkinių generavimas (pasaulyje priimtas angliškas sutrumpinimas – ATPG) yra pakankamai senai sprendžiama problema. Jos tikslas – surasti optimalų testinių vektorių sekas, kurios pilnai užtikrintų visas schemos gamybos etape padarytas klaidas per mažiausią laiką. Vienas iš skaitmeninių schemų testavimo ir testų rinkinių sudarymo metodas yra funkcinis testavimo metodas. Jo privalumai yra tame, kad testų rinkinių sudarymo programa nežino schemos vidinės struktūros, o testuoja tik idealų schemos modelį, kuri yra pateikta juodos dėžės pavidale, tai yra programa gali gauti idealaus schemos reakciją į tam tikrą įvedimo signalų vektorių. Šiame darbe parinktas funkcinis testavimo metodas. Šiame darbe aprašoma testinių rinkinių atrinkimo programinės įrangos teorinė bazė, automatinio testų rinkinio formavimo trumpa istorinė apžvalga, baltos ir juodos dėžės modelių pagristų formavimo algoritmų palyginimai. Aprašoma programų sistemos statinė struktūra bei jos komponentai, sistemos panaudojimo atvejai. Tyrimų dalyje aprašoma tyrimo metodika, siūlomi programos kokybės tobulinimo metodai. Eksperimentų dalyje aprašomi tyrimų eksperimentų rezultatai. / Automated test pattern generation (ATPG) problem is being solved for a relatively long time. Its' point is to find optimal test vector sequences, which would cover most of all production-caused digital circuit faults and would run for the minimum amount of time. One of the ways to test and generate test vectors for digital circuits is functional test method. Its' benefit is that system does not need to be aware of digital circuit's inner logical model, but has to deal only with the input, so that just the ideal model of the digital circuit can be used as a "black box". The program's algorithm can get ideal digital circuit's reaction for corresponding input test vector. This paper will mostly cover functional model approach to ATPG. This paper covers automated test vector generation software basic theory with brief historical review, comparison of white box and black box models' testing and test vector generation algorithms. Also the software's static structures along with its components, system’s typical use cases are covered. The research part of the paper is focused mostly on the algorithms used, containing research methods which provide the results for the experiment part.

Tobulėjant išmaniesiems telefonams ir jų techninėms galimybėms bei didėjant jų pardavimams Lietuvoje ir pasaulyje, kuriamos aplikacijos tampa sudėtingesnės ir funkcionalesnės, tačiau kokybės problema vis dar išlieka skaudžia programinės įrangos kūrimo dalimi. Šiuo metu iš visų parduodamų išmaniųjų telefonų apie 50% parduodami su Android operacine sistema. Matant Android OS programų vis didėjantį poreikį rinkoje ir jų populiarumą bei panagrinėjus esamą rinką ir pamačius, jog testavimo įrankių, skirtų testuoti Android aplikacijas, beveik nėra, buvo nuspręsta, jog reikalingas vienetų testų generavimo sprendimas pritaikytas testuoti Android aplikacijas. Šio darbo pagrindinis tikslas ir yra pateikti vienetų testų generavimo sprendimą skirtą Android OS aplikacijos testuoti, jį realizuoti bei pagrįsti eksperimentiškai. Darbe siūlomas vienetų testų generavimo metodas, kuris remiasi atsitiktiniu generavimu, naudoja OCL apribojimus bei regresinio testavimo principus. Taip pat yra suderinamas su Google kompanijos teikiamu ADT įskiepiu ir Android SDK priemonėmis. Įrankis sukurtas kaip Eclipse programavimo aplinkos įskiepis. Pasiūlyto vienetų testų generavimo sprendimo efektyvumas įrodomas eksperimentiniu tyrimu. Šio eksperimento metu buvo testuojamos 4 aplikacijos. Naudojantis įrankiu vidutiniškai sugautų mutantų skaičius yra 75%. Mažiausia reikšmė yra 69%, o didžiausia – 88%. Vidutiniškai pasiekiamas 85% kodo eilučių padengimas. Mažiausia reikšmė yra 72%, o didžiausia padengimo... [toliau žr. visą tekstą] / With the development of smart phones and their technical capabilities and increase of their sales in Lithuania and the world applications become more complex and have more functionality, but the issue of quality remains a painful part of the development of software. Currently 50% out of all smart phones are sold with Android operating system. Having an increasing demand and popularity of Android OS applications in the market, as well as having researched the current market and seen that there is a lack of testing tools to test Android applications, it has been decided that a solution generating unit tests is needed to test Android applications. The main goal of this work is to provide unit test generation solution for the Android OS application testing, implementation and validate it experimentally. This work proposes a method generating unit tests based on random generation, using OCL constraints and regression testing principles. It is compatible with Google plug-in ADT and Android SDK tools. The tool is designed as a plugin in Eclipse development environment. Efficiency of the proposed decision of generating unit tests is proved by experimental study. During this study four applications were tested. Using the tool the average of catched mutants is 75%. The minimum value is 69%, while the highest - 88%. On average coverage of code lines is achieved by 85%. The minimum value is 72% and the maximum value of coverage - 97%.

Programinės įrangos testavimas ir kokybės užtikrinimas yra svarbus programų sistemų inžinerijos kūrimo uždavinys, siekiant sukurti tinkamą naudojimui produktą. Yra daug skirtingų metodikų kuriamai programinei įrangai testuoti, tačiau vieningos sistemos, kuri būtų universali – nėra. Įvairūs tyrimai vykdomi programinės įrangos testavimo srityje duoda skirtingus rezultatus. Testavimo procesas taip pat svarbus ir praktikoje – be jo negali išsiversti nei vienas organizacija susijusi su programinės įrangos kūrimu ir plėtojimu. Šis darbas remiasi modeliu paremto testavimo paradigma ir simboliniu vykdymo metodika. Darbe apžvelgiamos teorinės simbolinio vykdymo galimybės, jo pritaikymas .Net platformoje ir papildomos priemonės, kurios reikalingos įgyvendinti tokią sistemą. Taip pat trumpai pristatomas magistro projektinis darbas, aprašomi sukurti inžinerinio produkto svarbiausi aspektai. Pagal teorinę medžiaga sukurtas simbolinio vykdymo variklis – Symex. Darbe nagrinėjamas praktinis tokio įrankio pritaikymas generuojant vienetų testus iš išeities kodo – eksperimentiškai tiriamos ir lyginamos simbolinio vykdymo ir atsitiktinių įėjimų vienetų testų kūrimo galimybės .Net platformoje. / Testing complex safety critical software always was difficult task. Development of automated techniques for error detection is even more difficult. Well known techniques for checking software are model checking static analysis and testing. Symbolic execution is a technique that is being used to improve security, to find bugs, and to help in debugging. A symbolic execution engine is basically an interpreter that figures out how to follow all paths in a program. It is a static code analysis technique. This work presents symbolic execution background, current state, analysis the possibilities of implementation on the .Net framework and platform. The work describes the master project – bug tracking software “Crunchbug” and the tool – Symex (symbolic execution engine) for .Net platform. Symex is white box model based automatic unit test generator and it is evaluated against two other tools – Microsoft Pex and framework that generates unit test inputs random. Detailed experiments made to cover symbolic execution possibilities with proprietary benchmarks and real code from the master project.