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.

Demand-based structural change and balanced economic growth

[eng] We analyze the equilibrium of a multi-sector exogenous growth model where the introduction of minimum consumption requirements drives structural change. We show that equilibrium dynamics simultaneously exhibt structural change and balanced growth of aggregate variables as is observed in US when the initial intensity of minimum consumption requirements is sufficiently small. This intensity is measured by the ratio between the aggregate value of the minimum consumption requirements and GDP and, therefore, it is inversely related with the level of economic development. Initially rich economies benefit from an initially low intensity of the minimum consumption requirements and, as a consequence, these economies end up exhibiting balanced growth of aggregate variables, while there is structural change. In contrast, initially poor economies suffer from an initially large intensity of the minimum consumption requirements, which makes the growth of the aggregate variables unbalanced during a very large period. These economies may never exhibit simultaneously balanced growth of aggregate variables and structural change.

Software Security Design and Testing

Elektroninen kaupankäynti ja pankkipalvelut ovat herättäneet toiminnan jatkuvuuden kannalta erittäin kriittisen kysymyksen siitä, kuinka näitä palveluja pystytään suojaamaan järjestäytynyttä rikollisuutta ja erilaisia hyväksikäyttöjä vastaan.

Testing and Monitoring Mill Connection Messages

Tarve tälle työlle on noussut sanomapalvelinsoveluksissa (servers) esiintyvistä ongelmista. Sanomapalvelinsovelluksia käytetään lähettämään ja vastaanottamaan sanomia paperiteollisuuden myynnin ja jakelun järjestelmässä maantieteellisesti erillään olevista paperiteollisuuden tehtaista. Sanomapalvelinsovelusten kunnollinen toimivuus on tärkeää koko järjestelmän toimivuuden kannalta, koska nämä palvelimet käsittelevät päivittäin tuhansia sanomia, jotka sisältävät merkityksellistä järjestelmätietoa. Tässä työssä on tutkittu mahdollisia toteutustekniikoita ja näihin tutkimuksiin pohjautuen toteutettu työkalut sanomapalvelinsovellusten testaukseen ja valvontaan. Sovellus-arkkituuritekniikoita tutkittaessa tutkimus rajattiin 3-tasoarkkitehtuuritekniikkaan, erityisesti TUXEDOTM -järjestelmätekniikkaan, koska toteutettavaa sovellusta käytetään hajautetussa sovellusympäristössä. Sovellusasiakkaan (client) toteutusta varten tutkittiin ja vertailtiin XML-tekniikkaa ja Microsoft Visual C++ -tekniikkaa käytettynä Tieto-Enatorin Phobos Interaktiivisen C++ -luokkakirjaston kanssa. XML-tekniikoita sekä Visual C++ ja Phobos-luokkakirjasto –tekniikkaa tutkittiin niiltä osin, mitä tarvittiin sanomamerkkijonojen katseluun. XML-tietokantatekniikoita tutkittiin mahdollisena vaihtoehtona tietokanta ja sovelluspalvelintekniikalle. Työn ensimmäisenä tavoitteena oli toteuttaa työkalu sanomapalvelinsovellusten testaamiseen. Toisena tavoitteena oli toteuttaa työkalu sanomien sisällön oikeellisuuden valvontaan. Kolmantena tavoitteena oli analysoida olemassaolevaa sanomavirheiden valvontasovellusta ja kehittää sitä eteenpäin. Diplomityön tuloksena toteutettiin sovellus sanomapalvelinsovellusten testaamiseen ja valvontaan. Tutkituista asiakassovelustekniikoista valittiin toteutus-tekniikaksi MS Visual C++ käytettynä Phobos Interaktiivisen C++ luokkakirjaston kanssa tekniikan tunnettavuuden vuoksi. 3-taso TUXEDOTM-tekniikka valittiin sovelluksen arkkitehtuuriksi. Lisäksi löydettiin parannuksia olemassa oleviin sanoma-virheiden valvontatoimintoihin. Tutkitut toteutustekniikat ovat yleisiä ja niitä voidaan käyttää, kun toteutetaan samanlaisia sovelluksia samanlaisiin sovellusympäristöihin.

