Search

Veiklos žodynas apibrėžiamas kaip vieta kur sukaupti visi specializuoti terminai ir koncepcijų apibrėžimai, kuriuos naudoja nagrinėjama organizacija ar bendruomenė kalbėdama ar rašydama apie savo veiklą. Veiklos taisyklė apibrėžiama kaip taisyklė veikianti pagal verslo jurisdikciją, tai reiškia, kad verslas gali priimti, koreguoti ir nutraukti veiklos taisykles, pagal savo poreikį. Norint sudaryti veiklos žodyną galima dviem būdais. Pirmas komunikuojant su tos srities specialistais arba nagrinėjant to srities tekstus. Abu būdai reikalauja daug laiko. Esami veiklos žodyno kūrimo įrankiai neautomatizuoja, žodyno sudarymo procesą. Šiame darbe keliamas tikslas yra automatizuoti veiklos žodyno sudarymą. Sukurti įrankį, kuris padėtų sukurti dalykinės veiklos žodyną iš lietuviško teksto automatiškai atrinktų frazių pagrindu. Atlikus eksperimentą buvo gauti rezultatai, kad automatizavus žodyno sudarymą galima žymiai greičiau ir kokybiškiau sudaryti žodyną., Business vocabulary is defined as a place where you gather all the specialized terms and concepts, which are used by the organization or community when speaking or writing about their activities. Rule is defined as a business operating under the rule of jurisdiction, which means that business can adopt, modify and break the rules of operation, according to their needs. You can make a business vocabulary in two ways: start communicating with the experts of the field, or examine the texts of the field. Both methods require a lot of time. Existing business vocabulary development tools do not assist user in development enough. The main task of this research is to create a tool which allows user to develop business vocabulary using phrases automatically extracted from Lithuanian texts of the domain. A result of the experiment shows that tool created provides possibility to develop vocabulary faster and with better quality.

Pasaulyje vis populiarėja bevieliai tinklai. Kiekvienais metais atsiranda daugybė naujų produktų teikiančių šias paslaugas. Taip pat kuriami nauji duomenų perdavimo standartai leisiantys dar efektyviau išnaudoti radijo eterį, padidinsiantys duomenų perdavimo greitį ir saugumą. Didėjant perdavimo greičiams, duomenys, perduodami bevieliu ryšiu, tampa jautresni aplinkos poveikiui, todėl didėja tikimybė, kad jie bus iškraipyti dėl signalų interferencijos arba nesklandumų išsiuntimo metu. Interferencijos poveikį galima sumažinti vengiant dažnių, kuriuose yra didelis eterio užimtumas. Tuo tarpu nesklandumai išsiuntimo metu atsiranda dėl varijuojančios techninės įrangos kokybės. Šio klaidų šaltinio poveikis sumažinamas atliekant radijo siųstuvo galios derinimą. Tokiu būdu siunčiami signalai tiksliau užkoduojami, o priimti signalai sėkmingai iškoduojami net jei signalas yra paveikiamas aplinkos poveikio. Pasaulyje egzistuoja daug skirtingų metodų leidžiančių išmatuoti ir įvertinti skaitmeninio signalo kokybę. Taikant šiuos skaitmeninio signalo kokybės vertinimo metodus, atliekamas siųstuvo galios derinimas. Bevielio perdavimo standartas IEEE 802.11n nustato griežtus reikalavimus siunčiamų signalų kokybei, tačiau siųstuvo derinimo metodas nėra standartizuotas. Kadangi radijo siųstuvo derinimas yra nuo techninės įrangos priklausantis dalykas, todėl dažnas lustinių valdiklių gamintojas turi savo kuriamų produktų derinimo procedūras. Įmonė UAB „Wilibox“, kuri yra projekto užsakovė... [toliau žr. visą tekstą], Wireless networks in world becoming more and more popular. Every year dozens of new products providing wireless access are being released. In addition to new products also new data transfer standards are created in order to exploit full radio bandwidth capabilities and improve transmission performance and security. While data transmission speed increases, radio signals become more sensitive to environmental distortions, thus increases probability that the data will be damaged due to signal interference or transmit disruption. The impact of interference can be reduced by avoiding highly occupied frequencies. Meanwhile, transmit disruptions are the different source of signal error that arises from variable hardware quality. In order to reduce the impact of this source of error device transmitter calibration is applied. After calibration, digital signals are modulated more accurately in transmitting side and successfully received demodulated on receiving side even if signals were affected by environment factors. There are many methods of measuring and evaluating digital signal quality in the world. These digital signal measures are applied while transmitter power calibration is performed. Wireless standard IEEE 802.11n specifies strict requirements for transmitting digital signal quality, however calibration procedure is not standardized. Since radio transmitter calibration is hardware dependent operation, most of system on the chip manufacturers have their own product... [to full text]

Microsoft Kinect įrenginys išleistas tik 2010 metais. Jis buvo skirtas Microsoft Xbox 360 vaizdo žaidimų konsolei, vėliau 2012 metais buvo pristatytas Kinect ir Windows personaliniams kompiuteriams. Taigi tai palyginus naujas įrenginys ir aktualus šiai dienai. Daugiausiai yra sukurta kompiuterinių žaidimų, kurie naudoja Microsoft Kinect įrenginį, bet šį įrenginį galima panaudoti daug plačiau ne tik žaidimuose, viena iš sričių tai sportas, konkrečiau treniruotės, kurias būtų galima atlikti namuose. Šiuo metu pasaulyje yra programinės įrangos, žaidimų, sportavimo programų, kuri leidžia kontroliuoti treniruočių eigą sekdama ar žmogus teisingai atlieka treniruotėms numatytus judesius. Kadangi Lietuvoje panašios programinės įrangos nėra, taigi reikia sukurti įrangą, kuri leistų Lietuvos treneriams kurti treniruotes orientuotas į šio įrenginio panaudojimą. Šio darbo pagrindinis tikslas yra atlikti Kinect įrenginiui skirtų gestų atpažinimo algoritmų tyrimą, kaip tiksliai jie gali atpažinti gestus ar gestą. Pagrindinis dėmesys skiriamas šiai problemai, taip pat keliami, bet netyrinėjami kriterijai kaip atpažinimo laikas, bei realizacijos sunkumas. Šiame darbe sukurta programa, judesius bei gestus atpažįsta naudojant Golden Section Search algoritmą. Algoritmas palygina du modelius ar šablonus, ir jei neranda atitikmens, tai pirmasis šablonas šiek tiek pasukamas ir lyginimo procesas paleidžiamas vėl, taipogi tam tikro kintamojo dėka galime keisti algoritmo tikslumą. Taipogi... [toliau žr. visą tekstą], Microsoft Kinect device was released in 2010. It was designed for Microsoft Xbox 360 gaming console, later on in 2012 was presented Kinect device for Windows personal computer. So this device is new and current. Many games has been created for Microsoft Kinect device, but this device could be used not only in games, one of the areas where we can use it its sport, specific training, which can be performed at home. At this moment in world are huge variety of games, software, training programs which allows user to control training course by following a person properly perform training provided movements. Since in Lithuania similar software is not available, so it is necessary to create software that would allow Lithuania coaches create training focused on the use of this device. The main goal of this work is to perform research of the Kinect device gesture recognition algorithms to study exactly how they can recognize gestures or gesture. It will focus on this issue mainly, but does not address the criteria for recognition as the time and difficulty of realization. In this paper, a program that recognizes movements and gestures are using the Golden section search algorithm. Algorhithm compares the two models or templates, and if it can not find a match, this is the first template slightly rotated and comparison process is started again, also a certain variable helping, we can modify the algorithm accuracy. Also for comparison we can use Hidden Markov models algorhithm received... [to full text]

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

Iš programuotojo perspektyvos, riba tarp aparatūrinės ir programinės įrangos sparčiai mažėja. Kol programuotojai stengiasi pasiekti reikalaujamą spartą šiuolaikinėms sistemoms, jiems teks išnaudoti alternatyvius skaičiavimų elementus, tokius kaip vaizdo plokštes. Šiame darbe apžvelgiama esama lygiagrečių skaičiavimų naudojant vaizdo plokštes situacija. Apžvelgiamas fizikos simuliacijos skaičiavimo uždavinių sprendimas panaudojant vaizdo plokštes kaip skaičiavimo vienetus. Analizuojant esamus produktus ir pritaikant technologijas paskirstytiems skaičiavimams naudojant OpenCL atliekami eksperimentai. Šie eksperimentai parodys teigiamas ir neigiamas, paskirstytų skaičiavimų fizikos uždaviniams spręsti, puses., The line between hardware and software is shrinking. While programmers and developers desperately try to reach the required performance for applications that require huge computations, they will be forced to use multiprocessing. Not only using a CPU as a main computation unit, but other resources like GPU. In these theses we will review the current situation in multiprocessing using GPU‘s. An investigation of computation of physics will be carried out. While analyzing current products and applying technologies for GPU computation using OpenCL we will execute appropriate experiments. These experiments will show the up and down sides of GPU computing for specific physics tasks.

