|
|
Generator of Test Runs over GUI
Sojčák, Juraj ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Graphical user interfaces represent significant part of computer systems. This causes an increase of demands for their proper behavior, which can be achieved by a proper testing during development. This thesis describes the principles of model based testing for automated generation of test cases. In this way, the productivity of test teams can increase. The thesis defines model for modeling the most common GUI elements, algorithm for obtaining such a model from the GUI, and a tool for definition of coverage criteria.
|
|
|
Model-Based Testing of JBoss Drools
Široký, Petr ; Holík, Lukáš (referee) ; Letko, Zdeněk (advisor)
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
|
|
|
Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata
Krajňák, Martin ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Cieľom tejto práce je vývoj nástroja na automatické generovanie testov pre aplikácie s grafickým užívateľským rozhraním v~prostredí GNOME. Na generovanie testov sú použité metadáta asistenčných technológií, konrétne AT-SPI. Navrhnutý generátor testov využíva dané metadáta na vytvorenie modelu testovanej aplikácie. Model mapuje sekvencie udalostí, ktoré generátor vykoná na testovanej aplikácii počas generovania testov. Súčasťou procesu generovania je zároveň detekcia závažných chýb v testovaných aplikáciách. Výstupom procesu generovania sú automatizované testy, ktoré sú vhodné na regresné testovanie. Funkčnosť implementovaného generátora testov bola úspešne overená testovaním 5 aplikácií s otvoreným zdrojovým kódom. Počas testovania aplikácií navrhnutým nástrojom sa preukázala schopnosť detekovať nové chyby.
|
|
|
Study of biodrying technology for MSW
Pilnáček, Vojtěch ; Benešová, Libuše (advisor) ; Innemanová, Petra (referee)
Main objective of the work was to design and construct a model biodrying reactor and to try out two aeration regimes. Additional objective was to asses usability of the process for Czech waste. Model reactor was successfully designed, constructed and put into operation. Two different aeration regimes were examined: regime controlled by oxygen concentration and regime controlled by temperature in upper layer of the reactor. Better results in light of net calorific value and moisture elimination had regimes controlled by temperature in upper layer of the reactor. In light of energy budget regime controlled by oxygen concentration n. 2 performed better. Results strongly depend on composition of waste (organic fraction content) and ambient air moisture. On the basis of these results new interesting questions arise. Czech waste is energetically usable for processing by biodrying. From economic point of view insufficiency of market for produced fuel is a main problem.
|
|
|
Automated Generation of Tests for GNOME GUI Applications Using AT-SPI Metadata
Krajňák, Martin ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
Cieľom tejto práce je vývoj nástroja na automatické generovanie testov pre aplikácie s grafickým užívateľským rozhraním v~prostredí GNOME. Na generovanie testov sú použité metadáta asistenčných technológií, konrétne AT-SPI. Navrhnutý generátor testov využíva dané metadáta na vytvorenie modelu testovanej aplikácie. Model mapuje sekvencie udalostí, ktoré generátor vykoná na testovanej aplikácii počas generovania testov. Súčasťou procesu generovania je zároveň detekcia závažných chýb v testovaných aplikáciách. Výstupom procesu generovania sú automatizované testy, ktoré sú vhodné na regresné testovanie. Funkčnosť implementovaného generátora testov bola úspešne overená testovaním 5 aplikácií s otvoreným zdrojovým kódom. Počas testovania aplikácií navrhnutým nástrojom sa preukázala schopnosť detekovať nové chyby.
|
|
|
Generator of Test Runs over GUI
Sojčák, Juraj ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
Graphical user interfaces represent significant part of computer systems. This causes an increase of demands for their proper behavior, which can be achieved by a proper testing during development. This thesis describes the principles of model based testing for automated generation of test cases. In this way, the productivity of test teams can increase. The thesis defines model for modeling the most common GUI elements, algorithm for obtaining such a model from the GUI, and a tool for definition of coverage criteria.
|
|
|
Study of biodrying technology for MSW
Pilnáček, Vojtěch ; Benešová, Libuše (advisor) ; Innemanová, Petra (referee)
Main objective of the work was to design and construct a model biodrying reactor and to try out two aeration regimes. Additional objective was to asses usability of the process for Czech waste. Model reactor was successfully designed, constructed and put into operation. Two different aeration regimes were examined: regime controlled by oxygen concentration and regime controlled by temperature in upper layer of the reactor. Better results in light of net calorific value and moisture elimination had regimes controlled by temperature in upper layer of the reactor. In light of energy budget regime controlled by oxygen concentration n. 2 performed better. Results strongly depend on composition of waste (organic fraction content) and ambient air moisture. On the basis of these results new interesting questions arise. Czech waste is energetically usable for processing by biodrying. From economic point of view insufficiency of market for produced fuel is a main problem.
|
|
|
Model-Based Testing of JBoss Drools
Široký, Petr ; Holík, Lukáš (referee) ; Letko, Zdeněk (advisor)
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
|
guest ::