Balanced Scorecard kevytmetallivalimossa

Työn tavoitteena oli kehittää alihankintaosia valmistavalle kevytmetallivalimolle Balanced Scorecard - malliin pohjautuva suorituskyvyn mittausjärjestelmä. Mittariston tarkoituksena on kasvattaa yritysjohdon tietämystä yrityksen eri toimintojen suorituskyvystä ja tarjota informaatiota päätöksenteon tueksi. Tarve suorituskyvyn mittaamiselle on syntynyt yrityksen kasvaessa ja asiakaspohjan laajentuessa. Työn alussa tutkittiin kirjallisuutta liittyen suorituskyvyn mittaamiseen. Tämän jälkeen tutkittiin strategiatyötä Balanced Scorecard – projektin yhteydessä ja itse Balanced Scorecard – projektiin liittyviä kysymyksiä. Teoriatiedon pohjalta muodostettiin kohdeyrityksen Balanced Scorecard. Ensin täsmennettiin yrityksen visiota ja strategiaa hyvän mittariston luomiseksi. Mittarit valittiin pohjautuen kriittisiin menestystekijöihin ja ne sijoitettiin näkökulmiin, jotka ovat sisäisten prosessien näkökulma, asiakasnäkökulma, talousnäkökulma sekä kasvun ja kehityksen näkökulma. Sisäisten prosessien näkökulmaan sijoitettiin tuotekohtaisia, osastokohtaisia ja toimittajakohtaisia mittareita. Mittaristo ei suinkaan ole projektin päätyttyä valmis vaan sitä tulee kehittää jatkuvasti. Mittariston käyttöönotto avaa mahdollisuuksia niin toiminnanohjausjärjestelmän paremmalle hyödyntämiselle kuin tavoitehinnoittelun käyttöönotolle. Myös asiakaskannattavuuslaskennan käyttöönottoa tulevaisuudessa kannattaa harkita.

Design and Testing of Database Libraries

Nokia Push To Talk järjestelmä tarjoaa uuden kommunikointimetodin tavallisen puhelun oheen. Yksi tärkeimmistä uuden järjestelmän ominaisuuksista on puhelunmuodostuksen nopeus. Lisäksi järjestelmän tulee olla telekommunikaatiojärjestelmien yleisten periaatteiden mukainen, mahdollisimman stabiili ja skaalautuva, jotta järjestelmä olisi mahdollisimman vikasietoinen ja laajennettavissa. Diplomityön päätavoite on esitellä "C++"-tietokantakirjastojen suunnittelua ja testausta. Aluksi tutkitaan tietokantajärjestelmien problematiikkaa alkaen tietokantajärjestelmän valinnasta ja huomioiden erityisesti nopeuskriteerit. Sitten esitellään kaksi teknistä toteutusta kahta "C++"-tietokantakirjastoa varten ja pohditaan joitakin vaihtoehtoisia toteutustapoja.

Methods of Design and Testing of Real Time Systems

Teollusuussovelluksissa vaaditaan nykyisin yhä useammin reaaliaikaista tiedon käsittelyä. Luotettavuus on yksi tärkeimmistä reaaliaikaiseen tiedonkäsittelyyn kykenevän järjestelmän ominaisuuksista. Sen saavuttamiseksi on sekä laitteisto, että ohjelmisto testattava. Tämän työn päätavoitteena on laitteiston testaaminen ja laitteiston testattavuus, koska luotettava laitteistoalusta on perusta tulevaisuuden reaaliaikajärjestelmille. Diplomityössä esitetään digitaaliseen signaalinkäsittelyyn soveltuvan prosessorikortin suunnittelu. Prosessorikortti on tarkoitettu sähkökoneiden ennakoivaa kunnonvalvontaa varten. Uusimmat DFT (Desing for Testability) menetelmät esitellään ja niitä sovelletaan prosessorikortin sunnittelussa yhdessä vanhempien menetelmien kanssa. Kokemukset ja huomiot menetelmien soveltuvuudesta raportoidaan työn lopussa. Työn tavoitteena on kehittää osakomponentti web -pohjaiseen valvontajärjestelmään, jota on kehitetty Sähkötekniikan osastolla Lappeenrannan teknillisellä korkeakoululla.