Mobilių technologijų populiarėjimas tarp vartotojų ir jų platformų įvairovė skatina mobilių programėlių kūrėjus užimti vis didesnę rinkos dalį. Kiekviena mobili platforma turi savo specifiką, todėl kūrėjams reikia vis daugiau žinių arba specialistų kuriant mobilias aplikacijas, tam reikalinga papildomų resursų, apmokymų,kaštų ir laiko. Vienas iš galimų problemos sprendimų, sukurti tam tikrus įrankius, kurie mobilių programėlių projektavimo ir kūrimo bei testavimo etape, leistų automatiškai suprojektuoti, suprogramuoti mobilias aplikacijas, nepriklausomai kokiai platformai išlaikant tos programėlės logiką. Tam pakaktų mobilių programų kūrėjams turėti vienai mobiliai platformai aprašytą modelį arba programėlę, ir iš jų remiantis MDA (Model Dirven Architecture) metodologijomis arba aprašytais karkasais atliktų transformacijas į reikiamą platformą. Šiame darbe pateikimas MDA principais paremtos sukurtos priemonės , kurios, atlieka programų transformacijas iš Android į Windows Phone. Įrodant transformacijų svarbą, atliktas transformavimo priemonių tyrimas, įvedant tam tikras metrikas ir jų palyginimą tarp atskirai realizuotų programų, šių priemonių transformuotų programų ir naudojant universalias priemones kaip JavaScript arba žiniatinklio principu veikiančių programų., There is growth of mobile technologies and platforms providing for users so and developers of mobile applications need to take a larger market. There is some specificity of platforms, therefore developer needs a more knowledge or experts of mobile application developing where require a more resources, training, costs and it takes a time. One of the possible solutions to the problem, to make the tools which allow design and create mobile applications independent by platform keep the logic in design and development or testing phase. This is sufficient for developers to design or creates one mobile applications and using methods of Mobile Driven Architecture (MDA) and frameworks create transformations more applications many platforms. In this research paper representing the tools developed based MDA to carry out transformations from Android to Windows Phone. To prove the importance of transformations performed research of transformation tools with certain comparison of metrics between the programs of separated implementation, these tools transformed programs and used universal tools like JavaScript or web-based software implementation.

Vystantis ir tobulėjant telekomunikacijų technologijoms ir paslaugoms, paremtoms jomis, bazinių paslaugų kainos krenta. Tačiau paslaugų tiekėjų infrastruktūros, personalo išlaikymo ir kiti kaštai nemažėja. Šiame kontekste konkurencinė kova iš konkuravimo žemiausiomis kainomis persiorientuoja į konkuravimą siūlant įdomias, naudingas papildomas paslaugas, kurios taip pat gali padėti taupyti kaštus telekomunikacinių paslaugų tiekėjų klientams, t.y. praktiškai bet kuriai verslo įmonei. Tokioms paslaugoms vystyti reikalinga specializuota platforma. Šiame darbe analizuojama galimybė panaudoti atvirojo kodo MOBICENTS platformą integruojant IN protokolus. Kuriama sistema siekia palengvinti skambučių valdymo paslaugų kūrimą MOBICENTS platformos pagrindu. Telekomunikacinių paslaugų kūrėjams bus pateikta programinė sąsaja su papildomu abstrakcijos lygiu, leisiančiu realizuoti nuo konkretaus protokolo nepriklausomą biznio logiką. Kadangi projektas remiasi atviro kodo sprendimais, galutinis produktas turės konkurencinį pranašumą prieš visiškai komercinius analogiškus produktus., Current developments in telecommunication technologies show that price of the basic services have reached minimal values. Costs for service providers to maintain infrastructure, staff have not declined. Therefore, the main method to remain competitive in this dynamic market is by introducing value-added services. To support easy introduction of new services a specialized platform is required. This paper focuses on integration of IN protocols to an open-source MOBICENTS platform. A solution is proposed to ease service creation employing the MOBICENTS platform. Telecommunication service developers will be presented with an abstract, protocol-agnostic API for call control to enable easy and fast development of universal business logic. Moreover, reliance on open-source components brings many advantages like code reviewed by many developers, tests conducted in various environments, cost-effectiveness.

Matematikos programos buvo pradėtos kurti vos tik atsiradus kompiuteriams, o dabar dauguma skaičiavimų be kompiuterio tiesiog neįmanomi. Kompiuterinės matematinės sistemos plačiai naudojamos šiuolaikinėje inžinerijoje. Visos šios matematinių programų sistemos yra parašytos aukšto lygio kalbų priemonėmis (JAVA, JAVA+, C++ ir kt.), tinka įvairių duomenų apdorojimui, vizualizacijai ir kt. Matematiniams modeliams kurti ir tyrinėti plačiausiai taikomi MATHCAD, MAPLE, MATLAB programų paketai. Šiuose paketuose galima braižyti aukštos kokybės grafikus ir kurti neprilygstamą animaciją. Darbe buvo apžvelgtos visos šios matematinės sistemos, bei panagrinėta C++ platforma. Buvo išanalizuotas grafikų ir visos kitos animacijos kūrimas, bei palygintos sistemos tarpusavyje. Nustatyta, kad visų šių programinių paketų funkcijos bei paskirtis panašios. Ypatingas dėmesys buvo skirtas nuosekliam bei detaliam pasirinktų matematinių paketų animacijos kūrimo ir valdymo galimybių analizavimui, nes ši sritis Lietuvoje nebuvo plačiai tyrinėta., Mathematics programs were started to develop as soon as computers, but now most calculations are not possible without a computer. Mathematical computing systems are widely used in modern engineering. All mathematical software systems are written in a high-level language tools (Java, Java +, C + +, etc..) for a wide range of data processing, visualization and others. To develop and explore mathematical models are widely used MATHCAD, MAPLE, MATLAB software package. These packages can draw high-quality graphics and create an animation. The paper has reviewed all of these mathematical systems and analyzed C + + platform. An analysis of schedules and other animation creation was made in this paper. Moreover, the comparison between systems was made also. It was found that all these software packages functions and uses are similar. Particular attention was devoted to coherent and detailed animations of selected mathematical package creation and management of feasibility, since this area has been extensively studied in Lithuania.

Ontologijų aprašymai yra dažniausiai naudojami semantiniame žiniatinklyje (Semantic Web/Web 2.0), tačiau pastaruoju metu jie randa vis daugiau ir daugiau pritaikymo kasdienėms informacijos sistemoms. Puikiai suformuota ontologija privalo turėti teisingą sintaksę ir nedviprasmišką mašinai suprantamą interpretaciją, tokiu būdu ji gali aiškiai apibrėžti fundamentalias sąvokas ir ryšius probleminėje srityje. Ontologijos vis plačiau naudojamos įvairiuose taikymuose: verslo procesų ir informacijos integravime, paieškoje ir žvalgyme. Tokie taikymai reikalauja geros greitaveikos, efektyvaus saugojimo ir didelio mąsto ontologinių duomenų manipuliavimo. Kai ontologijomis paremtos sistemos auga tiek akiračiu, tiek apimtimi, specialistų sistemose naudojami samprotavimo varikliai tampa nebetinkami. Tokiomis aplinkybėmis, ontologijų saugojimas reliacinėse duomenų bazėse tampa būtinas semantiniame žiniatinklyje ir įmonėse. Šiame darbe atsakoma į klausimą kokiu būdu OWL ontologijas galima efektyviai transformuoti į reliacinių duomenų bazių schemas., Ontology descriptions are typically used in Semantic Web/Web2.0, but nowadays they find more and more adaptability in everyday Information Systems. Well-formed ontology must have correct syntax and unambiguous machine-understandable interpretation, so it is capable to clearly defining fundamental concepts and relationships of the problem domain. Ontologies are increasingly used in many applications: business process and information integration, search and navigation. Such applications require scalability and performance, efficient storage and manipulation of large scale ontological data. In such circumstances, storing ontologies in relational databases are becoming the relevant needs for Semantic Web and enterprises. For ontology development, Semantic Web languages are dedicated: Resource Description Framework (RDF) and schema RDFS, and Web Ontology Language (OWL) that consists of three sublanguages – OWL Lite, OWL Description Logic (DL) and OWL Full. When ontology based systems are growing in scope and volume, reasoners of expert systems are becoming unsuitable. In this work an algorithm which fully automatically transforms ontologies, represented in OWL, to RDB schemas is proposed. Some concepts, e.g. ontology classes and properties are mapped to relational tables, relations and attributes, other (constraints) are stored like metadata in special tables. Using both direct mapping and metadata, it is possible to obtain appropriate relational structures and not to lose the... [to full text]

Susipažinti su telekomunikacijų sritimi, sukurti jai paslaugą. Paslauga veikia „Mobicents“ JSLEE platformoje. Realizuota paslauga – VPN (angl. Virtual private numbering). Vartotojas savo ilgam numeriui (pvz. 5866694112234) gali nusistatyti trumpą (pvz. 555). Skambinant trumpu numeriu, paslauga suranda siekiamo adresato tikrąjį numerį ir su juo sujungia. Atlikti tyrimai ir matavimai įvertinti paslaugos tobulinimo galimybes, jos įtaką platformos darbui., During course of this project we developed an telecommunications service - virtual private numbering. It allows users to create, manage and be accessible by short numbers. At first we analysed telecommunication field, then - possible platforms for SIP based service and chose open source JSLEE certified „Mobicents“. In next step, there were formulated requirements, designed architecture, developed and tested service. After that, we investigated possibilities to improve service execution parameters and it's current use of resources, influence to platform. Lastly investigation were checked by experiments.

