Nevyriausybinių organizacijų įvaizdis kaip simbolinis kapitalas Viktorija Voitechovič Santrauka Šio darbo objektas yra nevyriausybinių organizacijų įvaizdis. Darbo tikslas – išanalizuoti ir pristatyti nevyriausybinių organizacijų įvaizdį, kaip turintį didelę įtaką kitų organizacijos resursų kiekiui ir galimybei juos konvertuoti simbolinį kapitalą. Siekiant įgyvendinti pagrindinį darbo tikslą, keliami tokie uždaviniai: pateikti teorinę nevyriausybinių organizacijų, nagrinėjant jas kaip socialinį tinklą, įvaizdžio kaip simbolinio kapitalo sampratą; pateikti nevyriausybinių organizacijų įvaizdžio analizę, panaudojus A. Keller ir I. Trimurič adaptuotą įvaizdžio įvertinimo matricinio modelio metodą; išaiškinti įvaizdžio įtaką kitų organizacijos resursų kiekiui ir galimybei juos konvertuoti. Įgyvendinant uždavinius pasiekiami tokie darbo rezultatai: teorinis nevyriausybinių organizacijų, nagrinėjant jas kaip socialinį tinklą, įvaizdžio kaip simbolinio kapitalo pristatymas ir pagrindimas, dviejų nevyriausybinių organizacijų įvaizdžio tyrimo analizė, kuri įgalina pamatuoti ir įvertinti šių organizacijų turimą simbolinį kapitalą bei jo įtaką kitų organizacijos resursų kiekiui ir galimybei juos konvertuoti. Darbe taikomi mokslinių publikacijų analizės, apklausos bei įvaizdžio analizės matricinio modelio metodai. Nevyriausybinių organizacijų įvaizdžio analizė atlikta A. Keller ir I. Trimurič adaptuoto įvaizdžio įvertinimo matricinio modelio – Mc Kinsey matricos analogo – pagrindu... [toliau žr. visą tekstą] / Nogovernmental organizations’ image as simbolic capital Viktorija Voitechovič Summary The object of the current work is the image of nongovernmental organizations. The goal is to analyze and present the image of nongovernmental organizations as an element that influences other organizations’ resource quantity and the ability of conversion to the symbolic capital. To achieve the main goal of this paper work, certain tasks are revealed; to present a theory social capital image conception, describing the organizations as a social net; to present the mentioned analysis using A. Keller and I. Trimurich adopted matrix evaluation model method; to clarify the image impetus on organization’s other resources quantity and the opportunity to convert the latter. For realizing these tasks of this work such results were achieved: the presentation and grounding of a theory social capital image conception, describing the organizations as a social net, two organizations’ image research analysis obliging to measure and evaluate organizations’ symbolic capital and its’ impetus on other organizations’ resources quantity and the opportunity to convert the latter. In this paper work there are used publication analysis, questioning and image analysis matrix model methods. The analysis of nongovernmental organizations’ image is provided by A. Keller and I. Trimurich adopted image evaluation matrix model - Mc Kinsey matrix analogue. For achieving the goal, realizing the tasks and to obtain results... [to full text]

In this work is analysed problem – younger and older teenager and young adult visual thinking peculiarities and education. Objective of this research is to find younger and older teenager and young adult visual thinking peculiarities and provide recomendation for education of visual thinking. Research task: 1. To analyse visual thinking development singularities in nonfiction education and psichological literature. 2. Compare younger and older teenager and young adult visual abstractiveness level. 3. Compare younger and older teenager and young adult colow expression of images expressing notions: „happyness“, „anger“, „fear“, „sorrow“, „fault“, „shame“. 4. Compare younger and older teenager and young adult expression using shapes of theese notions („happyness“, „anger“, „fear“, „sorrow“, „fault“, „shame“). In this work used theese methods of objective: analyse of science literature, grapic objective, that is drawing task, data – processing using PC (SPSS package), statistics. I have used graphic research methodology provided by D. Jurkšaitė (1982): using colors and shapes express six notions („happyness“, „anger“, „fear“, „sorrow“, „fault“, „shame“). In this research used these colors: yellow, orange, pink, red, hirsch, light blue, blue, purple, salad-bowl, green, brown, black. Task perform time infinitive. In objective attendanced 150 respondents, in three age groups: 50 younger teenagers, 15-16 years, 50 older teenagers,18-21 years and 50 young adults, 22-27 years... [to full text]

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

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.