Software testing design and implementation in a small software company

Monet ohjelmistoyritykset ovat alkaneet kiinnittää yhä enemmän huomiota ohjelmistotuotteidensa laatuun. Tämä on johtanut siihen, että useimmat niistä ovat valinneet ohjelmistotestauksen välineeksi, jolla tätä laatua voidaan parantaa. Testausta ei pidä rajoittaa ainoastaan ohjelmistotuotteeseen itseensä, vaan sen tulisi kattaa koko ohjelmiston kehitysprosessi. Validaatiotestauksessa keskitytään varmistamaan, että lopputuote täyttää sille asetetut vaatimukset, kun taas verifikaatiotestausta käytetään ennaltaehkäisevänä testauksena, jolla pyritään poistamaan virheitä jo ennenkuin ne pääsevät lähdekoodiin asti. Työ, johon tämä diplomityö perustuu, tehtiin alkukevään ja kesän aikana vuonna 2003 Necsom Oy:n toimeksiannosta. Necsom on pieni suomalainen ohjelmistoyritys, jonka tutkimus- ja kehitysyksikkö toimii Lappeenrannassa.Tässä diplomityössä tutustutaan aluksi ohjelmistotestaukseen sekä eri tapoihin sen organisoimiseksi. Tämän lisäksi annetaan yleisiä ohjeita testisuunnitelmien ja testaustapausten tekoon, joita onnistunut ja tehokas testaus edellyttää. Kun tämä teoria on käyty läpi, esitetään esimerkkinä kuinka sisäinen ohjelmistotestaus toteutettiin Necsomilla. Lopuksi esitetään johtopäätökset, joihin päädyttiin käytännön testausprosessin seuraamisen jälkeen ja annetaan jatkotoimenpide-ehdotuksia.

Applying TTCN to testing of Mobile IP

Diplomityö käsittelee ISO:n yhdenmukaisuustestin menetelmien sekä ISO-9646:n kehysten soveltamista Mobile IPv6 protokollan testauksessa. Mobile IPv6 protokollaa tarkastellaan määrittelyjen pohjalta, myös testien tärkeyttä ja tulosten johtamista käsitellään. Työssä käsitellän MSC:n (Message Sequence Charts) käyttöä testaustyössä mahdolliset edut huomioiden. TTCN kieli, testausmenetelmät ja OpenTTCN testauskone käsitellään. Testin kohteena olevien yhdyskäytävän ja palvelimen määrittelyt kuvataan. Osia abstract test suite :sta (ATS) esitellään esimerkin antamiseksi todellisesta sovelluksesta ja sen yhteydestä tehtyyn dokumenttiin.

Balanced scorecard 1990-luvun johtamismallina