Tezėse nagrinėjamas hipertekstinės grafinės vartotojo sąsajos aprašymas aukšto abstrakcijos lygmens elementais, juos apibrėžiant deklaratyvia sintakse. Siūloma architektūra aprašo hipertekstinę grafinę vartotojo sąsają aukšto abstrakcijos lygmens elementais. Apibrėžiamas 20-ties esminių grafinių elementų rinkinys, deklaratyvi XML notacija ir suprojektuojama HTML grafinės vartotojo sąsajos biblioteka, veikianti JavaScript pagrindu bei užtikrinanti ženkliai greitesnį ir paprastesnį grafinės vartotojo sąsajos kūrimą. Pateiktas metodas neturi viešų analogų ir yra skirtas sudėtingiems grafinės vartotojo sąsajos sprendimams. Eksperimentiniais tyrimais parodoma, kad deklaratyvi notacija ir aukštas abstrakcijos lygmuo gali sumažinti programinį kodą nuo 3,1 karto trivialiems GUI elementams iki 204,1 karto sudėtingiems GUI sprendimams. Eksperimentai patvirtina, kad didėjant grafinę vartotojo sąsają sudarančių HTML elementų kiekiui, galima tikėtis dar geresnių efektyvumo rodiklių. Sukurta architektūra yra integruota į programinės įrangos projektavimo modelį, kuriame vartotojo sąsajos ir logikos kūrimas iš dalies automatizuotas naudojant UML modelį. Tradicinis tekstinis redaktorius pakeistas duomenimis paremtu projektavimo įrankiu, panaudos atvejai vystomi scenarijais su grafiniu redaktoriumi, duomenų infrastruktūra generuojama iš modelio, o realizacija pateikiama keliomis programavimo technologijomis., In master theses hypertext graphical user interface definition using high abstraction level declarative syntax is analyzed and architecture model is suggested. Suggested architecture defines graphical user interface using high abstraction level elements. Basic element set of more than 20 elements is defined, declarative XML notation is suggested and graphical user interface library for HTML is developed with JavaScript to ensure much faster and easier standard-based graphical user interface development. Provided method has no public analogues yet and is suggested for complex graphic user interfaces. Experimental studies proved that declarative syntax and high abstraction level can reduce programming language code from 3.1 times on trivial GUI elements to 204.1 times on complex GUI solutions. Studies have showed that when the number of HTML elements composing graphical user interface grows, even better effectiveness can be achieved. Developed architecture is integrated in software development model where graphical user interface and logic are semi-automated using UML model. Traditional text editor is changed by data driven design tool, use-cases are developed using graphical editor, data infrastructure is build from the model and solution is delivered in several programming technologies.

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.

Šiame dokumente nagrinėjama tyrimo sritis susijusi su mobiliojo ryšio operatoriams skirtomis virtualių telefoninių stotelių sistemomis. Analitinėje darbo dalyje atsakomi pagrindiniai šio projekto klausimai, pristatomos bendros idėjos ir vėliau apžvelgiama panašių sistemų specifika. Projektinėje dalyje į sistemą pažvelgiama iš architektūros pusės. Sukonkretinami priimti sprendimai ir pateikiamas jų realizacijos aprašymas. Tiriamoje ir eksperimentinėje darbo dalyje atliekamas dviejų telekomunikacijoms skirtų platformų tyrimas – jNetX OCFS ir Mobicents JAIN SLEE. Įvertinama sistemų kokybė ir pateikiamas apibendrintas platformų vaizdas kartu su išvadomis ar vertą esamą sistemą migruoti į naują platformą ir kokios kliūtys gali kilti tai atliekant., The objective of this project was to develop software for mobile network operators, which provides virtual private branch exchange functionality and has operator console for its control. During its execution, the analysis of design and technology solutions was performed. The architecture of the developed software is based mainly on the principle of client server design and JAIN SLEE specification. Quality and feature anlysis of two competing plaforms was performed – jNetX OCFS and Mobicents JAIN SLEE. Main objective of analysis was to find out if Mobicents JAIN SLEE is feasible replacement for jNetX OCFS, analysis showed that it is.

Pagrindinis darbo tikslas - realizuoti programinę įrangą, gebančią automatiškai testuoti vartotojo sąsają ir testinius atvejus generuojančią iš duotų UML modelių. Kuriama programinė įranga turėtų būti realizuota naudojant Java technologiją. Taigi šio darbo tyrimo sritis apims vartotojo sąsajos testavimo automatizavimo būdų analizę. UML modeliai tapo ypač populiaria priemone modeliuojant programinės įrangos architektūrą. UML modeliai šiais laikais naudojami ne tik įprastoms klasių diagramoms, veiklos diagramoms, sekų diagramoms modeliuoti ir pan., bet tampa vis populiaresnia priemone ir yra taikomi daugelio kitų projektavimo uždavinių sprendimui. Vartotojo sąsajos atvaizdavimas UML diagramomis vis dar nėra populiarus būdas, nors literatūroje vis dažniau sutinkame siūlymų naudoti šias technologijas. Taigi literatūroje atsirandantys straipsniai, vykdomos konferencijos ir panašaus pobūdžio įvykiai byloja, kad ateityje ši technologija neaplenks ir vartojo sąsajos modeliavimo proceso. Rinkoje jaučiamas vartotojo sąsajos automatinio testavimo sistemos, kuri gebėtų testinius atvejus generuoti iš UML modelių ir automatiškai vykdyti testavimą, trūkumas. Tokia sistema galėtų būti naudojama efektyvesniam testavimui atlikti. Tokia sistema gebėtų testuoti vartotojo sąsają greičiau ir tiksliau. Greitis pasiekiamas tuo, kad automatinio testavimo procese nedalyvauja žmogus, o visą testavimą atlieka įrenginio procesorius. Testuojant sistemą skirtingose platformose testavimą galima atlikti... [toliau žr. visą tekstą], In many cases, testing is an essential, but time and resource consuming activity in the software development process. In the case of model-based development, test construction and test execution can be partially automated. As the application size is constantly growing, the need for automated testing frameworks comes into place, particularly frameworks for automated testing of user interaction and graphical user interface. This document describes an implementation of the GUI test generator framework based on UML models where specific UML activity diagrams are used for test case generation. It is not a usual case to use UML activity diagrams for UI modeling. However the existing stereotypes of activity diagram elements are not suitable for UI modeling. With usual activity diagram it is complicated to define buttons, containers, pages and other UI elements in the diagram and find differences between them. Even more complicated is to model the navigation of the testing application. Using this approach the UI can be defined in a set of UI elements along with a set of UI navigation elements. This is an optimal and suitable approach in most cases. This document describes an implementation of the automated GUI tests runner framework as well. This framework is able to run the given application in test mode using the previously generated test cases. The framework collects all the information about each test case results and provides it to the tester. Future improvements: Find the... [to full text]

Data Driven Design metodologija plačiai naudojama įvairiose programinėse sistemose. Šios metodologijos tikslas – atskirti bei lygiagretinti programuotojų ir projektuotojų veiklą. Sistemos branduolio funkcionalumas yra įgyvendinamas sąsajomis, o dinamika – scenarijų pagalba. Taip įvedamas abstrakcijos lygmuo, kurio dėka programinis produktas tampa lankstesnis, paprasčiau palaikomas ir tobulinamas, be to šiuos veiksmus galima atlikti lygiagrečiai. Darbo tikslas buvo sukurti automatinį kodo generatorių, kuris transformuotų grafiškai sumodeliuotą scenarijų į programinį kodą. Generuojant programinį kodą automatiškai ženkliai sumažėja sintaksinių bei loginių klaidų tikimybė, viskas priklauso nuo sumodeliuoto scenarijaus. Kodas sugeneruojamas labai greitai ir visiškai nereikalingas programuotojo įsikišimas. Šis tikslas pasiektas iškėlus biznio logikos projektavimą į scenarijaus projektavimą, o kodo generavimo posistemę realizavus žiniatinklio paslaugos principu. Kodas generuojamas neprisirišant prie konkrečios architektūros, technologijos ar taikymo srities panaudojant įskiepių sistemą . Grafiniame scenarijų kūrimo įrankyje sumodeliuojamas scenarijus ir tada transformuojamas į metakalbą , iš kurios ir generuojamas galutinis programinis kodas. Metakalba – tam tikromis taisyklėmis apibrėžta „XML “ kalba. Realizavus eksperimentinę sistemą su didelėmis problemomis nebuvo susidurta. Naujos sistemos modeliavimas projektavimo įrankiu paspartino kūrimo procesą septynis kartus. Tai įrodo... [toliau žr. visą tekstą], Data Driven Design methodology is widely used in various program systems. This methodology aim is to distinguish and parallel software developer and scenario designer’s work. Core functionality is implemented via interfaces and dynamics via scenario support. This introduces a level of abstraction, which makes software product more flexible easily maintained and improved, in addition these actions can be performed in parallel. The main aim of this work was to create automatic code generator that transforms graphically modeled scenario to software code. Automatically generated software code restricts probability of syntactic and logical errors, all depends on scenario modeling. Code is generated instantly and no need software developer interference. This aim is achieved by moving business logic designing to scenario designing process and code generator service making as a “Web service”. Using cartridge based system code is generated not attached to a specific architecture, technology or application domain. In graphical scenario modeling tool scenario is modeled and transformed to metalanguage, from which software code is generated. Metalanguage – with specific rules defined “XML” language. Experimental system was developed with no major problems. New project modeling with our modeling tool speeded the development process by seven times. This proves modeling tool advantage over manual programming.

Darbe nagrinėjami lygiagretūs metodai, naudojami sukurtoje centralizuotoje reklamos valdymo sistemoje. Taikant lygiagrečius metodus, bandoma palyginti jų naudingumą su nuosekliai atliekamais veiksmais. Atliekami laiko matavimai, vykdant įvairias funkcijas., Ad management system is developed for place ads on connected sites, for easier, more flexible and faster management. To build this application we are using concurrency methods. They can ensure more stable and faster running.

