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.

Spectrally Tuned Lanthanide Photoluminescence for Point-of-Care Testing

Point-of-care (POC) –diagnostics is a field with rapidly growing market share. As these applications become more widely used, there is an increasing pressure to improve their performance to match the one of a central laboratory tests. Lanthanide luminescence has been widely utilized in diagnostics because of the numerous advantages gained by the utilization of time-resolved or anti-Stokes detection. So far the use of lanthanide labels in POC has been scarce due to limitations set by the instrumentation required for their detection and the shortcomings, e.g. low brightness, of these labels. Along with the advances in the research of lanthanide luminescence, and in the field of semiconductors, these materials are becoming a feasible alternative for the signal generation also in the future POC assays. The aim of this thesis was to explore ways of utilizing time-resolved detection or anti-Stokes detection in POC applications. The long-lived fluorescence for the time-resolved measurement can be produced with lanthanide chelates. The ultraviolet (UV) excitation required by these chelates is cumbersome to produce with POC compatible fluorescence readers. In this thesis the use of a novel light-harvesting ligand was studied. This molecule can be used to excite Eu(III)-ions at wavelengths extending up to visible part of the spectrum. An enhancement solution based on this ligand showed a good performance in a proof-of-concept -bioaffinity assay and produced a bright signal upon 365 nm excitation thanks to the high molar absorptivity of the chelate. These features are crucial when developing miniaturized readers for the time-resolved detection of fluorescence. Upconverting phosphors (UCPs) were studied as an internal light source in glucose-sensing dry chemistry test strips and ways of utilizing their various emission wavelengths and near-infrared excitation were explored. The use of nanosized NaYF :Yb3+,Tm3+-particles enabled the replacement of an external UV-light source with a NIR-laser and gave an additional degree of freedom in the optical setup of the detector instrument. The new method enabled a blood glucose measurement with results comparable to a current standard method of measuring reflectance. Microsized visible emitting UCPs were used in a similar manner, but with a broad absorbing indicator compound filtering the excitation and emission wavelengths of the UCP. This approach resulted in a novel way of benefitting from the non-linear relationship between the excitation power and emission intensity of the UCPs, and enabled the amplification of the signal response from the indicator dye.

Paperikoneen kuivatusosan olosuhteiden vaikutus viiranjohtotelojen vaipan materiaalin ja pinnoitteen valintaan korroosiovaurion ehkäisemiseksi

Diplomityön tavoitteena on löytää UPM Kymin paperikone 8:n ensimmäisen kuivatusryhmän johtoteloihin kulumis- ja korroosiokestävämpi materiaali ja pinnoite vallitsevaan olosuhteeseen. Teloihin muodostuu pistemäistä korroosiota ja korroosioalue on paikallinen. Korroosiota syntyy kuivatusviiran alueella, jossa ei ole paperirainaa. Työssä suoritetaan kuivatusosan olosuhdemittauksia ja tutkitaan niiden vaikutuksia korroosion muodostumiseen. Suoritettavat olosuhdemittaukset ovat huuvan ilmatase, paineen 0-taso sekä lämpötilat ja kosteudet eri huuvan osissa. Savukaasumittauksen avulla tutkitaan huuvan ilmankiertoa ensimmäisen kuivatusryhmän viiranjohtotelojen läheisyydessä. Kuivatusviiran ilmanläpäisymittauksen avulla saadaan tietoa viiran ilmanläpäisykyvystä. Hypoteesina viiran tukkeutuminen johtuu pölyävästä kuivaus-prosessista ja kosteudesta. SEM/EDS-alkuainemittauksen avulla pystytään analysoimaan korrosiivisia alkuaineita niin korroosioalueella kuin ympäristössä. Työn tutkimuksen perusteella korroosion muodostuminen aiheutuu tukkeutuneen viiran muodostamasta happipitoisuuseroalueesta. Viiran saostumat sisältävät korrosiivisia kemikaaleja, kuten kloridia, rikkiä ja mangaania. Nämä kiihdyttävät korroosiota happipuutosalueella. Huuvan olosuhdemittauksien perusteella huuvan paineen 0-taso on vino. Savukaasu- ja kosteusmittauksien avulla huomattiin kostean ilman jäävän telojen läheisyyteen. Työssä kehitettiin paineilmapuhdistin viiran reuna-alueen puhdistamiseen. Kaavattaviin telapositioihin valittiin kobolttikromiseostettu volframikarbidipinnoite PTFE -fluoripolymeeritiivistyksellä. Muihin telapositioihin valittiin ETFE –fluori-polymeeripinnoite korroosion ehkäisemiseksi. Pinnoitteiden ja paineilmapuhdistimen avulla telojen käyttöaika nousee nykyisestä kahdesta vuodesta tavoiteltuun 10 vuoteen.

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.