Regressiotestaus- ja ylläpitotyökalu Ohjelmoinnin perusteet -kurssin Python-harjoitustehtäville

Tässä kandidaatintyössä suunnitellaan ja toteutetaan regressiotestaus- ja ylläpitotyökalu Ohjelmoinnin perusteet -kurssin Python-ohjelmointitehtäville. Työkalun on tarkoitus auttaa kurssin vastuuhenkilöitä selvittämään kurssilla käytettyjen harjoitustehtävien esimerkkiratkaisujen toimivuus Python-versiossa, jota kurssilla aiotaan käyttää ohjelmointiympäristönä seuraavana vuonna, ja helpottaa harjoitusmateriaalin yhdenmukaisuuden varmistamista silloin kun Python-versiota vaihdetaan tai materiaaliin tehdään muutoksia. Työssä tutkitaan, miten tarkoitukseen sopiva yleispätevä testaustyökalu voidaan kehittää, mitä seikkoja sen suunnittelussa on otettava huomioon ja mitä ongelmia kehittämiseen liittyy. Yleispätevän testaustyökalun kehittäminen osoittautui hankalaksi, vaikka testattavat ohjelmat ovat yksinkertaisia. Harjoitusmateriaaliin kuuluneiden yli 50 ohjelman testaamisessa tarvittavia tiedostoja oli yhteensä hyvin suuri määrä, ja niiden käsittelemiseksi työkalussa ja sen ulkopuolella oli vaikeaa valita optimaalista hakemistorakennetta. Lisäksi joidenkin testattavien ohjelmien havaittiin vaativan testauksessa muista poikkeavia lisätoimenpiteitä, jotka päätettiin jättää toteuttamatta työn puitteissa. Työn toivottu tulos jäi siten osittain saavuttamatta. Tuloksena syntyi kuitenkin työkalu, jolla voidaan ajaa 93 % nykyisistä esimerkkiratkaisuista määritellyillä testisyötteillä halutussa Python -ympäristössä ja saada tiedot ohjelmien toimivuudesta sekä niiden tuottamien tulosteiden täsmäävyydestä esimerkkitulosteisiin.

Painesuodattimen automatisoidun kankaanvaihtolaitteen kehittäminen ja tekninen tuotteistaminen

Tässä työssä tarkastellaan CE-merkintään vaadittavia teknisen tuotteistamisen vaiheita käyttäen esimerkkinä painesuodattimen automatisoidun kankaanvaihtolaitteen suunnitteluprosessia. Työssä selvitetään, mitä vaihtoehtoja on painesuodattimen lisälaitteiden luokitteluksi, että ne saadaan tuotteistettua Euroopan talousalueella (ETA). Esimerkkinä käytettävä kankaanvaihtolaite on suunniteltu käyttäen järjestelmällisen koneensuunnittelun menetelmää. CE-merkinnän vaatima riskianalyysi on tehty laitteelle standardin SFS-EN ISO 12100:2010 mukaisesti. Tuloksena saatu laitteen prototyyppi täyttää pääosin laitteelle asetettavat vaatimukset. Kustannusarvio ylittää kuitenkin toivotun omakustannehinnan valoverhojen suhteellisen kalliin hinnan takia. Kustannusarvion mukaan prototyyppi voidaan kuitenkin valmistaa edullisesti, sillä valoverhot eivät ole pakollisia laitteen toiminnallisissa testeissä. Ennen tuotteistamista valoverhojen korvaamisen mahdollisuutta muulla turvatekniikalla on kuitenkin tutkittava. Suunnitteluvaiheen jälkeen laitteen turvallisuuden voidaan todeta olevan vähintään riittävällä tasolla. Riskianalyysi on kuitenkin päivitettävä dokumentti, ja laitteen turvallisuus täytyy varmistaa prototyyppiä testaamalla. Työn perusteella voidaan todeta, että huomioimalla laitteen mahdollisesti aiheuttamat vaaratilanteet jo tuotesuunnittelun alussa, voidaan tuotekehitysprosessia nopeuttaa. Tunnistamalla vaaratilanteet suunnittelun varhaisessa vaiheessa voidaan vähentää riskien määrää, ja siten tarvetta riskien pienentämiselle. Näin vähennetään rakenteen suunnittelun ja riskianalyysin iterointikierrosten määrää, jolloin myös tuotteistamisprosessi nopeutuu.