Apžvelgiamos pagrindinės Scrall naudojimo savybės, naudojami architektūriniai sprendimai kuriant programinę įrangą. Taip pat buvo siekiama, įvertinti Scrall grafinio redaktoriaus perspektyvas, jos išvystymą į StarUML redaktorių, kuris yra jau pateiktas atviram visuomenės naudojimui. Scrall yra dar viena veiklos kalba, kuri atvaizduoja veiklos diagramų ryšius kaip ir kitos tokios kalbos: SMALL, TALL, OAL ir ASL. Visos šios kalbos yra nuo platformos nepriklausomos, metodai objektiškai orientuoti į specifinius duomenų priėjimo ryšius, apskaičiavimą ir duomenų procesus., It was review the main Scrall features, architectural solutions in software development. Also intended to assess the prospects Scrall graphic editor, it has developed into StarUML editor, which has been made for public use. Scrall (Starr‘s Concise Relatio Action Language) - is yet another action language at the same semantic level as other relational action languages such as SMALL, TALL, OAL and ASL. All of these languages are platform independent, object-oriented methods of specifying relational data access, computation, data processing and low level branching decisions.

Interneto paslaugos yra pažangi ir besivystanti programinės įrangos koncepcija, kai programinė įranga teikiama kaip paslauga. Interneto ryšiu teikiamos specializuotos paslaugos pasiekiamos per registrus, kurie gali būti prieinami viešai arba privačiame įmonių tinkle. Išaugus paslaugų paklausai ir pasiūlai, atsiranda problema, kaip geriau atlikti paslaugų paiešką. Egzistuoja paprastos paieškos sistemos, kurios nelabai praktiškos servisų paieškai, tad kyla reikalingumas sukurti patogesnę ir kokybiškesnę servisų paieškos sistemą. Paslaugų registre galima aprašyti paslaugų teikėją pateikiant veiklos aprašymą, kontaktinius duomenis, užregistruoti paslaugas ir aprašyti jas. Didžiausiais trūkumas yra tas, kad paslaugų paieška registruose vykdoma pagal raktinius žodžius. Tokiu atveju paieškos rezultatų skaičius yra didelis ir dažnai neatspindintis realaus paslaugos vykdomos operacijos pobūdžio. Vienas iš sprendimo būdų interneto paslaugų tikslesnei paieškai atlikti yra semantinių aprašų sukūrimas ir susiejimas su paslaugomis. Tuomet ieškant paslaugos užtenka nurodyti jos parametrų ar kategoriją. Paieškos mechanizmas atlieka ieškomų parametrų ir paslaugoje aprašytų parametrų panašumo lyginimą ir nusprendžia, ar paslaugoje aprašyti elementai panašūs į ieškomuosius. Tokiu atveju rezultatų skaičius sumažinamas ir paslaugos randamos tiksliau. Egzistuojantys semantiniai paslaugų aprašai OWL-S, WSMO, SAWSDL yra gana sudėtingi. Šiame darbe norėta parodyti, kad semantinį registrą galima... [toliau žr. visą tekstą], Efficiently finding Web services on the Web is a challenging issue in service-oriented computing. Currently, UDDI is a standard for publishing and discovery of Web services, and UDDI registries also provide keyword searches for Web services. However, the search functionality is very simple and fails to account for relationships between Web services. Firstly, users are overwhelmed by the huge number of irrelevant returned services. Due to the lack of semantic descriptions of the Web services, the results returned by registries are effectively inadequate. Semantic web services discovery based on what model of semantic registry is used and architecture of search algorithm. Semantic registry models according articles are based on UDDI registry XML elements mapping with the enhanced semantics such OWL or RDF ontology. Ontology describes the information domain about web services operation type, inputs and outputs. The search algorithm tries to find a match for user query inputs or outputs. Executing matchmaking method results the some sort similarity value by which can be decided what web service operation are more similar to users query parameters. To perform the investigation was needed to create a simple registry model enhanced with semantics mappings with OWL ontology and realize software that works with this model. To investigate search algorithm’s performance based on Greedy matchmaking method. The registry model was implemented in MySQL database.

Magistro darbe nagrinėjama pilno teksto paieškos veikimo sparta. Paieškos sistema sukurta naudojantis PHP ir MySQL priemonėmis, taip pat panaudojant Memcached laikinosios atminties valdymo sistemą. Tyrimui atlikti reikalingi duomenys paimti iš RSS srautų agregatoriaus, periodiškai nuskaitančio informaciją iš lietuviškų tinklaraščių. Darbe didžiausias dėmesys skiriamas paieškos variklio indeksavimo ir rezultatų atrinkimo procesų vykdymo trukmei. Tiriant indeksavimo procesą, veikimo sparta išmatuota dirbant su skirtingais duomenų kiekiais. Turint daug duomenų, šis veiksmas reikalauja daug kompiuterio resursų ir gali trukti ilgai. Indeksuojant duomenis proceso trukmė buvo išmatuota naudojant ir nenaudojant Memcached ir ignoruojamų žodžių sąrašų. Paieškos tyrimo metu tirtas paieškos užklausos elementų kiekio įtaka rezultatų atrinkimui. Abiejų procesų veiklų matavimai atlikti naudojant InnoDB ir MyISAM lenteles duomenų saugojimui. Tyrimo metu rasti sprendimai, kuriuos rekomenduojama rinktis realizuojant arba naudojant panašiais principais paremtą paieškos sistemą., In this Master thesis the performance of full-text search is analyzed. Search engine is implemented by using PHP and MySQL also Memcached cache engine. Data for the research is gathered from RSS aggregator that periodically collects information from lithuanian blogs. The main attention is drawn on speed of both data indexing and search results gathering. While analyzing indexing process the speed of its performance was measured on different data sets. Indexing requires a lot of computer resources and can last long when having a lot of data. The duration of this process was measured with enabled and disabled Memcached service and list of ignored words. A test on how strongly query's number of elements influence the collection of results was performed. Performances were tested by using both InnoDB and MyISAM tables. Paper suggests solutions that are recommended for implementing and using similar search engines.

Programų sistemų kūrimas, kai yra daug užsakovų, kurių reikalavimai skiriasi, yra sudėtingas procesas ir reikalauja aprašyti galimus programų sistemos variantus. Programų variantiškumui aprašyti naudojami kuriamos sistemos požymių modeliai. Sistemos požymių modeliavimas yra svarbus variantiškumo aprašymo metodas. Sistemos požymių variantiškumo modeliai aprašo aibę programų sistemų, kurios dar vadinamos programų sistemų linija. Programų sistemų linija yra eilė panašių programų kurios dalinasi bendrais atributais. Tiksliau apibūdinti programų sistemų linijai yra nustatomi sistemų atributai ir jų tarpusavio sąryšiai, jie yra pavaizduojami požymių diagramose. Požymis tai savitas, charakteringas sistemos atributas, kuris nusako matomus sistemos atributus, tačiau nesigilina į detalų sistemos apibūdinimą. Greitam ir kokybiškam programų sistemos variantiškumo modeliavimui reikalingas geras įrankis. Tam skirtas požymių diagramų modeliavimo įrankis, nes sukurti požymių modeliai yra informatyvūs ir gali lengvai perteikti sistemos variantiškumo informaciją. Tačiau programų sistemos požymių diagrama neturi techninės informacijos, kuri yra reikalinga programos kūrimui. Ši informacija yra saugoma UML modeliuose. Programos UML modelį galima išplėsti variantiškumo informacija, papildant jį sistemos požymių modelio informacija. Magistrinio projekto metu buvo sukurtas įrankis (FD2), kuris įgyvendina požymių diagramos susiejimą su UML klasių diagrama. Magistriniame darbe tiriamas sistemų... [toliau žr. visą tekstą], Feature modeling is important approach to deal system variability at higher abstraction level. Variability models define the variability of a software product line. Unfortunately, it is not integrated into a modeling framework like the Unified Modeling Language (UML). To use it in conjunction with UML, it is important to integrate feature modeling into UML. This thesis describes the way how feature variability models can be linked with existing UML models and how it is done in the feature modeling tool FD2. The feature modeling tool is described and the complete example provided. Chapter 2 discusses the way of Feature model integration with UML model. Chapter 3 describes the implementation of FD2 tool. Chapter 4 discusses the advantages and disadvantages of FD2 tool. Chapter 5 provides examples and discusses their results. In conclusion this thesis propose feature modeling integration with UML modeling, discusses the program developed during master project, provides 2 examples and discusses their results, points out some issues requiring further work.

Sistemos veikimo logika – mazgo pasirinkimo semantika, pasinaudojant sukurtais dokumentų standartais aprašytais XML kalba (DTD, XSD). Problema iškyla, kai kuriant dinaminių dokumentų analizės įrankius laikomasi griežtų taisyklių, tai reiškia negalima sulaužyti statinio tipo dokumento struktūros ir jo logikos. Problemos sprendimui yra panaudojama XPath technologija. Tokiu būdų yra sukuriamos statinio tipo užklausos ir išrenkamas dokumentų turinys, kuris vėliau atvaizduojamas vartotojo ekrane. Pagrindinis darbas yra sukurti įrankį, kurio pagalba galima atlikti statinę dokumento analizę. Dokumento duomenimis galima migruoti į pasirinktą reliacinę duomenų bazę ar kitą pasirinktą (PDF, XSL) dokumento formatą. Tokie įrankiai - analizatoriai leidžia sutaupyti daug laiko apdorojant, išrenkant, išsaugant ir analizuojant turimus duomenis., Nowadays, there is a lot of information in the internet, personal computer, mobile phone and everywhere around us. How we exchange this information? There are many decisions, but the most popular exchange form is using XML document standards. What is more, it will be everything good, but people are, who wants to use them, often faced with certain problems. They are trying get this information from these documents, but they cannot read it or very hard without any special software. Some people do not trust XML documents, because they didn’t use any time of them. Where is the problem? Some people could not understand XML document methodology; others did not use special software for special XML documents. It is software for storing and migrating signed XML documents. Special tools can save us time. People can quickly access the documents and information they need. It can help people work together in ways that are most effective for them.

