Testavimo procesą galima gerinti jį optimizuojant. Vienas iš galimų gerinimo būdų yra vienetų testai. Vienetų testai padeda sumažinti klaidų kiekį nuo 20 % iki 90 %, tačiau tuo pačiu programų kūrimo išlaidos gali padidėti apie 30 %. Vienas iš galimų būdų išlaikyti pasiektą vienetų testų efektyvumą ir palaikyti mažą kainą yra automatinis jų generavimas. Vienetų testų generatorius, generuoja vienetų testus remdamasis OCL apribojimais. Generatorius JAVA programiniame kode įterptus apribojimus generuoja į Junit vienetų testus. / The development of modern software is a difficult process, there is a high possibility to leave uncorrected mistakes in the software, it would be more precisely to say that it is impossible to make software without bugs. Software testing is maybe the biggest part of development process. The unit testing is very powerful testing. It prevents from defects 20% and more [1]. The quality increase came at a cost of approximately 30% more development time. The main goal is create generator for unit testing. Automated test generator can reduce development time. Unit test generation is based on the OCL (Object Constraint Language) and software static model. OCL eliminate a test oracle problem. Software static model can be UML a class diagrams, but it very complicated approach. We use a reflection technology, because it is more precise and better today. Also OCL constrains are inserted in code.

IT industry all time is looking for ways to improve software development productivity as well as the quality and longevity of the software that it creates. OMG announced Model Driven Architecture as its strategic direction. It is software development methodology that provides new viewpoint in software development process. The modeling of problem domain and model transformation are key elements of MDA architecture and they are analyzed in this work using OMG specifications and other resources. The purpose of this work is to evaluate benefits of MDA framework in software development process. The new MDA framework is developed according to the results of MDA architecture analysis. Experimental usage of new MDA framework concentrates on productivity of software development process, automation of repeated tasks and required skill set of application developers.

