Subsystem Testing of Message Guided State Machines Using a Simulator Framework

Simulaattorit ovat yksinkertaistettuja malleja tietyistä järjestelmän osioista. Niitä käytetään mallintamaan testattavan osion ympärillä olevien muiden osioiden ulkoista toimintaa, jotta testattavalle osiolle saadaan oikeanlainen toimintaympäristö aikaiseksi. Tilakoneita käytetään mallintamaan ohjelmistojen tai niiden osien toimintaa. Sanomaohjatuissa tilakoneissa tilojen vaihdot perustuvat saapuviin sanomiin. Tässä työssä esitellään erään ohjelmiston alijärjestelmän testaamisessa käytettävä arkkitehtuuri, joka perustuu suurelta osin simulaattoreiden käyttöön muiden alijärjestelmien mallintamisessa. Testattava ohjelmisto koostuu enimmäkseen tilakoneista, jotka vaihtavat keskenään sanomia ja ohjaavat näin toistensa tilasiirtymiä. Työn testausympäristö on suunniteltu juuri tämänkaltaisen ohjelmiston testaamiseen. Työssä esiteltävää testausympäristöä myöskin käytettiin useamman kuukauden ajan ja se todettiin toimivaksi. Joitakin testausympäristön käyttöohjeita, käyttökokemuksia sekä siihen liittyviä parannusehdotuksia käydään läpi työn loppuosassa. Erityisesti havaittiin miten tärkeää on testata implementaatiota jo luokka tasolla ennen alijärjestelmä tason testaukseen siirtymistä sekä päädyttiin siihen, että suunnitteluvaiheen pitäisi olla lähemmin liitoksissa alijärjestelmätestaukseen.

Load and Performance Testing of Web Applications on Service Based Environments

Suorituskyky- ja kuormitustestien tekeminen sovelluksille on erittäin tärkeä osa tuotantoprosessia nykypäivänä. Myös Web-sovelluksia testataan yhä enemmän. Tarve suorituskyky- ja kuormitustestien tekemiselle on selvä. Testattavan ympäristön tämänhetkinen, mutta myös tulevaisuuden toimivuus taataan oikein tehdyillä testeillä ja niitä seuraavilla korjaustoimenpiteillä. Suurten käyttäjämäärien testaaminen manuaalisesti on kuitenkin hyvin vaikeaa. Sirpaleisen ympäristön, kuten palveluihin perustuvien Web-sovellusympäristöjen testaaminen on haaste. Tämän työn aiheena on arvioida työkaluja ja menetelmiä, joilla raskaita teollisia Web-sovelluksia voidaan testata. Tavoitteena on löytää testausmenetelmiä, joilla voidaan luotettavasti simuloida suuria käyttäjämääriä. Tavoitteena on myös arvioida erilaisten yhteyksien ja protokollien vaikutusta Web-sovelluksen suorituskykyyn.

Emergent patterns of social organization in captive Cercocebus torquatus: Testing the GrooFiWorld agent-based model

We empirically applied the GrooFiWorld agent-based model (Puga-González et al. 2009) in a group of captive mangabeys (Cercocebus torquatus). We analysed several measurements related to aggression and affiliative patterns. The group adopted a combination of despotic and egalitarian behaviours resulting from the behavioural flexibility observed in the Cercopithecinae subfamily. Our study also demonstrates that the GrooFiWorld agent-based model can be extended to other members of the Cercopithecinae subfamily generating parsimonious hypotheses related to the social organization.

Virtual Testing of Active Magnetic Bearing Systems based on Design Guidelines given by the Standards

Active Magnetic Bearings offer many advantages that have brought new applications to the industry. However, similarly to all new technology, active magnetic bearings also have downsides and one of those is the low standardization level. This thesis is studying mainly the ISO 14839 standard and more specifically the system verification methods. These verifying methods are conducted using a practical test with an existing active magnetic bearing system. The system is simulated with Matlab using rotor-bearing dynamics toolbox, but this study does not include the exact simulation code or a direct algebra calculation. However, this study provides the proof that standardized simulation methods can be applied in practical problems.