Duomenų sinchronizacija yra neatsiejama šiomis dienomis, kuomet eina kalba apie paskirstytas aplikacijas, kurios veikia mobiliuose įrenginiuose. Kuomet duomenys yra sinchronizuojami mobiliajame įrenginyje, jų vartotojai yra nepriklausomi nuo duomenų serverio ir gali laisvai naudotis lokaliais duomenis atsijungę nuo tinklo. [14] Šiame darbe išnagrinėjome galimas duomenų prieigos architektūras: 1. Visuomet atsijungęs 2. Visuomet prisijungęs 3. Mišrus Taip pat aptarėme techninės realizacijos ypatumus, problemas su kuriomis susiduriama, kuriant sinchronizacijos algoritmus bei būtiną informaciją reikalingą šių algoritmų funkcionavimui (ID valdymas, pakeitimų sekimas, greita/lėta sinchronizacija ir kt.). Projektinėje dalyje buvo išnagrinėtos jau egzistuojančios sistemos architektūra, bei aprašyti reikalingi pakeitimai, tam kad būtų galima įtraukti sinchronizacijos procesą į sistemos funkcionalumą. Galiausiai detaliai išanalizavome mišrios duomenų prieigos architektūrą, jos paskirtį, privalumus ir trūkumus. Taip pat sudarėme imitacinį modelį pagal šios architektūros principus panaudodami sudėtingų sistemų formalizavimo agregatinį metodą bei atlikome jo parametrų analizę., Distributed applications are modeled around replicating copies of the same data on many hosts in a network for a variety of reasons. For one, system designers can alleviate the single-server implosion problem and instead distribute client requests for data across many hosting servers. Second, making data locally available on a host speeds up applications because the applications do not block for network input/output as data is transmitted. In this work we have analyzed several data access architectures: 1. Always offline 2. Always online 3. Mixed architecture Also we have described technical implementation details, problems which occur developing synchronization algorithms and mandatory information which is needed for these algorithms to work correctly (ID handling, change detection, fast/slow synchronization etc.). Furthermore, we investigated existing system architecture and defined mandatory changes needed for incorporating synchronization process into system functionality. Finally, we did detail analysis of mixed data access architecture, which included real world appliance, pros and cons. After that we created a model using complex systems formalization aggregation method which was based on these architecture principles. Also we did models parameter analysis in experimental part.

Magistrinio darbo metu buvo realizuojama animuotų žaidimų derinių informacinė sistema. Taipogi buvo analizuojamos duomenų perdavimo galimybes tarp ActionScript (animacijos programavimo kalbos) ir MySQL (duomenų bazės). Kur MySQL duomenų bazėje yra saugoma visa reikalinga informacija animaciniai sudaryti: aktorių parametrai, koordinatės. Informaciją perdavus ActionScript objektui, objektas sukuria animuotus derinius. Realizuotos informacinės sistemos pagalba galima kurti populiariausių komandinių sporto šakų derinius, vėliau juos galima peržiūrėti, komentuoti, redaguoti. Realizuota informacinė sistema buvo sėkmingai sukurta, atliktas svarbiausių komponentų testavimas. Atlikus keletą eksperimentų, rezultatai parodė, kad duomenų perdavimo kiekis esant dideliam kiekiui aktorių yra mažas, nes yra naudojamas speciali duomenų perdavimo struktūra. ActionScript objektas derinius atkuria labai greitai net esant dideliam aktorių kiekiui. Atlikus eksperimentus su daugybe aktorių, rezultatai parodė, kad galima sėkmingai animuoti iki 1000 aktorių vienu metu, kas informacinę sistemą daro patrauklia ne tik kuriant sportinius derinius, bet galima pritaikyti ir kitose srityse, kur reikia aminuoti daugybę aktorių., In master work was created animated games drills information system. Also where was analysis of data transfer possibilities between ActionScript (media programming language) and MySQL (data base). Where in MySQL data base is all required information for animation: stripe parameters, coordinates. When this information is given to ActionScript object it creates animated drills. With implemented information system it is possible to create most popular sport games drills, later the drills can be reviewed, commented, changed. Implemented information system was completed successfully, where was done the most important components testing. When few experiments was made, results showed, that data transfer amount with many stripes is small, because where is used special data transfer structure. ActionScript object creates drills with many sprites very fast. When the experiment with many sprites was done, results show, that it is possible to animate up to 1000 sprites at the same time, what this information system makes very attractive not only for making sport drills, but it also can be used for other proposes, where many sprites need to be animated.

Dokumente aprašyti dabartiniai įmonės verslo procesai. Analitinėje dalyje aprašyta problema, kurią įmonė siekia išspręsti, kad pagerinti gamybos proceso efektyvumą. Aprašytos pagrindinės gamybos strategijos kurias galima pritaikyti Microsoft Dynamics Ax karkase, pasiūlytas sprendimas problemai spręsti dviejų šiuolaikinių karkasų pagalba, taip pat pateikti architektūros reikalavimai naujam sistemos moduliui įgyvendinti. Aprašytas architektūrinis modelis su naujais verslo procesais. Pateikti naujo gamybos modulio duomenų srautai, bei vartotojų funkcijos. Projektinėje dalyje aprašėme kaip pasikeitė buitinės technikos prekių valdymas įmonėje. Tyrinamojoje dalyje ištirtas projekto kokybės gerinimas, bei atliktas naujai integruotos sistemos tiekiamos naudos tyrimas. Projekto dalyje atliktas eksperimentas, kuriam reikalinga buvo suprojektuoti ir suprogramuoti analogišką sistemą Microsoft Visual Studio .NET aplinkoje, bei ištirti skirtingų platformų kodo, kodo sudėtingumo, projektavimo metrikas, bei palyginti laikines charakteristikas., This work consists of three major parts. First – engineering part – is analysis and design of Enterprise Resource Management System Production Process. We will analyze and represent a current production process of a certain company. The second part is about popular production strategies. For problem solving we chose a transitional version. And the last part is about exploring Microsoft Dynamics Ax framework design in comparison with Microsoft Visual Studio .net metrics. Metrics that we chose are source code, source code complexity, time characteristics. Using a realized program we were capable of finding defects in a certain period of production process. This is an easy way for companies to know which products were qualified. To sum up I would like to say that appropriate production strategy can have a strong influence in companies production process efficiency. It has a big impact not only to every production making company but also to everyone who is a creator.

Šiame dokumente aprašytas darbas susideda iš keturių pagrindinių dalių. Pirmojoje, analitinėje dalyje, atlikome UML ir susijusių modeliavimo standartų analizę. Apžvelgėme populiariausius rinkoje egzistuojančius UML redaktorius ir jų stipriąsias puses. Aptarėme verslo šioje rinkoje galimybes. Antrojoje darbo dalyje apžvelgėme sukurtos sistemos funkcionalumą, architektūrinius sprendimus ir architektūros kokybinius kriterijus. Trečioje dalyje aprašomi kodo ir bibliotekų generavimo iš UML modelių galimybių tyrimai. Pateiktas siūlymas taikyti OCL išraiškas elementų savybių validavimui. Paskutinėje dalyje aprašomas sistemos, skirtos elementų savybių validavimo OCL apribojimų pagalba, realizacijos pagrindimas, pateikia. Taip pat pateikiamas eksperimentas, palyginantis sukompiliuotų ir sugeneruotų dinaminių klasių bibliotekų spartos charakteristikas., This document describes the work that consists of four main parts. Analysis of UML and related modeling standards was performed in the first – analytical – part. UML editors that are popular in the present market and their advantages were reviewed. The possibilities of making business in this area were discussed. The functionality, architectural solutions and architecture quality criteria of the developed system were reviewed in the second part of the work. Researches of possibilities of code and library generating from UML models are described in the third part of the work. The proposal to apply OCL expressions for element property validation was offered. The substantiation of realization of the system for element property validation by OCL restrictions is described in the last part of the work. The experiment that compares characteristics of the compiled dynamic class libraries speed and the generated dynamic class libraries speed is presented.

Išanalizavus renginių organizavimo veiklos modelį, buvo sukurta Renginių paskelbimo ir pakvietimų į renginius organizavimo ir valdymo sistema. Sistema buvo realizuota ir įdiegta užsakovui. Projekto tikslas buvo sukurti internetu valdomą sistemą, kuri padeda pavieniams asmenims ar organizacijoms paskelbti renginius, pranešti žmonėms apie organizuojamus renginius, sukviesti žmones į paskelbtus privačius bei viešus renginius, o taip pat ir registruoti renginio dalyvius. Sistemos grafinė vartotojo sąsaja iš pirmo žvilgsnio turėjo pasižymėti patogumu ir paprastumu. Vienas iš svarbiausių reikalavimų, kad sistema būtų lengvai praplečiama. Pradiniai reikalavimai buvo surinkti ir nustatyti prieš sistemos projektavimą, tačiau dauguma reikalavimų buvo papildyta sistemos kūrimo ir jos palaikymo metu. Sistemos priežiūros ir tobulinimo metu keitėsi dalis sistemos veiklos logikos, o taip pat buvo įdiegta ir naujų funkcionalumų. Nuolatos augant vartotojų poreikiui, o taip pat tobulėjant ir technologijom, kuriamom sistemom keliami vis didesni reikalavimai. Šiandien internetinės sistemos vis labiau panašėja į taikomąsias kompiuterines programas. Tarp internetinių sistemų ryškėja Web 2.0 ir Raiškiųjų internetinių sistemų (RIA) kūrimo tendencijos, kurios pasižymi turtinga ir interaktyvia grafine vartotojo sąsaja ir išplėstu savo funkcionalumu. Įprastinų technologijų pagalba tampa vis sunkiau tai realizuoti. Silverlight – tai nauja ir viena iš sparčiausiai tobulėjančių naujo tipo technologijų... [toliau žr. visą tekstą], Events publishing and invitations to events organizing and management system was created after analysis of events management business model. The system was delivered and installed to its client. The main project goal was to create a system which is reachable over the internet and improves events management for its users. System graphical user interface (GUI) had to be comfortable and look simple. One of the main requirements was to develop a system which is easy extendable. Initial requirements were gathered before designing system architecture, but a lot of requirements were added during development and maintenance stages. Some business logic has been changed after system deployment. Modern Web 2.0 and Rich internet applications set a new level of expectations for enterprises on the Web. Developers face heightened requirements for “richer” user interfaces at the same time Web applications increase in size and complexity. It gets more and more complex to reach these new goals using old technologies. Silverlight is one of the new type technologies, which enables easy Rich internet applications development. In this work I will analyze how to extend system usability and improve its development stage using Silverlight technology.

