Olen tässä vähän katsellut millaisia työkaluja mallipohjaiseen testaukseen on tarjolla. Näyttäisi olevan ainakin 15 ohjelmaa, ja useita menestystarinoita projekteista joissa noita on käytetty. Eräässä tutkimuksessa todettiin että 70% testauksen automatisointi yrityksistä epäonnistuu, mutta eipä ole yhtään epäonnistunutta kertomusta tullut vastaan.
Ajattelin jakaa työkaluanalyysin neljään osaan:
1. Mallinnus: Tässä on melkoinen kirjo mm: UML statechart, UML2.0, B notation, [...]
Read Full Post »
Posted in koodaus, yliopisto on toukokuu 30, 2007 | Ei kommentteja »
Nyt on ohjelmistoprojektin virallinen osuus ohi. Matskut on luovutettu valvojalle ja CD hienoilla kansilla annettu asiakkaalle. Nyt meillä on vapaehtoispohjalta tiedossa open source projekti aiheesta, ja mahdollisesti joitain esittelyjä alan tilaisuuksissa.
Ohjelmistoprojektinamme oli Bluetooth komentorivityökalu Windowsille. Projekti on MIT open source lisenssin alainen, joten sitä voi käyttää ja jatkokehittää melkein miten vain, kunhan tekijät mainitaan. Sourceforgeen [...]
Read Full Post »
Posted in Uncategorized on toukokuu 29, 2007 | 1 kommentti »
Olen tässä muutamassa uuteen asuntoon. Uudessa asunnossa meillä on useampi tietokone, joista ajattelin yhdistää palvelukokonaisuuden. Tarkoituksena on että ei ole väliä millä koneella olet, niin voit vaihtaa olohuoneen musiikkia ja suurimmalla näytöllä pyörivää videota. Tämä onnistuu erittäin kätevästi UPnP (Universal plug and play) protokollaa hyödyntävillä ohjelmilla. Jos on windows käyttöjärjestelmänä, niin kuin melkein kaikilla on [...]
Read Full Post »
Jotta mallipohjaisia työkaluja voitaisiin oikeasti käyttää johonkin, niin niistä on saatava jotain koodia ulos. Tämä hoituu tekemällä mallin ja testattavan ohjelman rajapinnan väliin mukautumiskerros. Malli kertoo sille kerrokselle että mitä tehdä, ja se tekee sen käytännössä. Esim. mallissa lukee että “jatka eteenpäin”, välikerros lukee tämän ja toteaa että tämän toteuttaakseen sen on painettava “eteenpäin” nappia. [...]
Read Full Post »
Vihdoin ja viimein on valmistunut ensimmäinen Informaatioverkostojen DI. Tämähän ei ole mitenkään suuri ihme, siksi että koulutusohjelmamme on alkanut vuonna 2002. Lisätietoja löytyy aiheesta kirjoitetusta jutusta. Jos aihe kiinnostaa enemmänkin niin kannattaa vilkaista Informaatioverkostojen opiskelijoiden kerhon Infonia:n nettisivua.
Read Full Post »
Mallipohjainen testaus ei varsinaisesti ole uusi asia. IBM on tutkinut sitä jo kymmenen vuotta, joskin ilman varsinaista läpimurtoa. IBM on yrittänyt löytää yleistä mallia jolla voitaisiin testata kaikkea mallipohjaisesti, mutta se näyttää olevan lähes mahdotonta. Tampereella on haettu toista ääripäätä ja tehty työkalua jolla voidaan testata mallipohjaisesti Symbian S60 sarjan puhelimien toimintaa. Tämä on erittäin [...]
Read Full Post »
Tuli tuossa ruokailessa työkaverin kanssa juttua, että kuinka saa pakattua tietoa pienempään tilaan. Tietokoneiden tiedoissa on monesti hyvinkin monta merkkiä peräkkäin, joten hyvä idea on merkitä kolmea aata kolmosella ja yhdella a-kirjaimella. Näin säästää yhden merkin. Sitten kun niitä on enemmän niin tulee enemmän säästöä esim:
Alkuperäinen tieto: WWWWWWWWWWWWBWWWWWWWWWWWWBBBWWWWWWWWWWWWWWWWWWWWWWWWBWWWWWWWWWWWWWW
Pakattu tieto: 12WB12W3B24WB14W
Tätä menetelmää kutsutaan nimellä Run Length [...]
Read Full Post »
Posted in Dippatyö, koodaus on toukokuu 24, 2007 | 3 Kommenttia »
Diplomityö aiheeni on mallipohjaisen testauksen soveltaminen ketterään ohjelmistokehitykseen, joten käynpä hieman läpi mitä tarkoittaa ketterä ohjelmistokehitys?
Perinteisessä ohjelmiston kehityksessä pyritään ensin määrittelemään mahdollisimman tarkasti mitä tullaan tekemään. Sitten pilkkua viilaten tehdään ohjelma, ja jokainen muutos alkuperäiseen maksaa tilaajalle hunajaa ja on tekijälle kettumainen toteuttaa. Perinteinen malli toimii hyvin joissain tapauksissa, esim tukiasemat joissa on selvät vaatimukset [...]
Read Full Post »
Diplomityöni ensimmäinen vaihe on tehdä analyysi olemassa olevista mallipohjaisista työkaluista. Aloitin tänään vilkaisemalla ensimmäistä työkalua. Valitsin Spec Explorerin ainoan ilmaisen työkalun, jotta ei ole kiire tutustumis-lisenssin kanssa. Tämä ohjelma on Microsoftin tekemä, joten yllättäen pitää asentaa melkein koko microftin arsenaali ennen kuin se suostuu pyörähtään edes myötäpäivään (Visual Studio, .net ja c#-tuella jne..). Harvinaisempaa Microsoftilta [...]
Read Full Post »
Joillakin on käsitys että mallipohjainen testaus on kun tehdään testi tapauksista graafinen malli ja generoidaan suorittava koodi nappia painamalla. Itse asiassa mallipohjaisen testauksen suurin tavoite on automatisoida itse testien suunnittelu. Eli jos testi suunnitellaan käsin ja piirretään mallina, niin ei puhuta varsinaisesti mallipohjaisesta testauksesta.
Yksinkertaisimmillaan mallipohjainen testaus tarkoittaa, että tehdään tilakone systeemin käyttäytymisestä ja ajetaan sitä [...]
Read Full Post »