Sähkömoottorin etäohjausjärjestelmän suunnittelu ja testaus

Tämä kandityön aihe liittyy LUT Energialla lukuvuonna 2012 – 2013 käynnissä olevaan tutkimukseen, jossa tutkitaan sähkömoottorin laakerivirtojen syntyä. Tätä tutkimusta varten tarvittiin sähkömoottorin etäohjausjärjestelmä, jonka avulla tutkimuksessa käytettävän sähkömoottorin käyttäytymistä voitaisiin tutkia erilaisien käyttöprofiileiden funktiona. Tässä kandityössä suunnitellaan ja toteutetaan edellä kuvattu järjestelmä. Toteutuksessa hyödynnetään nykyaikaista automaatiotekniikkaa, joka yhdessä Ethernet-lähiverkkotekniikan kanssa mahdollistaa etäohjauksen. Valmiin etäohjausjärjestelmän avulla käyttäjä pystyy sekä käynnistämään että sammuttamaan sähkömoottorin, ja määrittämään käyttöprofiilin ON- ja OFF-tilojen ajalliset kestot sekä käyntinopeudet.

Low dose of dichloroacetate infusion reduces blood lactate after submaximal exercise in horses

The acute administration of an indirect activator of the enzyme pyruvate dehydrogenase (PDH) in human athletes causes a reduction in blood lactate level during and after exercise. A single IV dose (2.5m.kg-1) of dichloroacetate (DCA) was administered before a submaximal incremental exercise test (IET) with five velocity steps, from 5.0 m.s-1 for 1 min to 6.0, 6.5, 7.0 and 7.5m.s-1 every 30s in four untrained mares. The blood collections were done in the period after exercise, at times 1, 3, 5, 10, 15 and 20 min. Blood lactate and glucose (mM) were determined electro-enzymatically utilizing a YSI 2300 automated analyzer. There was a 15.3% decrease in mean total blood lactate determined from the values obtained at all assessment times in both trials after the exercise. There was a decrease in blood lactate 1, 3, 5, 10, 15 and 20 min after exercise for the mares that received prior DCA treatment, with respective mean values of 6.31±0.90 vs 5.81±0.50, 6.45±1.19 vs 5.58±1.06, 6.07±1.56 vs 5.26±1.12, 4.88±1.61 vs 3.95±1.00, 3.66±1.41 vs 2.86±0.75 and 2.75±0.51 vs 2.04±0.30. There was no difference in glucose concentrations. By means of linear regression analysis, V140, V160, V180 and V200 were determined (velocity at which the rate heart is 140, 160, 180, and 200 beats/minute, respectively). The velocities related to heart rate did not differ, indicating that there was no ergogenic effect, but prior administration of a relatively low dose of DCA in mares reduced lactatemia after an IET.

Evaluation of resistance in a selected field strain of Haemonchus contortus to ivermectin and moxidectin using the Larval Migration on Agar Test

