آمن على الخيوط

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

ThreadSafe هي أداة لتحليل شفرة المصدر، تُحدد مخاطر التطبيقات ونقاط الضعف الأمنية المرتبطة بالتزامن في قواعد بيانات شفرة جافا، باستخدام تحليل شامل للإجراءات بين البرامج. [ 1 ] [ 2 ] [ 3 ] [ 4 ] تُستخدم ThreadSafe لتحديد وتجنب أعطال البرامج في التطبيقات المتزامنة التي تعمل في بيئات معقدة. [ 1 ] [ 2 ] [ 5 ] [ 6 ]

سمات

يكشف ThreadSafe عن عيوب التزامن في Java: [ 2 ] [ 3 ] [ 4 ]

  • ظروف التزامن - التي تؤدي إلى سلوك غير صحيح أو غير متوقع يصعب إعادة إنتاجه في مصحح الأخطاء.
  • حالات التعطل [ 7 ] - تحدث بسبب الانتظار الدائري بين الخيوط التي تنتظر الموارد المشتركة.
  • نتائج غير متوقعة – ناجمة عن سوء التعامل مع المجموعات المتزامنة، أو سوء معالجة الأخطاء، أو مزامنة الكائنات المختلطة.
  • اختناقات الأداء – ناجمة عن الاستخدام غير الصحيح لواجهة برمجة التطبيقات، والمزامنة الزائدة، والاستخدام غير الضروري للحالة القابلة للتغيير المشتركة.

يتكامل ThreadSafe مع بيئة تطوير البرمجيات Eclipse ومنصة إدارة جودة البرمجيات SonarQube . ويُوفّر معلومات سياقية ضمن بيئة التطوير لمساعدة المطور في التحقيق في مشكلات التزامن وحلها مباشرةً في الكود. [ 2 ] [ 3 ] [ 4 ] كما يتوفر إصدار سطر أوامر لمستخدمي بيئات التطوير المتكاملة الأخرى غير Eclipse، ولدمجه في عملية البناء.

التحقق من الالتزام بالمعايير

يكشف ThreadSafe عن انتهاكات القواعد المتعلقة بالتزامن في معيار CERT Oracle Secure Coding Standard للغة Java. [ 8 ]

انظر أيضاً

مراجع

  1. 1 2 غرازي، فيكتور (28 أغسطس 2013). "أداة تحليل التزامن الثابتة الآمنة للخيوط تعلن عن أول إصدار عام" . InfoQ.com.
  2. 1 2 3 4 تافت، داريل (4 سبتمبر 2013). "Contemplate تقدم أداة تحليل ثابتة للتزامن في جافا آمنة للخيوط" . DevX.com.
  3. 1 2 3 أتكي، روبرت (14 يناير 2014). "اكتشاف وتشخيص مشاكل التزامن في جافا باستخدام ThreadSafe من Contemplate" . InfoQ.com.
  4. 1 2 3 أتكي، روبرت؛ سانيلا، دونالد ( 2015). "ThreadSafe: التحليل الثابت للتزامن في جافا". الاتصالات الإلكترونية لجمعية EASST . 72. doi : 10.14279/tuj.eceasst.72.1025.995 .
  5. ↑ روي، ريتوبان (1 مايو 2013). "أخطاء البرمجيات: موجز تكنولوجي جديد للمديرين الماليين" . رؤى المدير المالي. مؤرشف من الأصل في 14 أكتوبر 2013.
  6. ↑ روبنز، بول (12 مارس 2014). "لماذا لا يمكن لاختبار البرمجيات أن ينقذك من كوارث تكنولوجيا المعلومات" . إشارة إلى ThreadSafe في الصفحة 2. CIO.com. مؤرشف من الأصل في 14 مارس 2014. تم الاطلاع عليه في 18 أبريل 2014 .
  7. ↑ رايبل، مات (26 يونيو 2014). "Contemplate ThreadSafe تقدم ميزة اكتشاف حالات التعطل" . InfoQ.com.
  8. ↑ "معيار ترميز أوراكل لجافا من معهد هندسة البرمجيات (SEI CERT)" . معهد هندسة البرمجيات، جامعة كارنيجي ميلون . تم الاطلاع عليه بتاريخ 18 مارس 2016 .