Testing Accrual-Based Model for Detecting Earnings Management: Comparison of Finland and France

The aim of this study is to test the accrual-based model suggested by Dechow et al. (1995) in order to detect and compare earnings management practices in Finnish and French companies. Also the impact of financial crisis of 2008 on earnings management behavior in these countries is tested by dividing the whole time period of 2003-2012 into two sub-periods: pre-crisis (2003-2008) and post-crisis (2009-2012). Results support the idea that companies in both countries have significant earnings management practices. During the post-crisis period companies in Finland show income inflating practices, while in France the opposite tendency is noticed (income deflating) during the same period. Results of the assumption that managers in highly concentrated companies are engaged in income enhancing practices vary in two countries. While in Finland managers are trying to show better performance for bonuses or other contractual compensation motivations, in France they avoid paying dividends or high taxes.

A spheroid-based 3-D culture model for pancreatic cancer drug testing, using the acid phosphatase assay

Current therapy for pancreatic cancer is multimodal, involving surgery and chemotherapy. However, development of pancreatic cancer therapies requires a thorough evaluation of drug efficacy in vitro before animal testing and subsequent clinical trials. Compared to two-dimensional culture of cell monolayer, three-dimensional (3-D) models more closely mimic native tissues, since the tumor microenvironment established in 3-D models often plays a significant role in cancer progression and cellular responses to the drugs. Accumulating evidence has highlighted the benefits of 3-D in vitro models of various cancers. In the present study, we have developed a spheroid-based, 3-D culture of pancreatic cancer cell lines MIAPaCa-2 and PANC-1 for pancreatic drug testing, using the acid phosphatase assay. Drug efficacy testing showed that spheroids had much higher drug resistance than monolayers. This model, which is characteristically reproducible and easy and offers rapid handling, is the preferred choice for filling the gap between monolayer cell cultures and in vivo models in the process of drug development and testing for pancreatic cancer.

CONSUMER PERCEPTIONS ON A CONTENT-BASED DIGITAL SERVICE. The usage and service quality of Masennusinfo.fi

Kuluttajat käyttävät sisältöpohjaisia digitaalisia palveluita jatkuvasti saadakseen lisää tietoa terveydestään. Samalla he arvioivat käyttämiensä palveluiden laatua. Jotta yritykset voisivat suunnitella ja tarjota parhaita mahdollisia digitaalisia palveluita kuluttajille, yritysten tulisi tunnistaa ja analysoida kuluttajien kokemuksia ja käyttötarkoituksia heidän palveluissaan. Tämän tutkimuksen tarkoituksena on kuvailla kuluttajien näkemyksiä Masennusinfo.fi:stä, joka on sisältöpohjainen digitaalinen palvelu, ja joka tarjoaa käyttäjilleen tietoa masennuksesta. Päämääränä on selvittää, kuinka kuluttajat kokevat lääkeyrityksen tarjoaman palvelun laadun ja mihin tarkoituksiin sitä käytetään. Tutkimuksen tarkoitus voidaan jakaa kolmeen osa-ongelmaan: • Mihin tarkoituksiin kuluttajat käyttävät sisältöpohjaisia digitaalisia palveluita? • Miten kuluttajat kokevat näiden palveluiden laadun? • Kuinka käyttötarkoitus ja koettu laatu eroavat eri käyttäjäryhmissä? Tutkimus toteutetaan web-pohjaisella kyselytutkimuksella. Mittarit tehdään teoreettisen viitekehyksen pohjalta, joka perustuu aikaisempaan tutkimukseen. Tutkimuksen empiirinen osuus suoritetaan pop-up tutkimuksella, joka sijoitetaan tutkittavalle sivustolle antaen näin kaikille palvelun käyttäjille mahdollisuuden vastata kyselyyn. Tulokset osoittavat, että palvelua käyttävät suurimmaksi osaksi naiset, suhteellisen nuoret 16−29-vuotiaat, tai yli keski-ikäiset 50−65-vuotiaat henkilöt, jotka ovat joko työssäkäyviä tai opiskelijoita ja korkeasti koulutettuja. Masennusinfo.fi nähdään laadukkaana palveluna kaikissa käyttäjäryhmissä sekä sen käytettävyyden että sisällön perusteella. Käyttötarkoituksetkin ovat jokseenkin samankaltaisia eri käyttäjäryhmissä. Yleensä palvelua käytetään tiedon hakemiseen sairauden alkuvaiheessa. Löydöksien perusteella esitetään, että palvelua muokataan vastaamaan yhä paremmin sen käyttötarkoituksia ja tyypillistä käyttäjäprofiilia. Koska muutamia pieniä eroja käyttäjäryhmien näkemyksissä havaittiin, palveluiden tuottaja päättää, minkä ryhmän mieltymyksiä se noudattaa.