Šiame darbe tiriama galimybė analizuoti įtakas, lemiančias studentų mokymosi universitete sėkmę. Remiamasi duomenų gavybos algoritmais. Sukurtas būdas, kaip prognozuoti, ar būsimas studentas, remiantis jo turimais stojimo balais bei ankstesnės kartos patirtimi, sėkmingai užbaigs studijas. Pradžioje aptariamos galimos duomenų gavybos taikymo sritys, būtini etapai, tam skirta programinė įranga. Detalizuojami Microsoft SQL Server 2008 palaikomi duomenų gavybos algoritmai. Keturi iš jų sėkmingai pritaikyti pasirinktos dalykinės srities analizei. Sukurta analitinė sistema, sugebanti įvertinti stojimo balų įtakas, universitete dėstomų dalykų įtakas galimybei sėkmingai baigti studijas. Atliktas tyrimas, nustatyti, kuris duomenų gavybos algoritmas yra tinkamiausias prognozuoti studentų iškritimą., This paper describes a research of evaluation of influences, causing a success to graduate university. The research is based on the data mining algorithms. There has been developed way to predict if a prospective student will successfully graduate the university or not. The prediction is based on the data of earlier generation of students, and school’s marks of prospective student. First part of paper describes the spheres, where data mining is adapted. Then, there is detailed stages used in data mining process; reviewed most popular data mining tools. After Microsoft SQL Server data mining algorithms were analyzed, it became clear witch ones are most suitable for the selected research area. The realization part explains how data mining can serve to improve the study process in university. This can be achieved by analyzing influences of different study disciplines to the ability to graduate the university. The last part of paper describes the performed experiment, witch showed the most appropriate algorithm to make predictions about ability to graduate the university.

Šiame darbe sprendžiamos grafinio vientisumo reikalavimų vaizdavimo loginiuose duomenų modeliuose bei jų kodo realizavimo problemos. Sprendžiant šiuos uždavinius, buvo analizuojami vientisumo reikalavimų tipai, UML plėtimo mechanizmai bei esamos vientisumo reikalavimų įgyvendinimo CASE įrankiuose galimybės.Vientisumo reikalavimus UML modeliuose galima užrašyti OCL kalba, tačiau OCL yra per sudėtinga daugeliui projektuotojų. Be to, SQL kodo generavimas iš OCL kol kas nėra efektyvus. Šio magistrinio darbo tikslas yra padidinti UML CASE įrankių duomenų bazių projektavimo galimybes, sukuriant vientisumo reikalavimų vaizdavimo ir kodo generavimo priemones., Fulfillment of data integrity constraint requirements is one of main problems in information system development process. The constraints are implemented at physical system development level. Despite the fact that most of current UML CASE tools allow to specify constraints using OCL language, for the most of system analytics and architects use of OCL is too complicated. Currently SQL code generated from OCL constraint implementation is not effective. In this study we will present alternative approach for constraint requirement implementation using UML2 extension possibilities – profiles and stereotypes with tag values. Also we will present SQL code generation template language and code template based constraint requirement transformation to SQL code algorithm. It was used to extend UML Case tool MagicDraw.

Magistriniame darbe rašoma apie ViPS lokalaus video paskaitų įrašymo įrankį, ir jo standartizavimo galimybes. Atliekama egzistuojančių sistemų apžvalga ir analizė, įvertinamos kokybinės ir funkcinės galimybės. Pateikiama informaciją tiek apie platformos architektūrą, tiek apie pačio įrankio realizavimo detales, funkcinius ir nefunkcinius reikalavimus, testavimo metodus. Apžvelgiamos e.mokymosi technologijų specifikacijos, tokios kaip IMS LD, AICC, LOM, SCORM. Įvertinamos ir ažvelgiamos SCORM standarto realizavimo galimybės bei diegimo rezultatas., In this master thesis main topic is distace learning. It‘s another learning method more confortable, but makes a little bit difficulties, when the intent is to deliver information ant to make distance learning equal to the traditional. The main problem of distance learning is the presentation of the learning material. Lecturers and other people are trying to make learning process easier and more effective. It‘s characteristics depends on the tools, software and hardware, witch is used to represent and deliver learning material. In this work we will know more about video presentation system ViPS and it‘s additional tool for local video lectures recording, when there is not internet. Presented information is about the value tools give us and requirements for it‘s functionality, architecture and results. Finally we will know more about distance learning standards, it‘s advantages and disadvanages and of course the possibility of implementation of the most suitable standart for the ViPS local recoding tool.

Šis magistrinis darbas skirtas lygiagrečių programų efektyvumo analizei atlikti, pasinaudojant sukurta lygiagrečių programų efektyvumo tyrimo programine įranga. Pagrindinis darbo tikslas – sukurti, ištirti bei pritaikyti mokymo programinę įrangą, skirtą lygiagrečių programų analizei. Tam tikslui buvo atliekamas sukurtos programos galimybių tyrimas bei suplanuoti ir vykdomi programinės įrangos tobulinimo darbai. Taip pat buvo atliekami pavyzdinių lygiagrečių programų tyrimai, naudojant sukurtą programinę įrangą, norint parodyti lygiagrečių programų efektyvumo tyrimo būdus bei sukurtos lygiagrečių programų efektyvumo tyrimo programinės įrangos galimybes., Parallel program execution is often used to overcome the constraints of processing speed and memory size when executing complex and time-consuming algorithms. The downside to this approach is the increased overall complexity of programs and their implementations. Parallel execution introduces a new class of software bugs and performance shortcomings, that are usually difficult to trace using traditional methods and tools. Hence, new tools and methods need to be introduced, which deal specifically with problems encountered in parallel programs. The goal of this project is the development of MPI-based parallel program performance monitoring tool and research into the ways this tool can be used for measuring, comparing and improving the performance of target programs.

Viena iš labiausiai išplitusių žiniatinklio paslaugų technologijų – SOAP (Simple Object Access Protocol) servisai, yra pakankamai sudėtingi ir neefektyvūs. Vis dažniau naudojamos įvairios šių servisų alternatyvos. Viena tokių alternatyvų yra REST (Representational state transfer) architektūros principų taikymas žiniatinklio paslaugų kūrimui. Šio tipo paslaugas yra paprasta realizuoti ir jos yra efektyvesnės nei SOAP variantas. Be to, jų kūrimo metodas remiasi gerai žinomomis ir senai žiniatinklyje nusistovėjusiomis koncepcijomis. Šiame magistriniame darbe atliktas REST architektūros principų tyrimas ir taikymas, darbo metu sukurtos, daugiavartotojiškos pozicionavimo sistemos kontekste. Aprašytos šios sistemos teikiamos galimybės, struktūra ir įgyvendinimo ypatumai. Tai pat, pateikti šios sistemos kontekste atlikto SOAP ir REST servisų efektyvumo eksperimento rezultatai., One of the most known web service technologies today – SOAP Web services, is fairly complicated and inefficient. Other SOAP Web service alternatives become more and more popular. One of these alternatives is REST style architecture application in web service implementations. This type of web services is much simpler and efficient than SOAP Web services. Furthermore, it is based on well-established web concepts. This work describes analysis and implementation of REST style architecture in created multi-user position tracking system. Document provides detailed description of implemented position tracking system possibilities, structure and implementation peculiarity. Finally, experimental proof is given about SOAP and REST service implementations efficiency in this system.

Magistrinio darbo projektinėje dalyje buvo sukurta nuotolinė žinių testavimo sistema „Cool Test Tool“. Ji realizuota remiantis kliento – serverio architektūra. Projektavimo metu buvo pasirinkta „Remote Objects“ technologija su TCP protokolu. Todėl šio darbo tikslas – išanalizuoti CORBA, Remote Objects ir Web Services veikimo principus, ištirti jų resursų išnaudojimą ir išrinkti efektyviausią technologiją, tinkančią projektui. Šios technologijos pasirinktos todėl, kad jas paprasta pritaikyti esamam projektui., Many of today’s enterprise computing systems are powered by distributed object middleware. Such systems, which are common in industries such as telecommunications, finance, manufacturing, and government, often support applications that are critical to particular business operations. Because of this, distributed object middleware is often held to stringent performance, reliability, and availability requirements. Fortunately, modern approaches have no problem meeting or exceeding these requirements. The goal of this research was to familiarize with middleware technology especially with CORBA, Microsoft .NET Remoting and Microsoft .NET Web Services. In experimental part was proved that the most efficient technology is Microsoft .NET Remoting with TCP protocol. That means our choice was correct during development of our project “Cool Test Tool”.

