haku: @keyword verification / yhteensä: 33
hakutulos-lista
viite: 23 / 33
« edellinen | seuraava »
Tekijä:Luukkala, Vesa
Työn nimi:Applying CFFD equivalence as implementation relation in conformance testing
CFFD ekvivalenssin soveltaminen implementaatiorelaationa konformanssitestauksessa
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:1999
Sivut:iv + 54      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan osasto
Oppiaine:Tietojenkäsittelyoppi   (Tik-76)
Valvoja:Tiusanen, Mikko
Ohjaaja:Kettunen, Esa
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 T80     | Arkisto
Avainsanat:formal methods
software development
LTS
process algebra
conformance testing
verification
CFFD equivalence
reactive systems
formaalit menetelmät
ohjelmistosuunnittelu
LTS
prosessialgebrat
konformanssitestaus
verifiointi
CFFD ekvivalenssi
reaktiiviset järjestelmät
Tiivistelmä (fin):Konformanssitestauksen tarkoituksena on löytää ne tapaukset, joissa toteutus ei noudata määrittelyä.
On erittäin tärkeää varmistaa, että eri toimittajien toteutukset toimivat keskenään yhteisten sääntöjen mukaan.

Tässä työssä tarkastellaan formaaleita määrittelyitä, jotka esitetään prosessialgebroilla, kuten CCS ja LOTOS.
Tämä sallii testitapausten automaattisen luomisen, mikä on hyödyllistä, koska testaukseen käytetty työmäärä kasvaa järjestelmien monimutkaisuuden ja koon myötä.
Prosessialgebrajärjestelmien konformanssi ilmaistaan toteutusrelaationa, joka useimmiten pohjautuu prosessien välisiin ekvivalensseihin.

Valmarin et al.
CFFD ekvivalenssia pohditaan korvaajaksi yleiselle testausekvivalenssiin (Hennessy ja Nicola) pohjautuvalle toteutusrelaatiolle, jolla ilmenee pillastumiin (livelock) liittyviä ongelmia.
Sillä oletuksella, että pillastumat ovat havaittavissa, annetaan ulkoinen määritelmä CFFD ekvivalenssille ja hahmotellaan vastaava vaatimusmäärittelykieli.
Tämä täydentää hieman Leducin pohdiskelua koskien kongruensseja ja epäreiluja pillastumia.
ED:1999-09-24
INSSI tietueen numero: 14738
+ lisää koriin
« edellinen | seuraava »
INSSI