Consumer perceptions on a content-based digital service:the usage and service quality of Masennusinfo.fi

Kuluttajat käyttävät sisältöpohjaisia digitaalisia palveluita jatkuvasti saadakseen lisää tietoa terveydestään. Samalla he arvioivat käyttämiensä palveluiden laatua. Jotta yritykset voisivat suunnitella ja tarjota parhaita mahdollisia digitaalisia palveluita kuluttajille, yritysten tulisi tunnistaa ja analysoida kuluttajien kokemuksia ja käyttötarkoituksia heidän palveluissaan. Tämän tutkimuksen tarkoituksena on kuvailla kuluttajien näkemyksiä Masennusinfo.fi:stä, joka on sisältöpohjainen digitaalinen palvelu, ja joka tarjoaa käyttäjilleen tietoa masennuksesta. Päämääränä on selvittää, kuinka kuluttajat kokevat lääkeyrityksen tarjoaman palvelun laadun ja mihin tarkoituksiin sitä käytetään. Tutkimuksen tarkoitus voidaan jakaa kolmeen osa-ongelmaan: Mihin tarkoituksiin kuluttajat käyttävät sisältöpohjaisia digitaalisia palveluita? Miten kuluttajat kokevat näiden palveluiden laadun? Kuinka käyttötarkoitus ja koettu laatu eroavat eri käyttäjäryhmissä? Tutkimus toteutetaan web-pohjaisella kyselytutkimuksella. Mittarit tehdään teoreettisen viitekehyksen pohjalta, joka perustuu aikaisempaan tutkimukseen. Tutkimuksen empiirinen osuus suoritetaan pop-up tutkimuksella, joka sijoitetaan tutkittavalle sivustolle antaen näin kaikille palvelun käyttäjille mahdollisuuden vastata kyselyyn. Tulokset osoittavat, että palvelua käyttävät suurimmaksi osaksi naiset, suhteellisen nuoret 16−29- vuotiaat, tai yli keski-ikäiset 50−65-vuotiaat henkilöt, jotka ovat joko työssäkäyviä tai opiskelijoita ja korkeasti koulutettuja. Masennusinfo.fi nähdään laadukkaana palveluna kaikissa käyttäjäryhmissä sekä sen käytettävyyden että sisällön perusteella. Käyttötarkoituksetkin ovat jokseenkin samankaltaisia eri käyttäjäryhmissä. Yleensä palvelua käytetään tiedon hakemiseen sairauden alkuvaiheessa. Löydöksien perusteella esitetään, että palvelua muokataan vastaamaan yhä paremmin sen käyttötarkoituksia ja tyypillistä käyttäjäprofiilia. Koska muutamia pieniä eroja käyttäjäryhmien näkemyksissä havaittiin, palveluiden tuottaja päättää, minkä ryhmän mieltymyksiä se noudattaa.