Haemonchus contortus is one of the most common and economically significant causes of disease in small ruminants worldwide, and the control programs of parasitic nematodes - including H. contortus - rely mostly on the use of anthelmintic drugs. The consequence of the use of this, as the sole sanitary strategy to avoid parasite infections, was the reduction of the efficacy of all chemotherapeutic products with a heavy selection for resistance. The widespread of anthelmintic resistance and the difficulty of its early diagnosis has been a major concern for the sustainable parasite management on farms. The objective of this research was to determine and compare the ivermectin (IVM) and moxidectin (MOX) effect in a selected field strain of H. contortus with a known resistance status, using the in vitro larval migration on agar test (LMAT). Third stage larvae of the selected isolate were obtained from faecal cultures of experimentally infected sheep and incubated in eleven increasing diluted concentrations of IVM and MOX (6, 12, 24, 48, 96, 192, 384, 768, 1536, 3072 and 6144µg/mL). The dose-response sigmoidal curves were obtained using the R² value of >0.90 and the lethal concentration (LC50) dose for the tested anthelmintic drugs using a four-parameter logistic model. The LC50 value for MOX was significantly lower than IVM (1.253µg/mL and 91.06µg/mL), identifying the H. contortus isolate as considerably less susceptible to IVM compared to MOX. Furthermore, the LMAT showed a high consistency (p<0.0001) and provided to be a useful diagnostic tool for monitoring the resistance status of IVM and MOX in H. contortus field isolate, as well as it may be used for official routine drug monitoring programs under the Ministry of Agriculture (MAPA) guidance.

Development and application of polymerase chain reaction test for detection of Conidiobolus lamprauges

Conidiobolomycosis is a granulomatous disease caused by the fungus Conidiobolus spp. in humans and animals. Traditional technique for diagnosis of the disease is isolation of the agent associated with the presence of typical clinical signs and pathological conditions. The aim of this study was to describe the development of a specific polymerase chain reaction (PCR) test for Conidiobolus lamprauges to detect the fungus in clinical samples. Samples from suspected animals were collected and submitted to isolation, histopathological analysis and amplification by PCR. DNA from tissues was subjected to PCR with fungi universal primers 18S rDNA gene, and specific primers were designed based on the same gene in C. lamprauges that generated products of about 540 bp and 222 bp respectively. The culture was positive in 26.6% of clinical samples. The PCR technique for C. lamprauges showed amplification of DNA from fresh tissues (80%) and paraffin sections (44.4%). In conclusion, the PCR technique described here demonstrated a high sensitivity and specificity for detection of fungal DNA in tissue samples, providing a tool for the rapid diagnosis of C. lamprauges.

Automated Purchase to Pay Process Value Modeling and Comparative Process Speeds

The importance of efficient supply chain management has increased due to globalization and the blurring of organizational boundaries. Various supply chain management technologies have been identified to drive organizational profitability and financial performance. Organizations have historically been concentrating heavily on the flow of goods and services, while less attention has been dedicated to the flow of money. While supply chains are becoming more transparent and automated, new opportunities for financial supply chain management have emerged through information technology solutions and comprehensive financial supply chain management strategies. This research concentrates on the end part of the purchasing process which is the handling of invoices. Efficient invoice processing can have an impact on organizations working capital management and thus provide companies with better readiness to face the challenges related to cash management. Leveraging a process mining solution the aim of this research was to examine the automated invoice handling process of four different organizations. The invoice data was collected from each organizations invoice processing system. The sample included all the invoices organizations had processed during the year 2012. The main objective was to find out whether e-invoices are faster to process in an automated invoice processing solution than scanned invoices (post entry into invoice processing solution). Other objectives included looking into the longest lead times between process steps and the impact of manual process steps on cycle time. Processing of invoices from maverick purchases was also examined. Based on the results of the research and previous literature on the subject, suggestions for improving the process were proposed. The results of the research indicate that scanned invoices were processed faster than e-invoices. This is mostly due to the more complex processing of e-invoices. It should be noted however that the manual tasks related to turning a paper invoice into electronic format through scanning are ignored in this research. The transitions with the longest lead times in the invoice handling process included both pre-automated steps as well as manual steps performed by humans. When the most common manual steps were examined in more detail, it was clear that these steps had a prolonging impact on the process. Regarding invoices from maverick purchases the evidence shows that these invoices were slower to process than invoices from purchases conducted through e-procurement systems and from preferred suppliers. Suggestions on how to improve the process included: increasing invoice matching, reducing of manual steps and leveraging of different value added services such as invoice validation service, mobile solutions and supply chain financing services. For companies that have already reaped all the process efficiencies the next step is to engage in collaborative financial supply chain management strategies that can benefit the whole supply chain.

