De nubibus

Invokaatio: D.D.

De physica Mosaica Comeniana

Invokaatio: Deo duce.

De monarchia Dei universali

Invokaatio: I.N.J.S.

De figura corporum

Invokaatio: Q.F.F.Q.S.

De luxu Romanorum

Invokaatio: D.D.

Nonnulla momenta controversiae illustris: an recentioribus vel antiquioribus palma eruditionis sit tribuenda

Invokaatio: Inceptis Jesu adesto.

De usu lapidum in historia

Invokaatio: Deo duce.

De ophiolatria gentilium

Invokaatio: Favente Deo.

De notione temporis

Invokaatio: Q.F.F.q.S.

Commercia Ostrobotniensium spectantes

Invokaatio: D.D.

De aethere

Invokaatio: A.R.C.

De seminibus plantarum

Invokaatio: D.J.

De necessitate revelationis

Invokaatio: D.D.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Paper- and membrane-based ion-modulated electronics

Avhandlingen handlar om pappers- och membranbaserad jonmodulerad elektronik. Målet med forskningen har varit att utveckla billig, miljövänlig och brännbar elektronik, som kan användas i vardagliga engångsprodukter. Baskomponenterna som utvecklas och presenteras i avhandlingen är transistorer och kondensatorer. Mer komplicerad logisk kretselektronik demonstreras också med hjälp av dessa komponenter. Substraten som utnyttjas vid framställningen av dessa elektroniska komponenter är papper och membran. Dessa substrat är flexibla, hållbara, billiga, miljövänliga, etc. och därför väl anpassade för befintliga tryckteknologier. Själva baskomponenterna framställs sedan på dessa substrat genom att trycka flera skikt på varandra, där varje enskilt skikt är ett individuellt material. Detta är möjligt eftersom de organiska materialen som används i dessa komponenter är upplösta i ett lösningsmedel och kan därmed tryckas på samma sätt som ett vanligt bläck. Ett tredimensionellt objekt kan på detta sätt framställas. I avhandlingen presenteras flera olika typer av transistorer, men den gemensamma nämnaren bland dessa är att isolatorn är en jonledare. Denna, ganska ovanliga, transistormodellen har den stora fördelen att lågspänningskomponenter kan relativt enkelt framställas. Det som är speciellt med våra transistorer är att vi har använt miljövänliga jonledare. Detta, bl.a., leder till att våra komponenter visar både god prestanda, tillika som de är miljövänliga. I avhandlingen demonstrerar vi även tryckta superkondensatorer, en motsvarighet till laddningsbara batterier, konstruerade på papper med aktiverat kol och miljövänliga jonledare. De mest komplicerade logiska kretsar som demonstreras i denna avhandling är ring-oscillatorer och 1-bits-minnen konstruerade på papper. --------------------------------------------- Väitöskirja käsittelee paperille ja polymeerikalvolle tulostettua ionimoduloitua elektroniikkaa. Tutkimuksen tavoitteena oli kehittää edullista, ympäristöystävällistä ja polttokelpoista elektroniikkaa, jota voidaan käyttää esim. tavanomaisissa kertakäyttötuotteissa. Väitöskirjassa esitellään erilaisia transistoreita ja kondensaattoreita. Näitä elektronisia peruskomponentteja käyttäen demonstroidaan myös monimutkaisempia loogisia piirejä. Komponenttien valmistuksessa alustana käytettiin paperia ja polymeerikalvoa. Valitut alustat ovat joustavia ja kestäviä, ja ovat siksi hyvin yhteensopivia olemassa olevien tulostusmenetelmien kanssa. Peruskomponentit valmistettiin tulostamalla eri materiaaleja päällekkäin. Komponenteissa käytettävät orgaaniset aineet ovat liuenneessa muodossa musteessa, joka voidaan tulostaa samalla periaatteella kuin mikä tahansa normaali muste. Tällä menetelmällä voidaan valmistaa myös kolmiulotteisia tuotteita. Väitöskirjassa esitellään useita erityyppisiä transistoreita, joissa yhdistävänä tekijänä on ionisesti johtava eriste. Tällaista suhteellisen harvinaista transistorityyppiä käyttämällä voidaan mahdollistaa matala-jännitteisten komponenttien yksinkertainen valmistus. Valmistettujen transistoreiden etu on ionisten nesteiden ympäristöystävällisyys. Elektroniset komponentit ovat täten hyviä suorituskyvyltään, mutteivät haitallisia ympäristölle. Väitöskirjassa demonstroidaan myös tulostettujen superkondensaattoreiden, eli ladattavien paristojen vastineiden, valmistus paperille aktiivihiiltä ja ionisia nesteitä käyttäen. Kaikkein monimutkaisimmat loogiset piirit, jotka tässä väitöskirjassa esitellään, ovat rengasoskillaattorit sekä 1-bittinen paperille valmistettu muisti.