جدول المحتويات:
التعريف - ماذا تعني لغة آلة الخلاصة (AsmL)؟
Abstract State Machine Language (AsmL) هي لغة مواصفات قابلة للتنفيذ تستند إلى نظرية Abstract State Machine (ASM). يستخدم AsmL لنمذجة النظام ، التحليل ، المحاكاة واختبار المطابقة.
تم تطوير AsmL من قبل فريق الأبحاث التابع لـ Microsoft Foundation of Engineering Software (FSE). إنه يتكامل بشكل كامل مع بيئة .NET وأدوات تطوير Microsoft ، بما في ذلك Word و Visual Studio .NET.
يشرح Techopedia لغة آلة الخلاصة (AsmL)
على عكس عدد من لغات البرمجة المحددة للترميز والاختبار ، فإن AsmL موجه نحو التواصل مع تصميم المشروع. بالإضافة إلى ذلك ، يمكن استخدام AsmL خلال أي مرحلة من مراحل التطوير. يسمح تنفيذ مواصفات AsmL باختبار النموذج أو اختبارات تفاعل الميزة أو تحقيق هدف التصميم أو تخطيط الحدث غير المتوقع.
يستخدم AsmL أيضًا في تحديد مواصفات النظام ، والذي يوفر للمستخدمين صورة نظام تستند إلى ASM ، وهو نموذج رياضي لحالة وقت تشغيل النظام المتطورة.
يختلف AsmL عن البرامج التقليدية لأنه يوفر الحد الأدنى من المواصفات التي تصف أي شيء متعلق بالتفاصيل المحددة. AsmL يسهل أوصاف حالة النظام من حيث المتغيرات والعمليات التي تجعل من المنطقي للمستخدم.
يتوفر AsmL كلغة نمذجة البرامج في الأداة Spec Explorer ، وهو مكون Visual Studio 2010. تطبيق مفتوح المصدر لـ AsmL متاح بلغة آلات الخلاصة القابلة للتوسيع (XASM).
