haku: @keyword process algebra / yhteensä: 2
viite: 1 / 2
« 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 Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen 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
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
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