Š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.

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%.

Naujuose programiniuose produktuose plačiai taikoma mobilioji įranga (mobilieji telefonai, delniniai kompiuteriai). Programinės įrangos kūrimo procese svarbią vietą užima testavimas. Dabartinių mobiliųjų įranginių apribojimai (darbo sparta, atminties kiekis, energija, ekrano dydis, platformų įvairumas) kelia naujas problemas programinės įrangos kūrimo procesui, tame tarpe ir testavimui. Testavimo proceso automatizavimas leidžia sumažinti bandymų trukmę, padidinti testavimo darbų apimtį. Programinės įrangos testavime mobiliems įrenginiams svarbu išskirti grafinės vartotojo sąsajos testavimą. Svarbi testavimo dalis – testavimas pagal specifikaciją. Šiame darbe nagrinėjamas grafinės vartotojo sąsajos automatizuotas testavimas mobiliai įrangai, nustatomi tikslai, galimi keliai jiems pasiekti bei galimas testavimo aplinkos praplėtimas testų generavimui pagal specifikaciją. / 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 important part of testing is specification based testing. The aim of these master theses is to analyze automated testing of GUI for mobile devices, define testing tasks and enhance mobile device testing framework by providing means for test case generation from specification.

Yra daugybė įvairiausių tipų mokslinių tiriamųjų darbų, vienas iš jų būtų magistro baigiamasis darbas. Šio darbo metu magistrantams reikia atlikti įvairius tyrimus, visapusiškai išnagrinėti savo pasirinktą temą, pasiūlyti problemos sprendimą, atlikti eksperimentą, kurio metu bus nagrinėjamas siūlomo sprendimo efektyvumas. Visus šių tyrimų rezultatus magistrantams reikia aprašyti. Magistro baigiamojo darbo aprašo rengimas studentams yra vienas iš sudėtingesnių uždavinių. Kaip ir visiems moksliniams tiriamiesiems darbams, jiems keliami tam tikri specifiniai reikalavimai. Daugelis studentų su tokio pobūdžio darbu susiduria pirmą kartą. Jiems tenka spręsti ne tik pasirinktos tyrimo srities problemas, bet ir tinkamai aprašyti atliktą tyrimą ir jo sprendimus. Vien bendrųjų metodinių nurodymų darbo aprašo rengimui studentui nepakanka, nes darbo aprašo turinys labai priklauso nuo darbo temos. Kadangi Informacinių sistemų inžinerijos srities temų įvairovė yra labai didelė, studentams yra sunku sudėlioti tinkamą darbo aprašo turinį, remiantis vien bendraisiais metodiniais nurodymais. Pasirinkto magistrinio darbo tikslas yra sudaryti geresnes sąlygas studentui rengti mokslinio tiriamojo darbo aprašą ir gerinti jo kokybę, sukuriant programų sistemą, kuri pasiūlytų aprašo karkasą, keletą šablonų jam užpildyti ir sugeneruotų aprašo eskizą. / There are a lot of research document types, and one of them is the master’s degree research document. When the student is doing his master’s degree document, he has to do a lot of research, search for a problem and provide the solution for that problem. Also he has to do an experiment for his thesis. All of the results and how it was achieved has to be written in the research document. Masters research document preparation is one of the more difficult tasks for the students. Like all of the research papers, there are certain specific requirements for each type. Also the structure depends for which semester the document is prepared for. Most of the students find that this is their first experience writing these kinds of documents. The common structure guidelines for the documents are not enough, because the content of the documents are very tightly linked to the student’s thesis, and its parameters: object, area, problem, solution. Because there are a lot of different theses in the information engineering area, it is hard for the students to create the primary research paper structure and content, only relying on the common guidelines given by the lecturers. Our proposed solution – a system, which would suggest a document structure and generate the research document primary version, provide comments, template phrases for specific sections of the document, e.g. writing the conclusion. Also the system will try to speed up the writing process, by providing with additional tools... [to full text]

Data storing semantic technologies separate it from applications code and gives availability for computers as well as people understand and share semantics in real time. These technologies also enable to add new data source or link between software applications as easy as to draw new link in the model. Unfortunately these technologies are yet not developed and popular as we could notice strong benefits of them in daily life. Introduction of semantic search system is an attempt to show the strong points of semantic technologies. Semantic search is more precise because of its opportunities to narrow handled domain down, it gives more exact result than usual, keyword based search. This advantage is clearly shown when database is very large and is filled with plenty of data. It also gives possibility to retrieve results from multiple distant data sources and form custom or predefined result sets as a central hub for some data domain. Automatic ontology generation based on database schema and metadata is suggested in this work. Such solution ensures that semantic search, which uses generated ontology, serves up-to-date search services even when structure of database is changed.

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.

Baigiamojo darbo tikslas – sukurti programinį modulį, skirtą automatizuotam plieno jungčių ir mazgų brėžinių generavimui. Iškeltam tikslui pasiekti darbe tiriamos objektinio projektavimo technologijos ir jų taikymo galimybės kuriant automatizuotas brėžinių generavimo sistemas. Analitinėje darbo dalyje išanalizuoti moduliniai projektavimo principai ir objektinio programavimo projektavimo šablonai. Projektinėje darbo dalyje aprašoma modulinė programos sandara, analizuojamos pradinės duomenų struktūros. Aprašomos atskirai projektuojamos sistemos dalys bei pateikiama bendra suprojektuota automatizuota plieno jungčių ir mazgų brėžinių generavimo sistema. Trumpai aptariamas sudedamųjų plieno jungčių ir mazgų elementų braižymas ir vartotojo sąsajos praplėtimas. Darbą sudaro 3 dalys: problemos analizė ir formulavimas, teorinis pagrindimas, sistemos projektavimas ir realizacija. Atskiru skyriumi pateikiamas publikuotas straipsnis. Darbo apimtis 58 puslapiai teksto be priedų, 24 paveikslai, 39 bibliografiniai šaltiniai. / The aim of the final work is to develop a software module for automated generation of steel joint connections drawings. The work involves investigation of object-oriented design techniques and their application to the possibility of developing an automated system for generating drawings. Analytical part of work contains analysis of the principles for modular design and object-oriented design patterns. In part of system design and implementation is described a modular program structure and an initial analysis of the data structures. Also described separately designed system parts and the total designed automated steel joint connections drawing system. Briefly described the components of steel joint connections drawing elements and user interface extension. Work consists of 3 parts: problem analysis and formulation, analytical part, system design and implementation, and published article as a separate section. Thesis consists of 58 pages text without appendixes, 24 pictures, 39 bibliographical entries.