Turinys:
- Apibrėžimas - ką reiškia abstrakčioji valstybinė mašinų kalba (AsmL)?
- „Techopedia“ paaiškina abstrakčią valstybinę mašinų kalbą (AsmL)
Apibrėžimas - ką reiškia abstrakčioji valstybinė mašinų kalba (AsmL)?
„Abstract State Machine Language“ (AsmL) yra vykdoma specifikacijos kalba, pagrįsta „Abstract State Machine“ (ASM) teorija. AsmL naudojamas sistemos modeliavimui, analizei, modeliavimui ir atitikties testavimui.
„AsmL“ sukūrė „Microsoft“ programinės įrangos inžinerijos (FSE) tyrimų komanda. Jis visiškai integruotas su .NET aplinka ir „Microsoft“ kūrimo įrankiais, įskaitant „Word“ ir „Visual Studio .NET“.
„Techopedia“ paaiškina abstrakčią valstybinę mašinų kalbą (AsmL)
Skirtingai nuo daugelio programavimo kalbų, nurodytų kodavimui ir testavimui, „AsmL“ yra skirtas komunikuoti projekto projektą. Be to, „AsmL“ gali būti naudojamas bet kuriame vystymosi etape. AsmL specifikacijos vykdymas leidžia atlikti modelio bandymus, funkcijų sąveikos patikrinimus, projekto tikslo įvykdymą ar nenumatytą įvykio planavimą.
„AsmL“ taip pat yra įpratęs prie sistemos specifikacijos, kuri vartotojams pateikia sistemos vaizdą, pagrįstą ASM, sistemos kintančios vykdymo būsenos matematiniu modeliu.
„AsmL“ nuo tradicinių programų skiriasi tuo, kad teikia minimalias specifikacijas, apibūdinančias viską, kas susiję su pasirinkta informacija. „AsmL“ palengvina sistemos būsenų apibūdinimą kintamaisiais ir vartotojui prasmingomis operacijomis.
„AsmL“ galima naudoti kaip programinės įrangos modeliavimo kalbą įrankyje „Spec Explorer“, kuris yra „Visual Studio 2010“ komponentas. AsmL atvirojo kodo įgyvendinimas galimas kaip XASM (Extensible Abstract State Machines) kalba.