Development of a Real-time PCR test for porcine group A rotavirus diagnosis

Group A Rotavirus (RVA) is one of the most common causes of diarrhea in humans and several animal species. A SYBR-Green Real-Time polymerase chain reaction (PCR) was developed to diagnose RVA from porcine fecal samples, targeting amplification of a 137-bp fragment of nonstructural protein 5 (NSP5) gene using mRNA of bovine NADH-desidrogenase-5 as exogenous internal control. Sixty-five samples were tested (25 tested positive for conventional PCR and genetic sequencing). The overall agreement (kappa) was 0.843, indicating 'very good' concordance between tests, presenting 100% of relative sensitivity (25+ Real Time PCR/25+ Conventional PCR) and 87.5% of relative sensitivity (35- Real Time PCR/40- Conventional PCR). The results also demonstrated high intra- and inter-assay reproducibility (coefficient of variation ≤1.42%); thus, this method proved to be a fast and sensitive approach for the diagnosis of RVA in pigs.

A survey of the generation of ocean waves in a test basin

At present stage the analytical design of wave tolerance for floating structures and vessels is still imperfect due to the mutually complex and nonlinear phenomena between structures and waves. Wave tolerance design is usually carried out through iterative evaluations of results from model tests in a wave basin, and this is done in order to reach a final structural design. The wave generation has then become an important technology in the field of the coastal and ocean engineering. This paper summarizes the facilities of a test basin and a wave maker in Japan and also surveys the methodology of the generation of ocean waves in a test basin.

A Test Bed Applied Mobile Robot Navigation

It is presented a test bed applied to studies on dynamics, control, and navigation of mobile robots. A cargo ship scale model was chosen, which can be radio-controlled or operated autonomously through an embedded control system. A control program, which manages on board mission execution, is implemented on a microcontroller. Navigation is based on an electronic compass, which includes automatic compensation for pitch and roll motions. Heading control loop is based on this sensor, and on a rudder positioning system. A propulsion control system is also implemented. Typical manoeuvres as the turning test and "zig-zag", were implemented and tested. They are included on a manoeuvre library, and can be accessed independently or in combined modes. The embedded system is also in charge of signal acquisition and storing during the missions. It is possible to analyse experiments on identification of ship dynamics, control, and navigation, through the data transferred to a PC by serial communication. Navigation is going to be improved by including inertial sensors on board, and a DGPS. Preliminary tests are aimed to ship identification, and manoeuvrability, using free model tests. Future steps include extending this system for developing other mobile robots as, ROVs, AUVs, and aerial vehicles.

Design of a Test Stand for a Centrifugal Compressor

The goal of the Master’s thesis is to design a test stand for a centrifugal compressor. Different theoretical aspects of flow parameters measurements and test rigs built for the similar purposes in other research units are described in the theoretical part of the work. The process of components selection and the description of chosen components are given in the second part of the thesis. Besides measuring and control stages, the designed test stand has a closed-loop piping, an aftercooler and a surge tank. Overview and layout of the test rig is presented in the last chapter of the work.

Ion mobility spectrometry in liquid analysis

