Testing Graphical User Interfaces with Property-Based Testing

Before a software product is released, it has to be verified that the product works as it should. Graphical User Interfaces (GUI) need to be tested like any other software products. The purpose of testing GUIs is to detect defects but also unexpected behaviour of a GUI. In 2000 John Hughes and Koen Claessen introduced a new software testing technique: \textit{Property-Based Testing} (PBT). In this testing technique the functionality of the system under the test is defined as properties. Properties are like rules for the features under test. A property defines a relation between input and output that should always hold for all inputs. A property is tested by generating a large number of inputs for which the property is tested. The goal of this thesis is to explore if PBT is applicable to UI testing. We formulate properties that describe the rules that a GUI should follow, then apply PBT and investigate whether defects could be exposed this way. We also explore whether PBT solves any of the challenges of UI testing, in particular whether test coverage can be increased by using PBT. As its results, this thesis shows that PBT can be applied in GUI testing and that there are defect classes that might not be detectable by traditional testing methods, but can be found using PBT

Arbetsinstruktion för maskinell plantering

Se även: Koneellisen metsänistutuksen opasInstruktionen har tagits fram i utvecklingsprojektet ”Teknologialla tehokuutta metsänhoitoon – koneellisen istutuksen laaja käyttöönotto”. Projektets mål är att effektivisera skogsvården genom att öka maskinell plantering. Det riksomfattande projektet är ett samarbete mellan Finlands skogscentral och Skogsforskningsinstitutet. Projektet finansieras av Närings-, trafik- och miljöcentralen i Tavastland

Luovan ihmisen juoksukoulu : Työkaluja luovan alan pienyrityksen kehittämiseen ja johtamiseen

Tarkastelemme opinnäytetyössämme sitä, miten luovan alan yrityksen ydintoimijat, luovat ihmiset, taiteen ammattilaiset, saataisiin toimimaan tuloksekkaammin. Koimme jonkin olevan vialla: teemme paljon työtä, mutta saavutamme yllättävän vähän taloudellista hyötyä. Mutta mikä olisi ratkaisu? Keskitymme luovaan alaan ja taiteilijuuteen siksi, että se on meille tuttu kenttä ja esimerkeissämme ovat luovalta alalta, omasta yrityksestämme. Opinnäytetyömme paikallistaa luovan alan organisaation toiminnan kipupisteet ja pyrkii etsimään konkreettisia ratkaisuja ongelmiin. Aluksi esittelemme opinnäytetyömme toimintaympäristön: taustoitamme kysymyksenasettelua luomalla silmäyksen luovaan alaan ylipäänsä. Seuraavaksi pohdimme elokuva-alan erityispiirteitä ja miten ne näkyvät omassa organisaatiossamme. Käymme myös läpi esimerkkien kautta, millaisia luovia ihmisiä omassa ydintiimissämme on, ja miten heitä tai itseämme tällä hetkellä johdamme. Kolmannessa luvussa rajaamme tutkimusongelman niin, että innovaatiotyö tuottaa vähitellen myös arvonlisäystä yritykselle. Tutkimme havainnoivan toimintatutkimuksen menetelmin omaa organisaatiotamme ValoAurinko-konsernia. Neljäs luku esittelee käyttämämme tutkimusmenetelmän ja aineiston ja viidennessä luvussa esitämme ratkaisumallin siihen, miten luovaa ihmistä johdetaan. Ratkaisumallimme on Luovan ihmisen juoksukoulu. Juoksukoulu sisältää konkreettisia työvälineitä luovista yksilöistä koostuvan, innovaatiosta liiketoimintaa tekevän yrityksen johtamiseen. Lopuksi pohdimme, mitä työvälineitä olemme jo ottaneet itse käyttöön, miten ne ovat vaikuttaneet työhömme ja toimintaamme sekä miten kehittämisprosessimme näkyy organisaatiossamme 14 kuukautta kehittämishankkeen aloittamisen jälkeen, maaliskuussa 2013.In this thesis the authors have examined how Creative businesses’ core players, who are also creative art professionals, are able to work efficiently. The question arose from the authors’ professional experiences in the field of film making. The organization of the authors, ValoAurinko group, has been studied with the observational methods of Action Research. Something was wrong, as the work that was produced in ValoAurinko group achieved surprisingly little economic benefit. What could be the solution? This thesis is focused upon what is most familiar to the authors: their specific company, the creative sector, and artists. That is also why the example cases are from creative industry. This thesis indicates the weaknesses of a creative sector organization. In the development process the authors try to find concrete solutions to the problems the creative artists face. The operational environment of the researches is presented at first: the background of the issues and the creative sector in general are described. Next, the film industry’s characteristics are observed, and how they are realized in ValoAurinko group. The core team’s creative people and the current management structure are shown through exam-ples. In the third chapter the research problem is limited in such a way that the innova-tive work of producing gradually increases the value of the company. The fourth chap-ter reveals the testing methods and materials, and the fifth chapter presents an approach to how creative people can be directed The solution for correcting and improving an organization’s weaknesses is The Running Training Programme for Creative People. The Running Training Programme includes easy-to-use tools for the operations of a company's management. These tools are meant for creative individuals who work in the field of creative business. Finally, the tools are clearly described. This study concludes by describing the tools the authors have already used in their own company and how these tools have successfully contributed to their work and business. The last chapter demonstrates how the development process pro-gressed in the author’s organization leading up to March 2013, fourteen months after the initiation of the development project

Comparative study of the Risutec Automatic Plant Container (APC) and Bracke planting devices

201

Vertaileva aikatutkimus Risutec APC- ja Bracke-istutuslaitteista

