المثبت الزمني تي 2

المثبت الزمني تي 2  هو محلل برامج آلي تم تطويره ضمن مشروع تيرميناتور في أبحاث مايكروسوفت.

 نظرة عامة 
يهدف تي 2 إلى معرفة ما إذا كان البرنامج سينتهي دومًا بعد فترة محددة أم أنه قد يعمل إلى ما لا نهاية، وهي عملية تُعرف بتحليل إنهاء البرنامج. يدعم البرنامج الحلقات المتداخلة، والدوال العودية، والمؤشرات، والتأثيرات الجانبية، ومؤشرات الدوال، كما يمكنه التعامل مع البرامج المتزامنة.

مثل جميع أدوات تحليل إنهاء البرامج، يحاول تي 2 حل مسألة التوقف في حالات محددة، إذ إن الحل العام لهذه المسألة غير ممكن، أي أنها معضلة غير قابلة للحل. الميزة الأساسية لتي 2 هي أنه يقدم نتائج موثوقة وصحيحًا منطقيًا؛ أي أنه عندما يؤكد أن برنامجًا معينًا سينتهي ولا يعمل إلى ما لا نهاية، تكون النتيجة موثوقة ويمكن الاعتماد عليها.

البرنامج مفتوح المصدر، ويُتاح الكود المصدري بموجب رخصة إم آي تي على منصة غيت هاب.

 المراجع 

 وصلات خارجية 

 ت ي 2 محلل المنطق الزمني على منصة غيت هاب
 مقال تي 2 التحقق من الخواص الزمنية في أبحاث مايكروسوفت
 مشروع أبحاث تيرميناتور على واي باك مشين بتاريخ 4 أكتوبر 2013

تصنيف:برمجيات حرة ومفتوحة المصدر
تصنيف:أبحاث مايكروسوفت
تصنيف:برمجيات تستخدم رخصة إم آي تي
تصنيف:برمجيات تستخدم مونو
تصنيف:برمجيات مايكروسوفت