Kazalo:
- Opredelitev - Kaj pomeni jezik državnega strojnega stroja (AsmL)?
- Tehopedija pojasnjuje jezik abstraktnega računalniškega stroja (AsmL)
Opredelitev - Kaj pomeni jezik državnega strojnega stroja (AsmL)?
Jezik abstraktnega računalniškega stroja (AsmL) je izvedljiv jezik s specifikacijami, ki temelji na teoriji abstraktnega državnega stroja (ASM). AsmL se uporablja za modeliranje sistemov, analize, simulacije in testiranje skladnosti.
AsmL je razvila Microsoftova raziskovalna skupina Temelji programskega inženiringa (FSE). V celoti se vključuje v okolje .NET in Microsoftova razvojna orodja, vključno z Wordom in Visual Studio .NET.
Tehopedija pojasnjuje jezik abstraktnega računalniškega stroja (AsmL)
Za razliko od številnih programskih jezikov, določenih za kodiranje in testiranje, je AsmL usmerjen v komuniciranje o oblikovanju projektov. Poleg tega se lahko AsmL uporablja na kateri koli stopnji razvoja. Izvedba specifikacij AsmL omogoča testiranje modela, preverjanje medsebojnih funkcij, izpolnitev ciljev načrtovanja ali načrtovanje dogodkov v nepričakovanih primerih.
AsmL se uporablja tudi za specifikacije sistema, ki uporabnikom ponuja sistemsko sliko, ki temelji na ASM, matematičnem modelu razvijajočega se stanja izvajanja sistema.
AsmL se od tradicionalnih programov razlikuje po tem, da ponuja minimalne specifikacije, ki opisujejo vse, kar je povezano z izbranimi podrobnostmi. AsmL olajša opise stanja sistema v smislu spremenljivk in operacij, ki so smiselne za uporabnika.
AsmL je na voljo kot programski jezik za modeliranje v orodju Spec Explorer, ki je komponenta Visual Studio 2010. Odprtokodna implementacija AsmL je na voljo kot jezik XASM (Extensible Abstract Machine Machines).