TutkimusselosteSeloste artikkelista: Laine, T. & Saarinen, V.-M. (2014). Comparative study of the Risutec Automatic Plant Container (APC) and Bracke planting devices. Silva Fennica vol. 48(3), article id 1161.201

A survey of the Finnish mechanized tree-planting industry in 2013 and its success factors

201

Perehdytyskansio Hyvinvointi- ja kokoushotelli Tallukalle

Tämän opinnäytetyön tavoitteena on tuottaa perehdytyskansio Hyvinvointi- ja kokoushotelli Tallukalle. Työn tarkoituksena on tehdä kansio uuden työntekijän perehdytykseen sekä työn tueksi jo pidempääkin talossa olleille työntekijöille. Tavoitteena on tehdä kansiosta selkeä, helppokäyttöinen ja helposti päivitettävä. Kansion ensisijaisena tehtävänä on auttaa uusia työntekijöitä pääsemään alkuun työssään. Tämä opinnäytetyö on toiminnallinen. Sen toimeksiantaja on Vääksyssä toimiva Hyvinvointi- ja kokoushotelli Tallukka. Opinnäytetyön teoreettinen osuus käsittelee perehdyttämistä ja työhyvinvointiin liittyviä osa-alueita. Työssä käsitellään aiheita yleisellä tasolla ja sitten syvennytään tarkemmin perehdyttämisen vaikutuksiin sekä työssä jaksamiseen. Kansion kokoamisessa käytettiin apuna havainnointia, haastattelua ja kyselylomaketta. Opinnäytetyötä varten tein kattavan kyselylomakkeen ja haastattelin yrittäjää. Kyselylomakkeen avulla sain tietoa, mitä perehdyttämiskokemuksia vastaajilla on aiemmin ollut, miten perehdyttäminen toteutetaan ja kuinka tärkeänä perehdyttämistä ja työhyvinvointia pidetään sekä mitä kansioon tulisi sisällyttää. Työn tuloksena saatiin monipuolinen perehdyttämiskansio Hyvinvointi- ja kokoushotelli Tallukkaan. Perehdytyskansio sisältää tietoa yrityksestä, ympäristöstä, talon toimintatavoista ja palveluista sekä turvallisuudesta. Kansio sisältää myös perehdyttäjän muistilistan ja perehdyttämisen tarkistuslistan. Perehdytyskansio tulee tarpeeseen ja välittömästi käyttöön, sillä Tallukassa ei ole ennestään kattavaa perehdytysmateriaalia. Perehdytyskansion tehtävä on tehostaa ja nopeuttaa uuden työntekijän perehdyttämisprosessia ja vähentää perehdyttämiseen ja työnopastukseen tarvittavia resursseja. Perehdytyskansion sisältö on salainen toimeksiantajan pyynnöstä. Opinnäytetyön liitteenä on toiminnallisen osuuden sisällysluettelo, jotta sen rakenteeseen pystyy tutustumaan.The purpose of this thesis is to produce an orientation file for Wellness and Convention Hotel Tallukka. The objective of this work is to make the file for orienting a new employee and also as support for their long time employees. The goal is to make the file clear, easy to use and easily updatable. The primary task of the file is to help new employees get started with their work. This thesis is functional and it is assigned by Wellness and Convention Hotel Tallukka. The theoretical part of this thesis consists of sections concerning orientation and well-being at work. The subjects of this study are first considered on a general level and then immersed into a deeper view of the effects of orientation and job endurance. Observations, live interviews and a questionnaire were used as assistance for building the file. I created a comprehensive questionnaire and interviewed the entrepreneur for this thesis. The questionnaire helped me gather information from the respondents about their past orientation experiences, how's it's executed today, the importance of orientation and well-being at work and what should be included in the file. The final outcome of the task is a comprehensive orientation file for Wellness and Convention Hotel Tallukka. The file consists of information about the company, the environment, the company's daily conduct, services and safety. The file also includes an orienter ́s memo and an orientation checklist. The orientation file is greatly needed and it is going to be instantly put to use by the company as they never before had such comprehensive orientation material. The purpose of the file is to intensify and to speed up the orientation process of new employees and to reduce the resources needed for orientation and work guidance. The content of this orientation file is concealed by request of the client. The contents list of the functional part is attached to the thesis in order to become acquainted with its structure

Python-ohjelmoinnin sovelluksia matriisilaskentaan, tilastotieteeseen ja numeeriseen matematiikkaan lukiolaisille

Siirretty Doriast

Systematic Review of Intelligent Tutoring Systems for Hard Skills Training in Virtual Reality Environments

Advances in immersive virtual reality (I-VR) technology have allowed for the development of I-VR learning environments (I-VRLEs) with increasing fidelity. When coupled with a sufficiently advanced computer tutor agent, such environments can facilitate asynchronous and self-regulated approaches to learning procedural skills in industrial settings. In this study, we performed a systematic review of published solutions involving the use of an intelligent tutoring system (ITS) to support hard skills training in an I-VRLE. For the seven solutions that qualified for the final analysis, we identified the learning context, the implemented system, as well as the perceptual, cognitive, and guidance features of the utilized tutoring agent. Generally, the I-VRLEs emulated realistic work environments or equipment. The solutions featured either embodied or embedded tutor agents. The agents’ perception was primarily based on either learner actions or learner progress. The agents’ guidance actions varied among the solutions, ranging from simple procedural hints to event interjections. Several agents were capable of answering certain specific questions. The cognition of the majority of agents represented variations on branched programming. A central limitation of all the solutions was that none of the reports detailed empirical studies conducted to compare the effectiveness of the developed training and tutoring solutions.Peer reviewe