Cost-benefit analysis of using test automation in the development of embedded software

The goal of this thesis is to make a case study of test automation’s profitability in the development of embedded software in a real industrial setting. The cost-benefit analysis is done by considering the costs and benefits test automation causes to software development, before the software is released to customers. The potential benefits of test automation regarding software quality after customer release were not estimated. Test automation is a significant investment which often requires dedicated resources. When done accordingly, the investment in test automation can produce major cost savings by reducing the need for manual testing effort, especially if the software is developed with an agile development framework. It can reduce the cost of avoidable rework of software development, as test automation enables the detection of construction time defects in the earliest possible moment. Test automation also has many pitfalls such as test maintainability and testability of the software, and if those areas are neglected, the investment in test automation may become worthless or it may even produce negative results. The results of this thesis suggest that test automation is very profitable at the company under study.

Mechanical design and analysis of modular active magnetic bearing test rig

Tässä työssä on tutkittu modulaarisen aktiivimagneettilaakeroidun koelaitteen mekaanista suunnittelua ja analysointia. Suurnopeusroottorin suunnittelun teoria on esitelty. Lisäksi monia analyyttisiä mallinnusmenetelmiä mekaanisten kuormitusten mallintamiseksi on esitelty. Koska kyseessä on suurnopeussähkökone, roottoridynamiikka ja sen soveltuvuus suunnittelussa on esitelty. Magneettilaakerien rakenteeseen ja toimintaan on tutustuttu osana tätä työtä. Kirjallisuuskatsaus nykyisistä koelaitteista esimerkiksi komponenttien ominaisuuksien tunnistamiseen ja roottoridynamiikan tutkimuksiin on esitelty. Työn rajauksena on konseptisuunnittelu muunneltavalle magneettilaakeroidulle (AMB) koelaitteelle ja suunnitteluprosessin dokumentointi. Muunneltavuuteen päädyttiin, koska se mahdollistaa erilaisten komponenttiasetteluiden testaamisen erilaisille magneettilaakerikokoonpanoille ja roottoreille. Pääpaino tässä työssä on suurnopeus induktiokoneen roottorin suunnittelussa ja mallintamisessa. Modulaaristen toimilaitteiden kuten magneettilaakerien ja induktiosähkömoottorin rakenne on esitelty ja modulaarisen rakenteen käytettävyyden hyödyistä koelaitekäytössä on dokumentoitu. Analyyttisiä ja elementtimenetelmään perustuvia tutkimusmenetelmiä on käytetty tutkittaessa suunniteltua suurnopeusroottoria. Suunnittelun ja analysoinnin tulokset on esitelty ja verrattu keskenään eri mallinnusmenetelmien välillä. Lisäksi johtopäätökset sähkömagneettisten osien liittämisen monimutkaisuudesta ja vaatimuksista roottoriin ja toimilaitteisiin sekä mekaanisten että sähkömagneettisten ominaisuuksien optimoimiseksi on dokumentoitu.

Early modes of exegesis : ideal figures in Malachi as a test case