Dokumentas yra KTU „Programų sistemų inžinerijos“ magistro studijų magistro baigiamasis darbas. Dokumentą sudaro: 1. AJAX technologija pagrįsto portalo karkaso modelio tyrimas. Modeliuojamas ir analizuojamas AJAX technologija pagrįstas, vykdymo našumą gerinantis portalo karkaso modelis. Modelis įvertinamas, aprašomas. Modelio efektyvumas išbandomas eksperimentais. Pateikiami rezultatai. 2. Modelio taikymo srities – „Laisvalaikio pramogų ir el. prekybos portalo“ pagrindiniai projektavimo rezultatai. Sistema įvertinama. Darbo uždavinys - gerinančio sistemų našumą portalo karkaso modelio sumodeliavimas, įvertinimas, ištyrimas ir išbandymas. Darbo rezultatas – modelio efektyvumas įrodytas bandymais, eksperimentais. Dalinai išbandytas realizacijoje. Pilnai išbandytas pirminis karkaso modelis, iš kurio seka nagrinėjamas. Esminė, AJAX technologija pagrįsto, portalo karkaso modelio savybė – skaičiavimai, veiksmai, rezultatų formavimas vykdomi kliento kompiuterio naršyklėje, serveris atlieka pagrinde duomenų bazės ir HTML šablonų, failų, informacijos saugojimo vaidmenį. Vykdymo veiksmų perkėlimas į kliento kompiuterį. Nagrinėjamos kitos rastos technologijos, pagerinančios sistemų našumą. Analizuojami architektūriniai sprendimai, jų praktiškas realizavimas. Pateikiamas galimų alternatyvų įvertinimas, rinkos analizė, atlikti eksperimentai., The main scientific goal of this work is to analyze, try to model specific, fast, AJAX technology based framework model for portal. Presented work describes unique model for portal architecture, summarizes advantages and disadvantages of using specific technologies. Based on research of AJAX specifications and other related sources, author analyzes unusual solutions to achieve system performance and efficiency in designing architecture of the portal, states importance of using described model. Theoretical predictions of efficiency of solutions are experimentally confirmed. Reached result of research work – by using described model server load can be optimized more than 10 times.

Projektuojant sudėtingas sistemas, formali specifikacija neužtikrina aprašomos sistemos veikimo teisingumo. Formaliai aprašytam probleminės srities modeliui yra būtinas modelio teisingumo pagrindimas, atliekant jo imitacinį modeliavimą kompiuteryje. Šios problemos sprendimui yra reikalingas integruotos analizės įrankis, kuris leistų automatizuoti projektuojamos sistemos imitacinių modelių sudarymą. Dokumente nagrinėjama agregatinių specifikacijų imitacinių modelių sudarymo problema, pateikiamas sprendimas ir esamų realizacijų metodų analizė. Dokumente aprašyti realizuoto sprendimo programinės įrangos bendrieji principai ir eksperimentai., Formal specifications can not provide the correctness by themselves, while designing complex systems. Models that are formally specified need correctness proof that can be done by performing imitation modeling on a computer. This problem can be solved by automated creation of imitation models, so that functionality and correctness of various solutions can be verified in early stages of system design. The article presents the implementation of algorithm for automated creation of imitation models using PLA formal specifications. It also presents an overview of existing modeling techniques and methods. Describes the architecture of formal specifications analysis software and gives experiment results while analyzing network devices interaction.

Skaitmeniniai vaizdai yra plačiai naudojami kompiuterių taikomosiose programose. Nesuspaustų skaitmeninių vaizdų laikymui atmintyje reikia žymiai daugiau talpos ir spartesnio (didesnio pralaidumo) tinklo galimybių jų perdavimui tinklu. Efektyvūs vaizdų suspaudimo sprendimai tampa kritiškesni dėl pastaruoju metu didelio duomenų augimo intensyvumo, multimedijos pagrindu kuriamų tinklo programų. Šiame darbe pristatoma nauja lokaliai progresyvaus vaizdų kodavimo idėja (procedūra). Procedūra grindžiama specifinėmis Haaro bangelių savybėmis bei progresyvųjį vaizdų kodavimą realizuojančiu EZW algoritmu. Taip pat apžvelgiamos kitų diskrečiųjų transformacijų ypatybės, praktinis jų pritaikymas pramoninėje, mokslinėje srityse. Preliminarūs eksperimento rezultatai rodo, jog diskrečioji Haaro transformacija ir progresyvus vaizdų glaudinimo algoritmas EZW skaitmeninių vaizdų spaudimui nėra efektyvus. Efektyvumo didinimui pasirinktas tikslinis vaizdo spektro koeficientų modifikavimas, kas leido pasiekti kur kas geresnių kodavimo rezultatų., Digital images are widely used in computer applications. Uncompressed digital images require considerable storage capacity and transmission bandwidth. Efficient image compression solutions are becoming more critical with the recent growth of data intensive, multimedia-based web applications. In this paper, a novel locally progressive image encoding idea (procedure) is presented. The procedure explores both specific properties of Haar wavelets and the EZW algorithm originally used for progressive image encoding. Properties of various discrete transforms and areas of their practical applicability are discussed too. Preliminary experimental results show that the joint application of the discrete Haar transform and the EZW algorithm to locally progressive compression of digital images is not effective. To increase efficiency of the approach (idea), some modifications are proposed. In particular, appropriately chosen enlargement of Haar spectral coefficients led to much better overall performance, unfortunately, at the expense of time expenditures.

PLA method can be used to formally specify systems. Systems specifications are written as text, what is exhaustive and understandable, but unfortunately are not visual, and user can quickly acquaintance with the formalized system. This article presents a way to visually and quite easily write systems specifications using PLA formalization method. This article also presents a software tool to accomplish this task. That graphical editor - a subsystem of a formal complex systems integrated analysis automatization system (FSA).

Gamybos pramonės sektorius apima viena iš didžiausių ir pelningiausią rinkos sektorių pasaulyje. Norėdamos išlikti ir sėkmingai dirbti besikeičiančios konkurencinės rinkos sąlygomis, įmonės neišvengiamai susiduria su konkurencinio pranašumo didinimo poreikiu. Tuo tikslu yra kuriamos veiklos vystymo strategijos, taikoma naujų technologijų diegimas, verslo valdymo procesų tobulinimas, produktų kokybės didinimas, valdymas, kokybės reikalavimų ir standartų taikymas. Vienas iš gamybos kokybės proceso optimizavimo sprendimas gali būti RFID technologijos pritaikymas gamybos veiklose. RFID yra viena naujausių ir besivystančių technologijų, kuri pasaulyje yra pritaikoma ir naudojama įvairiose srityse. Įgyvendintas projektas ir jo pasakoje sukurta RFID sistemos modulis, bei priemonės gali būti naudojamos, ne tik su užsakovo UAB „RTech“ plėtojama „QMS“ (Quality Management Systems) programinę įrangą, bet ir kaip sąsaja tarp RFID įrangos ir vartotojo veiklos taikomosios programos. Panaudojus RFID technologas ir sąsajas su RFID technologijomis galima: • dalinai automatizuoti gamybos kokybės valdymo procesą, • padidinti efektyvumą gaminio atsekamume, • sumažinti broko kontrolę tiekiant gaminius užsakovui. Šio darbo vienas iš tikslų yra įvertinti sukurta sistemą ir ką būtu galima patobulinti, kad būtų galima padaryti lankstesne pritaikant darbui su kitomis programinės įrangos sistemomis. Darbo metu yra tiriami ir analizuojami ISO standartų RFID sistemų modeliai, bei jų pritaikymo galimybės... [toliau žr. visą tekstą], Manufactory industry is the most profitable sector of world’s market. Companies confronts with competitive market advantages to keep working successfully in continually changing market conditions. Therefore activities development strategies are created, new technologies are used in installation process, perfection of business control process, increasing quality of products, use of standards and quality requirements. The solution of these problems can be use of RFID (Radio Frequency Identification) technologies in manufacture management process. RFID is an automatic identification technology that relies on cheap tags (transponders) that can be attached to objects and storage information on it. The results of this project are RFID systems components witch can be used with other users applications such as „QMS“ (Quality Management Systems) of “RTech” company or other users applications. The successful integration of RFID technologies in manufacture quality management process can give effect in: • Automate and computerize manufacture quality management process; • Increase efficiency of product traceability system process; • Reduce rejects on product supply for consumer’s process. One of the master’s work goals is to evaluate the system, which was created in this work. The system can be improved by ISO standard models and made more flexible to use it for other works.

Šio dokumento tikslas sukurti metodus ir papildomą medžiagą, kuri leistų analizuoti ir verifikuoti "PKP Branda" modelio vertinimų rezultatus. "PKP Branda" modelis buvo sukurtas CMMI bei SPICE modelių pagrindu. Šiame darbe, panaudojant modelyje aprašytus darbo produktus (DP), buvo nagrinėjami "PKP Branda" modelio ryšiai tarp procesų. Darbo metu buvo apskaičiuoti modelio ryšiai tarp procesų, procesų svoriai, išskirti esminiai procesai. Šio darbo rezultatai gali būti naudojami kaip papildoma medžiaga analizuojant vertinimų rezultatus., The aim of this thesis is to create methods and extra material which would allow to analyze and verify the assessment results from the “PKP Branda” maturity model. "PKP Branda" model was created using CMMI and SPICE best practices. In this work relations between the ����PKP Branda” model processes were researched using work products described in the model. During this research relations between processes and their weight were calculated, essential processes were excluded. The results of this work can be used as an extra material to analyze assessment results.

