Magistro darbo tema „Automatizuoto žinių patikrinimo ir vertinimo priemonių lyginamoji analizė“. Tema aktuali, nes paskutiniuoju metu aktyviai vystoma neakivaizdinio mokymo(si) alternatyva – nuotolinis mokymas(is). Vienas iš būtiniausių nuotolinio mokymo(si) elementų yra efektyvi žinių patikrinimo sistema, kurios labiau perspektyvi forma yra testavimas. Šiame darbe yra lyginamos automatizuoto žinių patikrinimo ir vertinimo priemonės, siekiant išaiškinti efektyvias priemones, atitinkančias visus vertinimo kriterijus, tinkančias įvertinti tiksliųjų mokslų žinias bei jų pritaikymą. Šio darbo uždaviniai yra įvertinti kelias Lietuvoje plačiai naudojamas virtualiąsias mokymo(si) aplinkas ir remiantis šio tyrimo vertinimo rezultatais pasirinkti tinkamą nuotolinio mokymo(si) kursui bei žinių patikrinimui ir vertinimui aplinką, atlikti pasirinktos virtualios mokymo(si) aplinkos išplėtimą, panaudojant grafinio testavimo aplinką. Palyginus automatizuotas žinių patikrinimo ir vertinimo priemones bei priemones, esančias virtualiose mokymo(si) aplinkose, galima daryti išvadą, kad tiksliųjų mokslų žinių ir gebėjimų patikrinimui ir vertinimui tinka virtualiosios mokymo(si) aplinkos išplėtimas grafine testavimo sistema. Tokia sistema tinkama automatizuotam tiksliųjų mokslų žinių patikrinimui ir vertinimui. / The topic of this master paper is “Comparative analysis of the automatic mark testing and assessment tools”. Lately, distance learning as an alternative of correspondence learning has been actively developed. One of the most obligatory elements of distance learning is an effective knowledge examination system the most perspective form of which is testing. This paper presents the comparison of automatic mark testing and assessment tools in order to find out the effective tools complying with all assessment criteria and being suitable for assessing exact science knowledge and its application. The tasks of this paper are to assess several virtual learning environments widely used in Lithuania and based on the results of this analysis to select the environment suitable for distance learning course, knowledge examination and assessment as well as to perform the extension of the selected virtual learning environment, using graphical testing environment. Having compared the automatic mark testing and assessment tools as well as the tools available in virtual learning environment, it is possible to draw a conclusion that virtual learning environment extension by the graphical testing system is suitable for exact science knowledge and skills examination and assessment. Such system is suitable for automatic exact knowledge examination and assessment.

Duomenų bazių našumo analizė yra viena iš pagrindinių siekių programinės įrangos testavimo srityje šiuo metu. Atliekant tyrimus sukurta nemažai metodikų, kurios leidžia nustatyti duomenų bazių našumo lygį. Tačiau priemonės sukurtos remiantis šiomis metodikomis yra prieinamos dažniausiai tik uždaroms bendruomenėms. Šiame darbe yra nagrinėjama duomenų bazių našumo tyrimo metodika, pagrįsta programinės įrangos apkrovos ir stresinio testavimo principais. Sukurtas įrankis suteikia vartotojui galimybę atlikti duomenų bazių našumo tyrimo scenarijus, bei pakartotinai atlikti istorinius scenarijus ir palyginti gautus rezultatus. Formuojamos ataskaitos pateikia daug svarbios informacijos skirtos analizei. / The analysis of the database performance is the common challenge in the nowadays software testing. There are several methodologies of the analysis of the database performance in the market. However, tools, which are based on these methodologies, are available for the narrow circle of the privileged persons. According to the results of the analysis, this master thesis investigates a new methodology, which is based on several other methodologies. The methodology of the database performance audit, which is discussed in this project, is based on the principles of the software load and stress testing. In order to identify the issues of database performance, values of the performance parameters are registered. These values are counted during the execution of the scenario of the automatic scenarios. The user has the possibility to re-execute historical scenarios and to compare the results of the separate executions. Generated reports with the deep data level facilitate the analysis of the database performance.