Ion mobility spectrometry (IMS) is a straightforward, low cost method for fast and sensitive determination of organic and inorganic analytes. Originally this portable technique was applied to the determination of gas phase compounds in security and military use. Nowadays, IMS has received increasing attention in environmental and biological analysis, and in food quality determination. This thesis consists of literature review of suitable sample preparation and introduction methods for liquid matrices applicable to IMS from its early development stages to date. Thermal desorption, solid phase microextraction (SPME) and membrane extraction were examined in experimental investigations of hazardous aquatic pollutants and potential pollutants. Also the effect of different natural waters on the extraction efficiency was studied, and the utilised IMS data processing methods are discussed. Parameters such as extraction and desorption temperatures, extraction time, SPME fibre depth, SPME fibre type and salt addition were examined for the studied sample preparation and introduction methods. The observed critical parameters were extracting material and temperature. The extraction methods showed time and cost effectiveness because sampling could be performed in single step procedures and from different natural water matrices within a few minutes. Based on these experimental and theoretical studies, the most suitable method to test in the automated monitoring system is membrane extraction. In future an IMS based early warning system for monitoring water pollutants could ensure the safe supply of drinking water. IMS can also be utilised for monitoring natural waters in cases of environmental leakage or chemical accidents. When combined with sophisticated sample introduction methods, IMS possesses the potential for both on-line and on-site identification of analytes in different water matrices.

El Marco Común Europeo de Referencia: su utilidad en la planificación y evaluación de un test de comprensión de lectura de ELE

Eurooppalainen viitekehys ja sen hyödyllisyys espanjan luetun ymmärtämisen testin suunnittelussa ja arvioinnissa Tämän pro gradu -tutkielman tavoitteena oli tutkia Eurooppalaista viitekehystä espanjan luetun ymmärtämisen testin suunnittelun ja arvioinnin pohjana. Työn teoriaosa koostuu kahdesta pääaiheesta: Eurooppalaisesta viitekehyksestä ja vieraalla kielellä lukemisesta. Viitekehys on 2000-luvun alussa julkaistu Euroopan neuvoston projekti, jonka tarkoituksena on näyttää suunta modernille kielten opetukselle Euroopassa. Teoksen ehkä kuuluisin osa ovat kielitaitoa mittaavat taitotasot, perinteisen asteikon mukaisesti A1 – C2. Muun muassa juuri taitotasojen avulla eurooppalaista kielten opiskelua ja opetusta on voitu yhtenäistää – esimerkiksi eri maiden oppilaitosten tutkintoja, kielikursseja ja kielitestejä pystytään nykyään vertailemaan helposti. Vieraalla kielellä lukeminen on ollut erittäin suosittu tutkimuksen kohde jo pitkään. Tässä tutkielmassa esitellään muutamia vieraan kielen lukemisen teorioita (kuten skeemateoria), malleja (kuten Rumelhartin malli) ja strategioita (Mendoza Fillolan strategiat). Lisäksi käsitellään vieraalla kielellä lukemisen ongelmia ja sitä, miten vieraalla kielellä lukemista voidaan opettaa. Empiirisessä osassa kuvaillaan tutkimusta, johon osallistui 35 tutkimushenkilöä jotka jaettiin kolmeen vertailuryhmään. Keskeisessä osassa empiiristä osiota on, testitulosten lisäksi, kuvaus Eurooppalaisen viitekehyksen toimivuudesta espanjan luetun ymmärtämisen testin suunnittelussa ja arvioinnissa. Testin tuloksista päätellen ryhmistä selvästi parhaiten suoriutui ryhmä A, joka koostui kielikeskuksen opiskelijoista. Huomattiin myös, että B- ja C-ryhmien sisäisissä kokonaistuloksissa oli enemmän hajontaa kuin A:n tuloksissa. Tutkimuksesta saatujen kokemusten perusteella todettiin, että Eurooppalainen viitekehys sisältää melko hyödyllisiä yleisen tason ohjeita ja muita lähtökohtia tällaisen testin suunnittelua ja arviointia varten. Teosta tulisi kuitenkin kehittää – konkreettiset ja selkeät esimerkit ja ohjeet tekisivät siitä huomattavasti käyttökelpoisemman. Eurooppalainen viitekehys näkyy varmasti yhä enemmän tulevaisuuden kielten oppimisessa ja opetuksessa. Myös meillä Suomessa viitekehystä arvostetaan: lähivuosina muun muassa ylioppilaskokeiden arvosanat saavat rinnalleen viitekehyksessä määritellyt taitotasot.

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.