Зміст:
- Визначення - Що означає мова абстрактної державної машини (AsmL)?
- Техопедія пояснює мову абстрактної державної машини (AsmL)
Визначення - Що означає мова абстрактної державної машини (AsmL)?
Мова абстрактної машини машини (AsmL) - це виконувана мова специфікації, заснована на теорії абстрактної державної машини (ASM). AsmL використовується для моделювання системи, аналізу, моделювання та тестування на відповідність.
AsmL розроблена науково-дослідною командою Microsoft Foundation of Software Engineering (FSE). Він повністю інтегрується із середовищем .NET та інструментами розвитку Microsoft, включаючи Word і Visual Studio .NET.
Техопедія пояснює мову абстрактної державної машини (AsmL)
На відміну від кількох мов програмування, визначених для кодування та тестування, AsmL орієнтована на спілкування дизайну проекту. Крім того, AsmL може використовуватися на будь-якій стадії розробки. Виконання специфікації AsmL дозволяє проводити тестування моделі, перевірку взаємодії функцій, виконання мети проектування або непередбачене планування подій.
AsmL також використовується для специфікації системи, яка надає користувачам системну картину на основі ASM, математичної моделі стану, що розвивається в системі.
AsmL відрізняється від традиційних програм тим, що надає мінімальні характеристики, що описують все, що стосується вибраних деталей. AsmL полегшує описи стану системи з точки зору змінних та операцій, які мають сенс для користувача.
AsmL доступний як мова моделювання програмного забезпечення в інструменті Spec Explorer, що є компонентом Visual Studio 2010. Реалізація AsmL з відкритим кодом доступна як мова розширених абстрактних державних машин (XASM).