Antikens judiska bibeltolkare hade ett annorlunda sätt att läsa Bibeln än den som moderna läsare är vana vid. Dessa tidiga exegeter tänkte att texten som nu finns i den hebreiska Bibeln, de kristnas Gamla Testamente, är helig ordagrant i den form som den fanns i under deras tid, att den inte innehåller några fel, och att Gud har en övergripande plan gällande helheten, så att man vid behov kan förklara ett Bibelställe med hjälp av ett annat. Dessa antaganden reflekteras i det sätt på vilket antikens exegeter läste och tolkade sin Bibel. Det här ser man då man läser deras texter, från 400-talet före vår tideräknings början till de första århundradena enligt vår tideräkning. Ett verktyg som antikens skrifttolkare ofta använde var den så kallade gezera shava -metoden, där de jämförde identiska ord och fraser i Bibeln för att skänka belysning åt oklara textställen. Hebreiskan, särskilt den ovokaliserade konsonanttexten, innehåller många homonyma ord, alltså ord som ser likadana ut men har olika betydelser. De tidiga exegeterna utnyttjade ofta de möjligheter till alternativa tolkningar som uppstår ur denna tvetydighet. Ibland kunde de dock tvärtom också dra paralleller ur kontextuella likheter, alltid efter behov. I denna avhandling står dessa tidiga anonyma bibeltolkare och deras tolkningar i fokus. Malakis bok, som härstammar från ca år 475 f.v.t., kan ses som ett viktigt tidigt exempel på denna tendens till nytolkning av traditioner. Boken själv har dock också blivit föremål till nytolkningar, redan i de tilläggsverser som finns i dess slut, men särskilt i senare judisk litteratur och i Nya Testamentet. I avhandlingen granskas de fem bibliska gestalter som nämns i Malaki: Jakob, Esau, Levi, Mose och Elia. Hur används de i boken och hur har senare traditioner som anknyter till dem influerats av Malaki? ------------------------------------------------ Antiikin juutalaiset raamatunselittäjät lukivat Raamattua eri tavoin kuin moderni lukija. Heidän näkemyksensä mukaan se teksti, joka nykyään löytyy heprealaisesta Raamatusta eli kristittyjen Vanhasta testamentista, oli pyhä juuri sellaisessa muodossa, jossa se oli heille välittynyt. Se oli virheetön, ja Jumalalla oli siitä kokonaisnäkemys, joka voisi selvitä myös tulkitsijalle, kun tämä vain tutkisi tekstiä riittävän tarkkaan. Nämä perusoletukset näkyvät tavassa, jolla antiikin eksegeetit lukivat ja tulkitsivat Raamattuaan. Se voidaan huomata heidän jälkeensä jättämistään teksteistä, alkaen noin 400-luvulta ennen ajanlaskumme alkua ja jatkuen ajanlaskumme ensimmäisiin vuosisatoihin. Antiikin raamatunselittäjät käyttivät yleisesti muun muassa metodia, joka rabbiinisessa kirjallisuudessa tunnetaan nimellä gezera shava. Raamatussa kahdessa tai useammassa kohtaa esiintyviä samoja sanoja ja ilmauksia verrattiin tällöin toisiinsa ja pyrittiin siten saamaan valaistusta epäselvinä pidettyihin tekstinkohtiin. Heprealle, etenkin sen vokalisoimattomassa muodossa, on tyypillistä homonyymisyys. Samannäköiset sanat voivat eri yhteyksissä tarkoittaa eri asioita. Varhaiset eksegeetit päätyivät usein tästä ilmiöstä nouseviin, keskenään vaihtoehtoisiin tulkintoihin. Toisaalta he saattoivat myös tarvittaessa selittää tekstinkohtaa toisella tekstinkohdalla ainoastaan näiden sisällöllisenkin yhtäläisyyden perusteella. Tässä väitöstutkimuksessa tarkastellaan näitä varhaisia, meille nimettömiksi jääneitä raamatunselittäjiä ja heidän tulkintojaan käyttämällä tutkimuksen lähtökohtana Malakian kirjaa. Malakiaa, joka on peräisin noin vuodelta 475 ennen ajanlaskumme alkua, voidaan pitää yhtenä tärkeimmistä ja varhaisimmista teksteistä, joissa traditioita yhdistellään ja kerrotaan uudelleen edellä mainittuihin perusajatuksiin nojaten ja niihin pohjautuvia menetelmiä käyttäen. Toisaalta Malakian kirjaa on myös tulkittu samojen periaatteiden mukaisesti jo sen myöhemmältä ajalta peräisin olevissa loppujakeissa, ja sittemmin muussa varhaisessa juutalaisessa kirjallisuudessa sekä Uudessa testamentissa. Väitöstutkimuksessa tarkastellaan erityisesti niitä viittä henkilöä, jotka mainitaan Malakian kirjassa: Jaakobia, Esauta, Leeviä, Moosesta ja Eliaa. Kirjoittaja tutkii, miten heidän hahmojaan on käytetty Malakian kirjassa, millaisiin heitä koskeviin traditioihin tämä käyttötapa perustuu, ja missä määrin Malakian kirjan vaikutus on havaittavissa myöhemmässä näihin henkilöihin liitetyssä perinteessä.