Tutkimuksen tavoitteena oli tutkia tasapainotettua mittaristoa tapana mitata suorituskykyä ja jalkauttaa yritysstrategiaa sekä johtamisfilosofioiden historiaa niin laajasti kuin tasapainotetun mittariston sijoittaminen historialliseen viitekehykseen edellyttää. Tutkielman doktriini koostuu johtamisfilosofioiden historiaa, strategiaprosessia ja tasapainotettua mittaristoa koskevasta kirjallisuudesta. Tutkimusmetodologiaksi oli valittu käsiteanalyyttinen metodologia. Valitun näkökulman mukaan tutkimus tarkasteli taloudellisen tiedon olemusta, laskentatoimen muuttuvia tehtäviä, johtamisfilosofioiden ja johdon laskentatoimen historiallista kehitystä ja tasapainotettua mittaristoa kehityksen tuloksena. Balanced scorecard on strateginen malli yhdistää liiketoimintayksikön kriittisten menestystekijöiden kehittymisen seuranta ja ohjaus samalle suoritusmittaristolle. Tutkimuksessa osoitettiin, että tasapainotettujen mittaristojen kehitys on saanut vaikutteita tavoite-, laatu- ja toimintojohtamisesta ja että tasapainotettu mittaristo on vuosisadan kestäneen kehityksen tulosta.

Balanced Scorecard (BSC) TE-keskusten strategisessa ohjauksessa

Kauppa- ja teollisuusministeriö yhdessä työministeriön ja maa- ja metsätalousministeriön kanssa ohjaavat työvoima- ja elinkeinokeskuksia (TE –keskuksia). Tutkimuksen tavoitteena on kuvata ohjausprosessi, jonka avulla ministeriöt ohjaavat TE –keskuksia sekä analysoida TE –keskusten ohjauksen työkalua, Balanced Scorecardia, ja antaa sitä koskevia kehitysehdotuksia. Tutkimusmetodologia on toiminta-analyyttinen. Teoreettinen viitekehys koostuu tulosohjauksen teoriasta ja Balanced Scorecardin teoriasta. Empiirinen aineisto kerätään tekemällä haastatteluja. Tärkeimmät TE –keskusten Balanced Scorecardia koskevat kehitysehdotukset koskevat mittaristoa ja raportointia. Mittaristossa suurin kehittämistarve on TE -keskusten yhteisillä mittareilla sekä mittariston näkökulmien syy-seuraussuhteiden selventämisellä. Jotta Balanced Scorecard toimisi parhaalla mahdollisella tavalla, on henkilöstön koulutus erityisen tärkeää.

Ydinosaaminen Atro -konsernissa - Balanced Scorecard ja oppiva organisaatio toiminnan kehittäjinä

Tutkielman tavoitteena on kuvata Atro-konsernin henkilöstön näkemyksiä konsernin ydinosaamisesta sekä sitä tukevasta osaamisesta. Tässä tutkielmassa on kolme teemaa; päätutkimusongelmana konsernin yhtiöiden ydinosaamisten erottaminen muusta osaamisesta sekä alatutkimusongelmina ydinosaamisen ja organisaation toiminnan kehittämisen työkalut Balanced Scorecard ja oppiva organisaatio. Tutkielmassa on käytetty laadullista tutkimusotetta, joka sopii hyvin tutkimuksiin joissa pyritään selvittämään tutkittavien sen hetkisiä ajatuksia ja näkemyksiä tutkittavasta aiheesta. Empiirinen aineisto on kerätty teemahaastattelemalla 22 henkilöä Atro –konsernista. Tässä tutkielmassa käytettyjen tutkimusmenetelmien ja analyysin kautta saadut tutkimustulokset kuvaavat tavoitteiden mukaisesti Atro-konsernin henkilöstön toimimista ydinosaamiseen, Balanced Scorecardiin ja oppivaan organisaatioon liittyvissä asioissa. Työn tutkimustuloksista voidaan esittää johtopäätöksenä, että ydinosaamisen kehittämiseksi organisaation johdon pitää tietää organisaation todelliset osaamisalueet ja osata johtaa näistä ydinosaaminen. Balanced Scorecardin ja oppivan organisaation hyödyntäminen ydinosaamisen ja organisaation toiminnan kehittäjinä ei ole ongelmatonta. Niiden kehittämiseen organisaation johdon on panostettava resursseja. Organisaation toiminnan kehittämisen on oltava tietoista ja pitkäjänteistä, jotta kehittämistyökalujen hyödyt eivät jää irrallisiksi muusta toiminnasta eivätkä näin ollen tue organisaation kehittämistyötä parhaalla mahdollisella tavalla. Työn tulosten yleistämisessä tulee ottaa huomioon, että kussakin organisaatiossa ihmiset toimivat kokemustensa ja osaamistensa kautta, jotka vaikuttavat kunkin organisaation kykyyn menestyä vallitsevilla markkinoilla.

