search query: @keyword mallipohjainen testaus / total: 5
reference: 5 / 5
« previous | next »
Author: | Cankar, Nikolaj |
Title: | Model Based Testing Using UML |
UML-tilakaavioihin perustuva mallipohjainen testaus | |
Publication type: | Master's thesis |
Publication year: | 2003 |
Pages: | 57 Language: eng |
Department/School: | Sähkö- ja tietoliikennetekniikan osasto |
Main subject: | Tietojenkäsittelyteoria (T-119) |
Supervisor: | Niemelä, Ilkka |
Instructor: | Heljanko, Keijo |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark S80 | Archive |
Keywords: | UML labelled transition system on-the-fly model based testing conformance UML LTS tilasiirtymäjärjestelmä mallipohjainen testaus |
Abstract (fin): | Ohjelmistotestaus nähdään usein pakolliseksi, kalliiksi ja hitaaksi toimenpiteeksi, joka kuitenkin tulee suorittaa jokaisessa ohjelmistoprojektissa. Testausta voidaan pitää menestyksekkäänä silloin, kun sovelluksesta ei löydy luovutuksen jälkeen sellaisia virheitä joiden korjaaminen maksaa enemmän kuin, mitä olisi kulunut testauksessa saman virheen löytämiseen. UML-tilakaavioihin perustuva mallipohjainen testaus on uusi lähestymistapa testaukseen, jossa ajatuksena on mallintaan testattavan sovelluksen toiminta ja saada näin luotua automaattisesti testitapauksia, joilla voidaan varmistua testattavan sovelluksen oikeasta toimivuudesta spesifikaatioon suhteen. Työssä käytettiin rajoitettua UML :n osajoukkoa testattavan sovelluksen mallintamiseen. UML ei ikävä kyllä ole tarpeeksi muodollinen kuvauskieli, joten sille on annettava kuvaus, joka mahdollistaa sen automaattisen tulkinnan. Eräs sopiva kuvauskieli on LTS (labelled transition system). UML-mallia vastaavan LTS järjestelmän laskeminen on usein kuitenkin liian vaikea tehtävä johtuen muun muassa UML-mallin epädeterministisyydestä. Ongelmaa voidaan helpottaa suorittamalla testattavaa sovellusta ja tulkitsemalla UML-mallia rinnakkain. Tällöin tarvitsee laskea vain ne seuraajatilat LTS tilasiirtymäjärjestelmässä, jotka sovellus suorittaa ja verrata sovelluksen ja tilasiirtymäjärjestelmän tiloja keskenään sovelluksen ajon aikana. Tämän tyyppistä tilojen vertailua voidaan pitää ajonaikaisena testauksena. Työn lopussa on esitetty, miten tämänkaltaista ajonaikaista testausta kokeiltiin erään tietokannan palvelimen testaukseen. Tähän käytettiin erästä kaupallista työkalua, jolla mallinnettiin ja ajettiin testitapaukset. |
ED: | 2003-11-12 |
INSSI record number: 20123
+ add basket
« previous | next »
INSSI