Technologijų plėtojimas leidžia vis labiau vystytis sudėtingų elektroninių sistemų produkcijai. Visos šios sistemos turi būti patikrintos ir ištestuotos tam, kad užtikrinti tikslų jų funkcionavimą. Kai sistemų sudėtingumas didėja, testavimas tampa vienas iš svarbiausių faktorių nustatant galutinę produkto kainą. Žinomų žemo lygio metodų, skirtų techninės įrangos testavimui, nepakanka ir daugiau darbo turi būti atlikta abstrakčiame lygyje pradiniuose projektavimo etapuose negu klasikiniame ventiliniame ir registrų perdavimo lygiuose. Realizuotas algoritmas, kuris atsitiktinai generuoja įėjimo poveikį, pagal programinio prototipo modelį paskaičiuoja poveikio reakciją ir iškraipant po vien��� įėjimo poveikio signalo reikšmę apibrėžia galimus išėjimų loginių funkcijų termus. Nagrinėjant kitus įėjimo poveikius apibrėžti išėjimų loginių funkcijų termai patikslinami išmetant dalinius termus. Atsitiktinai sugeneravus ir išnagrinėjus daug įėjimo poveikių gaunami galutiniai išėjimų loginių funkcijų termai. Algoritmas negarantuoja , kad bus gauti visi ir tikslūs išėjimų loginių funkcijų termai, bet gauti termai gali būti naudojami testų generavimui. Gauti išėjimų loginių funkcijų termai užrašomi kartu su įėjimo poveikiu, pagal kurį termas buvo nustatytas, ir patys paskaičiuoti termai jau gali būti naudojami kaip tikrinantys testai. Gauti rezultatai galės būti panaudoti tolimesniems tyrimams: schemų testavimui, defektų šalinimui, funkcijos elementų palyginimui, algoritmo gerinimui... [toliau žr. visą tekstą] / The technological development is enabling production of increasingly complex electronic systems. All those systems must be verified and tested to guarantee correct behavior. As the complexity grows, testing is becoming one of the most significant factors that contribute to the final product cost. The established low-level methods for hardware testing are not any more sufficient and more work has to be done at abstraction levels higher than the classical gate and register-transfer levels. Realized algorithm, which random generates inputs, computes reaction based on software prototype model and deforming values of inputs one by one determines possible terms of logical functions. Analyzing other inputs determined terms of logical functions are corrected by eliminating partial terms. After random generating and analyzing a lot of inputs terminal terms of logical functions are derived. Algorithm doesn’t guarantee that all and exact terms of logical functions are obtained but those terms could be used when generating test vectors. Derived terms of logical functions’ outputs are recorded with input that formed them and following terms can be used as inspecting tests. Collected results can be used for further researches: schemes testing, defect detection, comparing elements of logical function, improving algorithm. Main aspects of design are introduced. Experimental accurateness of results and factors (initial number of random generated test vectors, improvement coefficient, maximum... [to full text]

Šiame darbe apžvelgtos įvairios trimatės galerijos ir jų kūrimo principai. Atlikta programų ir įrankių, skirtų galerijoms kurti, analizė. Atlikta VRML programavimo kalbos galimybių ir jos taikymų trimatės grafikos sistemose analizė. Supažindinama su šablonų generavimo būdais. Atlikta įskiepų, skirtų trimačių galerijų naršyklėse peržiūrai, analizė. Panaudojant ArchiCad projektavimo įrankį ir VRML kalbą, sukurtas trimatis galerijos šablonas. / This paper reviews various three – dimensional galleries and their development principles. There was made an analysis of programmes and tools, which were designed for the creation of galleries. The analysis was also made of VRLM programming language – its options and applications in three–dimensional graphics systems. This work acquaints with methods of template generation. There was made an analysis of plugins, which are intended for the viewing in the browsers of three–dimensional galleries. There was created the three–dimensional template of the gallery, by using ArchiCad and VRML design tool.

During development of information system, we have problems to choose appropriate architecture, technologies and methods. The conception of information system, designing methods, problems, related with information system development is given in this work. There are mentioned the main security requirement for hospital information system. We analyze created system “Information system of psychophysiology rehabilitation patients”. There are mentioned the main cases why client/server architecture, new technology adaptation were selected. The comparison of methods for data interface realization: PL/SQL language written in stored procedures and query generation is given. The selected method rating - how it speed system developing and how it influence system performance are evaluated. There are given experiments, which decrease system performance by selected methods.

Dėl didėjančio integrinių schemų sudėtingumo ir darbinių dažnių vėlinimo gedimų nustatymas tampa svarbia schemų kūrimo dalimi. Programiniai schemų prototipai leidžia atlikti schemų testavimą ankstyvojoje stadijoje. Šiame darbe yra pateikiama vėlinimo gedimų nustatymo metodų analizė ir jų palyginimas. Tyrimo objektu pasirinktas perėjimo gedimų modelis. Dokumente aprašomas AntiRandom metodo pritaikymo galimybės funkcinių testų generavimui. Taip pat yra trumpai apžvelgiami egzistuojantys sprendimai rinkoje. Projektavimo skyriuje yra aprašoma suprojektuota ir realizuota sistema, kuri susideda iš dviejų posistemių: funkcinių testų generatoriaus bei rezultatų kaupimo ir analizės posistemės. Funkcinių testų generatoriuje realizuoti du atsitiktinio ir AntiRandom metodai. Paskutinėje dokumento dalyje yra pateiktas atliktas eksperimentinis tyrimas su realizuota sistema. Taip pat yra pateikiami eksperimentinio tyrimo metu pasiekti rezultatai bei padarytos viso darbo išvados. / The increasing complexity of integrated circuits and operating frequency led delay fault identification to become an important part of the schemes development. Software prototypes allow to start testing phase at an early stage. This work covers the delay fault detection method analysis and comparison. For the study is selected transition fault identification. The paper describes the AntiRandom method and customization possibilities for the functional test generation. There is also a brief overview of an existing solutions on the market. The design section describes the designed and implemented system which consists of two subsystems: functional tests generator and results storage and analysis subsystem. Functional test generator has two random methods and customized AntiRandom method. The last part of the document covers an experimental study for the created system. It consists of results of the experiments and conclusions of the whole work.

Recently three-dimensional graphics is being applied in many fields. It is used in geodesy, topography and architecture as well. There are a lot of programs for the work with 2D and 3D graphics in the world. Most of them are related by CAD name. It could be mentioned such production of graphic software „giants“ like Autodesk (AutoCAD, Map 3D ) or Graphisoft (ArchiCAD). The aim of our work is the program which main function is the generation of three-dimensional city. Obviously this could be done using programs mentioned above, but the assimilation of such program needs much time and money. Therefore, if we need only to generate 3D city, our program is suitable for this. Our program quickly retrieves topographic data of the city and generates its 3D view. The program is not overloaded with unnecessary functions. It makes the program easy to understand and assimilate for the user who has minimal knowledge in design and modelling.

Semantika informacinių technologijų kontekste yra duomenų apdorojimas pagal prasmę ir kontekstą. Tam įgyvendinti yra taikomas natūralios kalbos apdorojimas, pritaikytas informacijos paieškai, išrinkimui, analizavimui.Taikant semantines technologijas, kūrėjams dažnai kyla klausimas, kaip sukurti semantinės paieškos sąsają, kad ji būtų patogi ir duotų kuo tikslesnius atsakymus į vartotojų užklausas. Šiame darbe aprašomas sukurtas metodas, kuris padeda vartotojui palaipsniui formuoti SPARQL užklausą iš atskirų elementų, dinamiškai keičiant vartotojo sąsają. / Increasing popularity of Semantic Web raises a question how we could make a simple user interface for building semantic queries while keeping high precision of results returned. This thesis presents a method that helps users to create SPARQL queries by allowing to dynamically add components to user interface. The goal of the work is to improve of user interface model for semantic queries by allowing users to construct and change it dynamically till obtaining the desirable answer results. That model was created on the base of analysis of Semantic Web languages, tools and existing portals, their functions and user interfaces. Algorithms for dynamic user interface generation based on user actions were developed that allow creating queries of various complexities with minimal amount of user interface components. Implementation and testing the prototype of the system using movie and wine ontologies has shown that dynamic construction and generation of query interface has desirable functionality and is easily applicable to various ontologies. Experimental comparison with existing semantic search portals has shown that the proposed dynamic user interface generation method could improve precision and recall of semantic queries and may be applied in semantic search portal applications.

The recent version of UML 2.0 (in year 2006) specifies activities and actions, which allow describing low level behavior of software system being modeled, in implementation independent fashion. This work analyzes suitability of UML 2.0 activities and actions for generating full program code (or as many as possible). It also proposes a method for generating program code from UML 2.0 activities and actions, which consists of a way to express UML activities with concurrently executing actions in a sequential execution scenario and a way to determine the exact code template (among the few possible) for UML activity elements based on identifying the particular context of element in question.

Šiame darbe analizuojama MDE programų inžinerijos metodai, o taip pat OMG MDA ir Microsoft DSL Tools. MS DSL Tools - tai galingas priedas prie MS Visual Studio 2005, skirtas taikymo srities kalbų metamodelių kūrimui ir grafinių aplinkų darbui su jomis generavimui. Taip pat galima sukurti tekstinų šabloną, kuris gali transformuoti duotą modelį į programinį kodą. Darbe aprašomas sukurtas modeliavimo kalbos metamodelis. taip pat aprašoma tekstinių šablonų kalba, skirta modelių trasformacijom kurti. / This paper analyses MDE approach to software engineering as well as OMG’s MDA and Microsoft DSL Tools. MS DSL Tools are a powerful addition to MS Visual Studio 2005 for creating your own Domain Specific Language metamodels and generating IDEs for working with it. Then you can make a text template to transform your model directly into code. The work describes developed aggregate modeling language metamodel. It also explains text template language for model transformations. The research also includes analysis of the possibility to use model transformations to generate code for data acquisition form database.