Interface Implementation for GPRS/PCU Software Testing with Emulators

Jatkuvasti lisääntyvä matkapuhelinten käyttäjien määrä, internetin kehittyminen yleiseksi tiedon ja viihteen lähteeksi on luonut tarpeen palvelulle liikkuvan työaseman liittämiseksi tietokoneverkkoihin. GPRS on uusi teknologia, joka tarjoaa olemassa olevia matka- puhelinverkkoja (esim. NMT ja GSM) nopeamman, tehokkaamman ja taloudellisemman liitynnän pakettidataverkkoihin, kuten internettiin ja intranetteihin. Tämän työn tavoitteena oli toteuttaa GPRS:n paketinohjausyksikön (Packet Control Unit, PCU) testauksessa tarvittavat viestintäajurit työasemaympristöön. Aidot matkapuhelinverkot ovat liian kalliita, eikä niistä saa tarvittavasti lokitulostuksia, jotta niitä voisi käyttää GPRS:n testauksessa ohjelmiston kehityksen alkuvaihessa. Tämän takia PCU-ohjelmiston testaus suoritetaan joustavammassa ja helpommin hallittavassa ympäristössä, joka ei aseta kovia reaaliaikavaatimuksia. Uusi toimintaympäristö ja yhteysmedia vaativat PCU:n ja muiden GPRS-verkon yksiköiden välisistä yhteyksistä huolehtivien ohjelman osien, viestintäajurien uuden toteutuksen. Tämän työn tuloksena syntyivät tarvittavien viestintäajurien työasemaversiot. Työssä tarkastellaan eri tiedonsiirtotapoja ja -protokollia testattavan ohjelmiston vaateiden, toteutetun ajurin ja testauksen kannalta. Työssä esitellään kunkin ajurin toteuttama rajapinta ja toteutuksen aste, eli mitkä toiminnot on toteutettu ja mitä on jätetty pois. Ajureiden rakenne ja toiminta selvitetään siltä osin, kuin se on oleellista ohjelman toiminnan kannalta.

Balanced Scorecard ja tulospalkkaus : Case Vakuutusyhtiö Sampo Oy

Tutkielman päätavoite on tutkia, miten tulospalkkaus voidaan integroida Balanced Scorecard-perusteiseen tulosohjaukseen ja analysoida miten kyseiset asiat on huomioitu Vakuutusyhtiö Sammon mallissa. Tutkielman empiirinen osa on rakennettu pääosin haastatteluihin pohjautuen. Tutkimusmetodologia on toiminta-analyyttinen ja haastattelut suoritettiin teemahaastatteluina. Tutkimuksessa todetaan, että ei ole yhtä ainoaa oikeaa tapaa yhdistää tulospalkkaus Balanced Scorecardiin. Tapa, miten tulospalkkaus liitetään Balanced Scorecardiin riippuu yrityksestä, sen tavoitteista ja niistä johdetuista kriittisistä menestystekijöistä. Tulospalkkaus on perusteltua yhdistää Balanced Scorecardiin paitsi huomion kiinnittämiseksi yrityksen strategisiin tavoitteisiin myös sen suoritusta ohjaavan vaikutuksen vuoksi. Integroitaessa tulospalkkausta Balanced Scorecardiin todettiin myös casetarkastelussa kriittisiksi alueiksi kommunikointi, onnistunut tavoiteasetanta, mittarit, järjestelmät ja esimiestyöskentely.