haku: @keyword formaalit menetelmät / yhteensä: 8
viite: 6 / 8
Tekijä: | Mäkelä, Marko |
Työn nimi: | Implementing the Front-End of an SDL Compiler |
SDL-kääntäjän etupään toteutus | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 1998 |
Sivut: | vii + 71 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Digitaalitekniikka (Tik-79) |
Valvoja: | Ojala, Leo |
Ohjaaja: | Husberg, Nisse |
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: | lexical analysis parsing syntax tree semantic analysis compiling SDL formal methods reachability analysis SDL leksikaalinen analyysi jäsentäminen syntaksipuu semanttinen analyysi kääntäminen formaalit menetelmät saavutettavuusanalyysi |
Tiivistelmä (fin): | Laajoissa hajautetuissa järjestelmissä esiintyviä virheitä on käytännössä mahdotonta löytää yksinkertaisen päättelemisen tai testaamisen avulla, ja virheillä voi olla odottamattoman kalliita seurauksia. Hankalimmatkin virheet paljastavien formaalien menetelmien käyttäminen on perinteisesti edellyttänyt tarkasteltavan järjestelmän mallintamista käsin. Monia järjestelmiä ei ole verifioitu, koska mallin tekemistä on pidetty liian työläänä. Kääntäjät mullistivat tietojenkäsittelyn mahdollistamalla korkean tason ohjelmointikielet. Nyt kääntäjien tarkoituksenmukainen soveltaminen lisää formaalien menetelmien käytettävyyttä. Tämä työ kuvaa SDL-kääntäjän etupäätä, joka jäsentää ja tallentaa syntaksipuuhun SDL-kielisiä spesifikaatioita sekä suorittaa semanttisia tarkistuksia. Jäsennin toteuttaa makroja lukuun ottamatta koko SDL-kieliopin vuodelta 1996. Kieliopin saattaminen jäsennintyökalun edellyttämään LALR(1)-muotoon vaati lukuisia muutoksia kielioppiin ja selaimeen. Työssä kiinnitettiin erityistä huomiota virheiden sietämiseen, virheistä toipumiseen sekä virheilmoitusten havainnollisuuteen. Valmistuttuaan kääntäjä muuntaa SDL-ohjelmia korkean tason Petri-verkkomalleiksi, joita voidaan verifioida formaalien menetelmien avulla. |
ED: | 1999-02-02 |
INSSI tietueen numero: 13861
+ lisää koriin
INSSI