Съдържание:
- Определение - Какво означава абстрактният държавен машинен език (AsmL)?
- Техопедия обяснява абстрактния държавен машинен език (AsmL)
Определение - Какво означава абстрактният държавен машинен език (AsmL)?
Language State Machine Language (AsmL) е изпълним език на спецификация, основан на теорията на Abstract State Machine (ASM). AsmL се използва за моделиране на системи, анализ, симулация и тестване на съответствието.
AsmL е разработен от изследователския екип Основи на софтуерния инженеринг (FSE) на Microsoft. Той се интегрира изцяло с средата .NET и инструментите за разработка на Microsoft, включително Word и Visual Studio .NET.
Техопедия обяснява абстрактния държавен машинен език (AsmL)
За разлика от редица програмни езици, определени за кодиране и тестване, AsmL е насочена към комуникация на проекта. Освен това, AsmL може да се използва по време на всеки етап на развитие. Изпълнението на спецификацията на AsmL позволява тестване на модела, проверка на взаимодействието на функциите, изпълнение на целта на проектирането или непредвидено планиране на събитията.
AsmL също е използван за спецификация на системата, която предоставя на потребителите системна картина, базирана на ASM, математически модел на еволюиращото състояние на изпълнение на системата.
AsmL се различава от традиционните програми по това, че предоставя минимални спецификации, описващи всичко, свързано с избрани детайли. AsmL улеснява описанията на системните състояния по отношение на променливи и операции, които имат смисъл за потребителя.
AsmL се предлага като език за софтуерно моделиране в инструмента Spec Explorer, който е компонент на Visual Studio 2010. Реализацията на AsmL с отворен код е достъпна като език за разширени абстрактни държавни машини (XASM).