Šis darbas koncentruojasi į dinamiškų interneto sistemų kūrimą. Antros kartos internetas atneša naujus reikalavimus interneto sistemoms (puslapiams). Pastoviai didėja vartotojų poreikis dirbti su dideliais duomenų kiekiais, naudojant tik paprastą interneto naršyklę. Iškyla problemų atvaizduojant didelius duomenų kiekius vartotojams. Reikalingos dinamiškos sistemos, kad vartojai lengvai galėtų dirbti su tokiais duomenų kiekiais. Tokioms sistemoms kurti buvo apibrėžta dinamiška sistema ir sukurtas dinamiškos interneto sistemos architektūros modelis. Modelis paremtas Spiar architektūra, kuri buvo perdaryta, kad padidinti sistemų dinamiškumą. Modelio veikimo patikrinimui buvo sukurta eksperimentinė sistema. Visas darbas yra padalintas į tris dideles dalis: pirma apie antros kartos internetą ir technologijas, antra – aprašomas sukurtos architektūros modelis, trečia – eksperimentinės sistemos tyrimas. Galutinės išvados: 1) Antros kartos internetas atnešė naujus reikalavimus interneto sistemoms (paprastai naudojančioms Ajax). 2) Realizuotas modelis parode, kad interneto sistemos funkcijos veikia apytiksliai greičiau tiek, kiek užtrunka pačio puslapio užkrovimas. 3) Eksperimentai parodė, kad modelis išduoda geras charakteristikas, bet jos turėtų būti pagerintos, prieš modelio panaudojimą realiose sistemose., This work is concentrated on creation of dynamic web systems. Web 2.0 brings new requirements to internet based systems (web pages). Users needs to work with large amounts of data (information) using simple web browser, are increasing very fast. So there is a problem when we need to represent this data on web page. We need dynamic systems (pages) to do it fast ant easy to operate. Dynamic system (page) is internet based system (web page), which most functions are using Ajax (asynchronous communication with server). A basic architecture model for dynamic systems (pages) is created. It is based on Spiar architecture model. Spiar model was adapted to our dynamic systems (pages). It is described in detail with static and dynamic UML diagrams. At last the real experimental system for dynamic systems model is created and analyzed. Document is divided in three main parts. The first one is about Web 2.0, its used technologies, need of Ajax and etc. The second part describes the basic architecture model for dynamic systems (pages). And the third last large part is about experimental representation of created model. At last findings of this master work are: 1) Web 2.0 has brought us demands of dynamic internet based systems (typically with Ajax). 2) Created dynamic systems (pages) model showed that performance of experimental system user interface functions is increased by about web page opening time, where the used function is. 3) Experiments results showed that the model working... [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.

Šiuolaikinis verslas naudoja didžiulį duomenų kiekį, tačiau įmonėje šie duomenys taip ir liks tik balastas, jeigu nesugebėsime jų išanalizuoti ir tinkamai interpretuoti. Tik duomenų analizė, naudojant specialius programinius įrankius, iš „žalios“ informacijos leis atrinkti naudingus grūdelius ir perdirbti juos į vertingas žinias, kuriuos taps teisingų verslo sprendimų pagrindu. Naudojant OLAP (On-line Analytical Processing) priemones, sukuriama duomenų saugykla, kuri leidžia greitai, bei patogiai analizuoti duomenis. Taip pat šis produktas leidžia analizuoti duomenis, kurie yra gauti iš skirtingų verslo valdymo sistemų, kurios yra naudojamos skirtinguose geografiškai nutolusiuose įmonės padaliniuose. Kas tai - OLAP? Šis terminas naudojamas norint apibūdinti programinius produktus, kurie leidžia visapusiškai analizuoti verslo informaciją realiuoju laiku. Sąveika su tokiomis sistemomis vyksta interaktyviai, atsakymai net į daug skaičiavimų reikalaujančias užklausas gaunami per kelias sekundes. OLAP sistemos yra vienas iš daugelio verslo analitikos (Business Intelligence) grupei priskiriamų produktų. Pasaulyje yra sukurta nemažai sistemų, priklausančių šiai produktų grupei: nuo paprasčiausių MS SQL OLAP kubų iki tokių sistemų kaip „Business Objects“, „Cognos“, Corporate Planner“, „Microstrategy“., Business use a big amount of data in our days, that data become just ballast if we incapasity to sift it. Just data mining using special software, transform data in to information. That information become reason of correct business rule. OLAP software make data warehouse, that help analyse data quick and convenient, even data are from diferent environment. OLAP technology uses measures and tools to transform and store information, create and execute queries, and generate graphic user interface. Because OLAP systems are becoming more affordable companies have to face the issue of how to choose the best product and then design and implement OLAP systems according to their business requirements. This research aims at comparing different OLAP systems at functional and data structure level in order to design and implement an OLAP system. What is OLAP? OLAP is On-Line Analitical Procesing. This term use to describe software products, thats have possibility to analyse information in real time. OLAP systems are one from a lot of Business Intelligence group products. In the worl are a lot products which are the part of this group: from MS SQL OLAP cubes to „Business Objects“, „Cognos“, Corporate Planner“ and „Microstrategy“ systems. The purpose of this work is to create and analyze the OLAP data warehouse models of large corporations.

ITIL tai eilė dokumentų, kurie naudojami siekiant padėti įdiegti IT paslaugų valdymo struktūrą. Ši individualiai pagal įmonės poreikius pritaikoma struktūra nustato, kaip paslaugų valdymas vykdomas konkrečioje įmonėje arba verslo teorija, orientuota į darbo optimizavimą bei kokybės užtikrinimą IT kompanijose. Mūsų darbo tyrimo sritis buvo modifikuoto incidentų eskalavimo algoritmas, jo modifikacija ir pritaikymas sistemoje. Bei rezultatų palyginimas su ITIL metodologija paremtu algoritmu. Tikslas – susisteminti IT ūkio sprendžiamas problemas., The Information Technology Infrastructure Library is a framework of best practice approaches intended to facilitate the delivery of high quality information technology services. ITIL outlines an extensive set of management procedures that are intended to support businesses in achieving both high financial quality and value in IT operations. Our made-up computer technology and software failure system is based on ITIL methodology. We suggested modified incidents priority lifting algorithm, which presents better row of troubles.

Magistro darbe sprendžiamos aktualios dokumentų valdymo sistemų problemos, atliekama jų kūrimo technologijų bei metodologijų analizė. Jos metu išskiriami pagrindiniai dokumentų valdymo modeliai, jų privalumai ir trūkumai bei alternatyvūs sprendimai jiems. Apžvelgiama populiariausia šiuo metu XML technologija, ir jos taikymas dokumentų valdymo sistemose, manipuliuojančiose struktūrinių dokumentų informacija, Taip pat išnagrinėtas projektuotos sistemos dokumento kontekstas knygų leidyklos procese, reikalingas reikalavimų specifikavimui. Pateikiamas knygų leidyklos dokumentų valdymo sistemos realizacijos kelias ir architektūrinis sprendimas. Darbo gale pateikiamos rekomendacijos tolesniam vystymui., Documents are very important to modern organizations. The software dealing with the management of documents and files is electronic document management. Cost reductions and quality improvements are immediate incentives. Many universal document management systems are developed for a wide use in various areas of activities, but none of them satisfied the requirements of the publishing process. Therefore the main objective of this paper is to identify the functionality of a document management system to handle the documents in a book publishing process. The thesis contains basic concepts and technologies on a scale from file hierarchy based to document model based systems are classified and analysed from a document management perspective. Also a description of document management in book publishing process, including reviews of commercial applications, book industry standards and current best practice is given. In the second half of this paper an implementation of a document management system in a book publishing process is illustrated. It covers system architecture, quality evaluation as well as sugestion for a future research.

Daugiau kaip prieš dešimtį metų pasauliniu mastu imta vis labiau akcentuoti „programinės įrangos krizę” ir ieškoti adekvačių priemonių jos įveikimui. Tyrimais nustatyta, kad vos keli procentai sukurtos programinės įrangos yra naudojama. Be to, daugelio programinės įrangos projektų faktiniai kaštai ir terminai net kelis kartus viršija planinius. Programinės įrangos kūrimo problemų (kainos, laiko, kokybės) sprendimo bandymai technologinėmis priemonėmis priminė kovą su vaiduokliu, ieškant stebuklingos sidabrinės kulkos tam vaiduokliui nušauti, ir nedavė laukiamų rezultatų[24], todėl vis didesnis dėmesys skiriamas organizacinių ir metodinių aspektų nagrinėjimui. Buvo suprasta, kad programinės įrangos kokybė tiesiogiai priklauso nuo jos kūrimo proceso kokybės. Per dešimtmetį buvo sukurta nemažai modelių, kurie specifikuoja gero programų kūrimo proceso charakteristikas. Keletas iš jų tapo de facto standartais[5], o kai kurie įteisinti ir juridiškai kaip tarptautiniai arba atskirų valstybių standartai. Programinės įrangos proceso vertinimui, analizei ir tobulinimui yra įrankiai, paremti populiariausiais programų kūrimo proceso vertinimo modeliai. Populiariasi yra du modeliai: CMMI, sukurtas SEI (Software Engineering Institute)[10] instituto, bei ISO/IEC 15504 standartas, sukurtas ISO (International Organization of Standartization) bei IEC (InternationalElectrotechnical Commission)[11]., Enteprise maturity assessment and analysis tool based on different models Software development teams are confronted with difficulties such as incorrect planned financial and time resources, low product quality and disappointed client. To solve those problems there are methodic and tools to improve software process capability. Tools for software process capability maturity assessment and support are implemented by particular models. Basic supported models are CMMI and ISO/IEC 15504 (SPICE). CMMI model is based on ISO/IEC 15504 standard. CMMI and ISO/IEC 15504 models are compatible. Software process capability maturity assessment quality should increase by using both models together. Consequently was decided to develop a tool supporting two models – CMMI and ISO/IEC 15504.