Magistriniame darbe supažindinama su programinio produkto kūrimo bei tobulimino procesu. Trumpai aptariama kiekviena jo stadija: analizė, projektavimas, programavimas bei testavimas. Pristatomos problemos, su kuriomis dažniausiai susiduria programinės įrangos kūrėjai: defektų gausa, jų prevencija, tinkamiausio testavimo įrankio parinkimas. Darbe supažindinama su tradicinėmis "juodosios" bei "baltosios" dėžės testavimo strategijomis. Aptariami jų privalumai ir trūkumai, nurodomi atvejai, kai vieno ar kito metodo taikymas programinės įrangos testavimui leidžia mažiausiomis laiko sanaudomis gauti efektyviausią rezultatą. Pasinaudojus šiomis testavimo savybėmis, magistriniame darbe pateikiamos dvi sukurtos schemos, leidžiančios efektyviai parinkti testavimo metodą, kiekvieno programinio produkto testavimui. Magistriniane darbe apžvelgiamos šiuo metu rinkoje esančios defektų valdymo bei testavimo sąlygų valdymo sistemos. Aprašomos jų funkcijos bei trūkumai. Pateikiam išvada, jog nėra produkto apimančio testavimo sąlygų valdymą ir suteikiančio programinės įrangos kūrimo grupei informaciją apie: programoje esančių defektų skaičių(procentą), kritinių klaidų skaičių, viršytą projekto laiką ir t.t. Pristatomas pagrindinis magistrinio darbo tikslas - suprojektuota defektų analizės sitema(DAS). DAS - universali sistema, pagal nustatytus programinės įrangos defektus suteikianti produkto kūrimo bei tobulinimo komandai informacija apie: nuolat pasikartojančias klaidas, atskiruose programos... [toliau žr. visą tekstą] / Master work introduce us to the software delevoping process. In short there are discussed every stage of this process: evaliuation, designing, programing and testing. Showing the problems that often repeats during the software developing process: huge amount of bugs and the metods how to prevent the software of them. In work there is viewing about most popular black box and white box testing strategies their pross and cons. Considering this there were made two schemas which can help tester to choose which testing algoritm he need to use in case to found as more bugs as it is posible. In master work there is talking about most popular bugtrackig and test case management software. Considering about their merits and demerits. As the final goal of master work there is information about bugs analysis system which can help and support software developing group by giving information to all needed questions: can the software be given to the user, hom many bug it has and so on. At the end of the work there is a short future vision how this bugs analysis system could be fitted into a real software developing process and how it can be inproved.

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.

This master thesis analyses principle manufacturing order design and management methods and schemas. They are practicaly applied in developing software for product‘s graphical-informational model management, feature management, technological data and rules specification and description, product‘s material list creation and estimation. The developed software is suited for both large and small manufacturing corporations, that specializes in plastic or wooden windows, doors, garage gates, glass fillings production. The system may be adjusted to various manufacturing technologies. These software development methods and technologies were applied during system design and implementation: Dynamic System Development Method (DSDM), Object Oriented (OO) Design and Programming, Component Based System Engineering Method (CBSE), Computer-Aided Design/Computer-Aided Manufacturing Methods, eXtensible Markup Language (XML). Created software was tested with real technological data. Systems suites functional and non-functional specifiaction. Experimets show that the product is more flexible than it‘s previous version.

Projekto tikslas – sukurti sistemą, skirtą schemų testinių atvejų atrinkimui naudojant „juodos dėžės“ modelius ir jiems pritaikytus gedimų modelius. Vykdant projektą buvo atlikta kūrino būdų ir technologijų analizė. Sistemos architektūra buvo kuriama atsižvelgiant į reikalavimą, naudoti schemų modelius, kurie yra parašyti c programavimo kalba. Buvo atlikta schemų failų integravimo efektyvumo analizė, tiriamos atsitiktinio testinių atvejų generavimo sekos patobulinimo galimybės, "1" pasiskirstymo 5taka atsitiktinai generuojam7 testini7 atvej7 kokybei. Tyrim7 rezultatai: • Schemų modelių integracijos tipas mažai įtakoja sistemos darbą. • Pusiau deterministinių metodų taikymas parodė, jog atskirų žingsnių optimizacija nepagerina galutinio rezultato. • "1" pasiskirstymas atsitiktinai generuojamose sekose turi įtaką testo kokybei ir gali būti naudojamas testų procesų pagerinimui. / Project objective – to develop a system, which generates functional tests for non-scan synchronous sequential circuits based on functional delay models. During project execution, the analysis of design and technology solutions was performed. The architecture of the developed software is based on the requirement to be able to use the models of the benchmark circuits that are written in C programming language. Analysis of the effectiveness of the model file integration, possibilities of improving random test sequence generation and the influence of distribution of „1“ in randomly generated test patterns was performed. The results of the analysis were: • Type of the model file integration has little effect when using large circuit models. • The implementation of semi deterministic algorithms showed that the optimisation of separate steps by construction of test subsequences doesn’t improve the final outcome. • The distribution of „1“ in randomly generated test patterns has effect on the fault coverage and can be used to improve test generation process.