The role of auditors in the Finnish limited liability companies as to solvency test in the context of asset distribution

Suomen osakeyhtiölain mukaan varoja ei saa jakaa, jos jaosta päätettäessä tiedetään tai pitäisi tietää yhtiön olevan maksukyvytön tai jaon aiheuttavan maksukyvyttömyyden. Ongelmallista on, että maksukykyä ei ole selvästi määritelty laissa tai hallituksen esityksessä. Tilintarkastuslain mukaan tilintarkastajan on siten huomautettava, jos maksukykytestiä on rikottu, mutta tilintarkastaja joutuu yleensä määrittelemään tällaiset huomauttamista vaativat tilanteet itse. Maksukykytestistä on kirjoitettu suomalaisessa yhtiöoikeuden ja laskentatoimen kirjallisuudessa melko kattavasti. Kuitenkin tilintarkastajaa koskeva näkökulma on saanut osakseen suhteellisen vähän huomiota. Tästä näkökulmasta on kirjoitettu vain joitakin korkeakoulujen tutkielmia sekä lyhyehköjä ammatillisia seminaariesityksiä. Tämän tutkielman tavoitteena on ollut koota laaja yleiskuva siitä, miten tilintarkastajat itse kokevat asemansa ja tehtävänsä yllä kuvatuissa tilanteessa. Tutkielmassa on käyty läpi aikaisempaa yhtiöoikeuden ja laskentatoimen kirjallisuudessa ja seminaariesityksissä esitettyä aineistoa. Lisäksi tutkielmaa varten tehtiin suomalaisille tilintarkastajille kohdennettu Internet-pohjainen kysely. Tutkielma selkeyttää kuvaa siitä, miten tilintarkastajat toimivat yllä kuvatussa tilanteessa ja miten he ovat sopeuttaneet toimiaan yhteiskunnan institutionaalisen asetelman muututtua. Kirjallisuuden pohjalta tapahtuva teoreettinen analyysi on yhdistetty kyselyyn siitä, miten tilintarkastajat käytännössä toimivat. Tutkimuksen perustana olevaa tietoa on analysoitu pääosin kyselytutkimuksen menetelmin, mutta myös tilastollisen tutkimuksen menetelmiä on käytetty. Tutkielman tuloksena tutkielmassa selvitetään tilintarkastajan tehtäviä maksukykytestin yhteydessä. Tuloksena voidaan myös todeta, että tilintarkastaja ei suorita varojenjaossa tarvittavan maksukyvyn arvioinnin kannalta keskeisiä tarkastustoimenpiteitä ainoastaan tilikauden päättymisen jälkeen. Päinvastoin, tällaisia tarkastustoimenpiteitä suoritetaan enemmän tai vähemmän koko tilintarkastuksen aikana. Lisäksi vaikuttaisi siltä, että tilintarkastajan oma suhtautuminen maksukykytestiin on ainakin jossain määrin merkityksellinen sen kannalta, kuinka paljon tarkastustoimenpiteitä tehdään ja kuinka paljon maksukyvystä ja siihen liittyvistä puutteista raportoidaan yhtiön johdolle.

Coolability of porous core debris beds : Effects of bed geometry and multi-dimensional flooding

