مشروع SLAM

📅 آخر تحديث: ٢٣ يوليو ٢٠٢٦
✍️ نُشر في: ٢٣ يوليو ٢٠٢٦
الموسوعة الحرة

مشروع SLAM ، الذي بدأه توماس بول وسريرام راجاماني من مايكروسوفت للأبحاث عام ١٩٩٩ ، يهدف إلى التحقق من خصائص سلامة البرمجيات باستخدام تقنيات التحقق من النماذج . تم تنفيذه بلغة OCaml ، واستُخدم لاكتشاف العديد من الأخطاء في برامج تشغيل أجهزة ويندوز. يُوزع المشروع كجزء من حزمة تطوير برامج تشغيل ويندوز من مايكروسوفت تحت اسم Static Driver Verifier (SDV). كان SLAM في الأصل اختصارًا، لكننا وجدنا شرحه مُرهقًا. نُفضل الآن التفكير فيه على أنه "كشف" للأخطاء في البرنامج. [ ١ ] كان يرمز في البداية إلى "البرمجيات (المواصفات)، لغات البرمجة، التجريد، والتحقق من النماذج". [ ٢ ] أعادت مايكروسوفت استخدام اختصار SLAM لاحقًا ليرمز إلى "Social Location Annotation Mobile". [ ٣ ]

انظر أيضاً

مراجع

  1. ↑ بول، توماس؛ كوك، بايرون؛ ليفين، فلاديمير؛ وراجاماني، سريرام ك.؛ SLAM ومُدقِّق برنامج التشغيل الثابت: نقل تكنولوجيا الأساليب الرسمية داخل مايكروسوفت ؛ سلسلة محاضرات في علوم الحاسوب (LNCS)، المجلد 2999: بويتن، إيركي أ.؛ ديريك، جون؛ وسميث، غرايم؛ المحررون؛ المؤتمر الدولي الرابع حول الأساليب الرسمية المتكاملة (IFM 2004)، 4-7 أبريل 2004، كانتربري، المملكة المتحدة ، سبرينغر، برلين/هايدلبرغ، الصفحات 1-20
  2. ↑ بول، توماس؛ ليفين، فلاديمير؛ وراجاماني، سريرام ك.؛ عقد من التحقق من نموذج البرمجيات باستخدام SLAM ؛ اتصالات ACM، المجلد 54 (7)، الصفحات 68-76 (يوليو 2011)
  3. ↑ موندوك، مات؛ هجوم مايكروسوفت اللاذع: ابقَ على اتصال مع أصدقائك، وراقبهم ؛ آرس تكنيكا، 10 أكتوبر 2006