Tietojenkäsittelytiede:mallintarkastus
mallintarkastus
| mallintarkastus |
Määritelmä
formaali menetelmä, jonka avulla voidaan automaattisesti todentaa järjestelmän mallin käyttäytymistä kuvaava ominaisuus
Selite
Menetelmät kuten simulointi ja testaus perustuvat rajalliseen määrään kokeiltuja syötteiden yhdistelmiä, ja on usein mahdotonta kattaa kaikki mahdolliset tilanteet. Mallintarkastus perustuu järjestelmän mallin koko tila-avaruuden kattavaan hakuun, johon perustuen päätellään, päteekö jokin ominaisuus vai ei. Ominaisuudet kuvaavat järjestelmän dynaamista käyttäytymistä, ja ne kuvataan tyypillisesti temporaalilogiikan avulla.
Erikieliset vastineet
| model checking | englanti (English) |
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 16.12.2025: Tietojenkäsittelytiede:mallintarkastus. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Tietojenkäsittelytiede:mallintarkastus.)