Testing Mean-Variance Efficiency in CAPM with Possibly Non-Gaussian Errors : An Exact Simulation-Based Approach

In this paper we propose exact likelihood-based mean-variance efficiency tests of the market portfolio in the context of Capital Asset Pricing Model (CAPM), allowing for a wide class of error distributions which include normality as a special case. These tests are developed in the frame-work of multivariate linear regressions (MLR). It is well known however that despite their simple statistical structure, standard asymptotically justified MLR-based tests are unreliable. In financial econometrics, exact tests have been proposed for a few specific hypotheses [Jobson and Korkie (Journal of Financial Economics, 1982), MacKinlay (Journal of Financial Economics, 1987), Gib-bons, Ross and Shanken (Econometrica, 1989), Zhou (Journal of Finance 1993)], most of which depend on normality. For the gaussian model, our tests correspond to Gibbons, Ross and Shanken’s mean-variance efficiency tests. In non-gaussian contexts, we reconsider mean-variance efficiency tests allowing for multivariate Student-t and gaussian mixture errors. Our framework allows to cast more evidence on whether the normality assumption is too restrictive when testing the CAPM. We also propose exact multivariate diagnostic checks (including tests for multivariate GARCH and mul-tivariate generalization of the well known variance ratio tests) and goodness of fit tests as well as a set estimate for the intervening nuisance parameters. Our results [over five-year subperiods] show the following: (i) multivariate normality is rejected in most subperiods, (ii) residual checks reveal no significant departures from the multivariate i.i.d. assumption, and (iii) mean-variance efficiency tests of the market portfolio is not rejected as frequently once it is allowed for the possibility of non-normal errors.

Finite-Sample Simulation-Based Inference in VAR Models with Applications to Order Selection and Causality Testing

Statistical tests in vector autoregressive (VAR) models are typically based on large-sample approximations, involving the use of asymptotic distributions or bootstrap techniques. After documenting that such methods can be very misleading even with fairly large samples, especially when the number of lags or the number of equations is not small, we propose a general simulation-based technique that allows one to control completely the level of tests in parametric VAR models. In particular, we show that maximized Monte Carlo tests [Dufour (2002)] can provide provably exact tests for such models, whether they are stationary or integrated. Applications to order selection and causality testing are considered as special cases. The technique developed is applied to quarterly and monthly VAR models of the U.S. economy, comprising income, money, interest rates and prices, over the period 1965-1996.

Analysis and Testing of a Novel Oadm Based on FBG and Machzehnder Interferometer

A novel optical add-drop multiplexer (OADM) based on the Mach-Zelauler interferometer (MZI) and the fiber Bragg grating (FBG) is proposed for the first tittle to the authors ' knowledge. In the structure, the Mach-Zehnder interferometer acts as an optical switch. The principle of the OADM is analyzed in this paper. The OADM can add/drop one of the multi-input channels or pass the channel directly by adjusting the difference of the two arms of the interferometer. The channel isolation is more than 20 dB

Validity evidence based on testing consequences

Resumen tomado de la publicación

Design, implementation and testing of an intelligent knowledge-based system for the supervisory control of a hot rolling mill

This paper describes the design, implementation and testing of an intelligent knowledge-based supervisory control (IKBSC) system for a hot rolling mill process. A novel architecture is used to integrate an expert system with an existing supervisory control system and a new optimization methodology for scheduling the soaking pits in which the material is heated prior to rolling. The resulting IKBSC system was applied to an aluminium hot rolling mill process to improve the shape quality of low-gauge plate and to optimise the use of the soaking pits to reduce energy consumption. The results from the trials demonstrate the advantages to be gained from the IKBSC system that integrates knowledge contained within data, plant and human resources with existing model-based systems. (c) 2005 Elsevier Ltd. All rights reserved.