This thesis addresses the coolability of porous debris beds in the context of severe accident management of nuclear power reactors. In a hypothetical severe accident at a Nordic-type boiling water reactor, the lower drywell of the containment is flooded, for the purpose of cooling the core melt discharged from the reactor pressure vessel in a water pool. The melt is fragmented and solidified in the pool, ultimately forming a porous debris bed that generates decay heat. The properties of the bed determine the limiting value for the heat flux that can be removed from the debris to the surrounding water without the risk of re-melting. The coolability of porous debris beds has been investigated experimentally by measuring the dryout power in electrically heated test beds that have different geometries. The geometries represent the debris bed shapes that may form in an accident scenario. The focus is especially on heap-like, realistic geometries which facilitate the multi-dimensional infiltration (flooding) of coolant into the bed. Spherical and irregular particles have been used to simulate the debris. The experiments have been modeled using 2D and 3D simulation codes applicable to fluid flow and heat transfer in porous media. Based on the experimental and simulation results, an interpretation of the dryout behavior in complex debris bed geometries is presented, and the validity of the codes and models for dryout predictions is evaluated. According to the experimental and simulation results, the coolability of the debris bed depends on both the flooding mode and the height of the bed. In the experiments, it was found that multi-dimensional flooding increases the dryout heat flux and coolability in a heap-shaped debris bed by 47–58% compared to the dryout heat flux of a classical, top-flooded bed of the same height. However, heap-like beds are higher than flat, top-flooded beds, which results in the formation of larger steam flux at the top of the bed. This counteracts the effect of the multi-dimensional flooding. Based on the measured dryout heat fluxes, the maximum height of a heap-like bed can only be about 1.5 times the height of a top-flooded, cylindrical bed in order to preserve the direct benefit from the multi-dimensional flooding. In addition, studies were conducted to evaluate the hydrodynamically representative effective particle diameter, which is applied in simulation models to describe debris beds that consist of irregular particles with considerable size variation. The results suggest that the effective diameter is small, closest to the mean diameter based on the number or length of particles.

Simulation and material calibration of ultra high strength steel (UHSS) S960 welded joint under static tensile test utilizing finite element method (FEM)

The aim of this work was to calibrate the material properties including strength and strain values for different material zones of ultra-high strength steel (UHSS) welded joints under monotonic static loading. The UHSS is heat sensitive and softens by heat due to welding, the affected zone is heat affected zone (HAZ). In this regard, cylindrical specimens were cut out from welded joints of Strenx® 960 MC and Strenx® Tube 960 MH, were examined by tensile test. The hardness values of specimens’ cross section were measured. Using correlations between hardness and strength, initial material properties were obtained. The same size specimen with different zones of material same as real specimen were created and defined in finite element method (FEM) software with commercial brand Abaqus 6.14-1. The loading and boundary conditions were defined considering tensile test values. Using initial material properties made of hardness-strength correlations (true stress-strain values) as Abaqus main input, FEM is utilized to simulate the tensile test process. By comparing FEM Abaqus results with measured results of tensile test, initial material properties will be revised and reused as software input to be fully calibrated in such a way that FEM results and tensile test results deviate minimum. Two type of different S960 were used including 960 MC plates, and structural hollow section 960 MH X-joint. The joint is welded by BöhlerTM X96 filler material. In welded joints, typically the following zones appear: Weld (WEL), Heat affected zone (HAZ) coarse grained (HCG) and fine grained (HFG), annealed zone, and base material (BaM). Results showed that: The HAZ zone is softened due to heat input while welding. For all the specimens, the softened zone’s strength is decreased and makes it a weakest zone where fracture happens while loading. Stress concentration of a notched specimen can represent the properties of notched zone. The load-displacement diagram from FEM modeling matches with the experiments by the calibrated material properties by compromising two correlations of hardness and strength.

Automated UI testing. WBCT, a computer-automated user test environment tool.

Today, the user experience and usability in software application are becoming a major design issue due to the adaptation of many processes using new technologies. Therefore, the study of the user experience and usability might be included in every software development project and, thus, they should be tested to get traceable results. As a result of different testing methods to evaluate the concepts, a non-expert on the topic might have doubts on which option he/she should opt for and how to interpret the outcomes of the process. This work aims to create a process to ease the whole testing methodology based on the process created by Seffah et al. and a supporting software tool to follow the procedure of these testing methods for the user experience and usability.