haku: @keyword conformance / yhteensä: 2
hakutulos-lista
viite: 2 / 2
« edellinen | seuraava »
Tekijä:Cankar, Nikolaj
Työn nimi:Model Based Testing Using UML
UML-tilakaavioihin perustuva mallipohjainen testaus
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2003
Sivut:57      Kieli:   eng
Koulu/Laitos/Osasto:Sähkö- ja tietoliikennetekniikan osasto
Oppiaine:Tietojenkäsittelyteoria   (T-119)
Valvoja:Niemelä, Ilkka
Ohjaaja:Heljanko, Keijo
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark S80     | Arkisto
Avainsanat:UML
labelled transition system
on-the-fly
model based testing
conformance
UML
LTS
tilasiirtymäjärjestelmä
mallipohjainen testaus
Tiivistelmä (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 tietueen numero: 20123
+ lisää koriin
« edellinen | seuraava »
INSSI