Spisu treści:
- Definicja - Co oznacza streszczenie State Machine Language (AsmL)?
- Techopedia wyjaśnia Abstract State Machine Language (AsmL)
Definicja - Co oznacza streszczenie State Machine Language (AsmL)?
Abstract State Machine Language (AsmL) to wykonywalny język specyfikacji oparty na teorii Abstract State Machine (ASM). AsmL służy do modelowania systemu, analizy, symulacji i testowania zgodności.
AsmL jest opracowywany przez zespół badawczy Microsoft Foundations of Software Engineering (FSE). W pełni integruje się ze środowiskiem .NET i narzędziami programistycznymi Microsoft, w tym Word i Visual Studio .NET.
Techopedia wyjaśnia Abstract State Machine Language (AsmL)
W przeciwieństwie do wielu języków programowania określonych do kodowania i testowania, AsmL jest nastawiony na komunikację projektu. Dodatkowo AsmL może być stosowany na dowolnym etapie rozwoju. Wykonanie specyfikacji AsmL pozwala na testowanie modelu, sprawdzanie interakcji cech, realizację celu projektu lub nieprzewidziane planowanie zdarzenia.
AsmL służy również do specyfikacji systemu, która zapewnia użytkownikom obraz systemu oparty na ASM, matematycznym modelu ewoluującego stanu środowiska uruchomieniowego systemu.
AsmL różni się od tradycyjnych programów tym, że zapewnia minimalne specyfikacje opisujące wszystko, co dotyczy wybranych szczegółów. AsmL ułatwia opisy stanów systemu pod względem zmiennych i operacji, które są sensowne dla użytkownika.
AsmL jest dostępny jako język modelowania oprogramowania w narzędziu Spec Explorer, który jest składnikiem Visual Studio 2010. Implementacja AsmL typu open source jest dostępna jako język Extensible Abstract State Machines (XASM).
