Sisällysluettelo:
- Määritelmä - Mitä abstrakti valtion konekieli (AsmL) tarkoittaa?
- Techopedia selittää abstraktin valtion konekielen (AsmL)
Määritelmä - Mitä abstrakti valtion konekieli (AsmL) tarkoittaa?
Abstract State Machine Language (AsmL) on suoritettava määrittelykieli, joka perustuu abstraktin valtion koneen (ASM) teoriaan. AsmL: tä käytetään järjestelmän mallintamiseen, analysointiin, simulointiin ja vaatimustenmukaisuuden testaamiseen.
AsmL: n on kehittänyt Microsoftin perustaminen ohjelmistosuunnitteluun (FSE). Se integroituu täysin .NET-ympäristöön ja Microsoftin kehitystyökaluihin, mukaan lukien Word ja Visual Studio .NET.
Techopedia selittää abstraktin valtion konekielen (AsmL)
Toisin kuin useat ohjelmointikielet, jotka on määritetty koodaukseen ja testaamiseen, AsmL on suunnattu viestimään projektisuunnittelua. Lisäksi AsmL: tä voidaan käyttää missä tahansa kehitysvaiheessa. AsmL-määrityksen suorittaminen mahdollistaa mallitestauksen, ominaisuuksien vuorovaikutustarkistuksen, suunnittelutavoitteen toteutumisen tai odottamattoman tapahtuman suunnittelun.
AsmL on tottunut myös järjestelmän määrittelyyn, joka tarjoaa käyttäjille järjestelmäkuvan, joka perustuu ASM: ään, matemaattiseen malliin järjestelmän kehittyvästä käyttöajasta.
AsmL eroaa perinteisistä ohjelmista siinä, että se tarjoaa minimaaliset eritelmät, jotka kuvaavat mitä tahansa valittuihin yksityiskohtiin liittyvää. AsmL helpottaa järjestelmän tilakuvauksia muuttujien ja käyttäjän kannalta järkevien toimintojen muodossa.
AsmL on saatavana ohjelmistojen mallinnuskielenä Spec Explorer -työkalussa, joka on Visual Studio 2010 -komponentti. AsmL: n avoimen lähdekoodin toteutus on saatavana XASM (Extensible Abstract State Machines) -kielenä.
