مساحة المنشورات

Polyspace هي أداة لتحليل الشفرة الثابتة، تُستخدم لتحليل الشفرة على نطاق واسع من خلال التفسير المجرد ، وذلك للكشف عن أخطاء وقت التشغيل في الشفرة المصدرية للغات البرمجة C و C++ و Ada ، أو إثبات عدم وجودها . كما تتحقق الأداة من توافق الشفرة المصدرية مع معايير الشفرة المناسبة. ^{[ 3 ]}

تم تطوير Polyspace في الأصل بواسطة شركة PolySpace Technologies الفرنسية ، والتي استحوذت عليها شركة MathWorks في عام 2007. ^{[ 4 ]} تم دمج المنتج لاحقًا في MATLAB.

يفحص برنامج Polyspace شفرة المصدر لتحديد مواضع الأخطاء المحتملة أثناء التشغيل، مثل تجاوز سعة العمليات الحسابية ، وتجاوز سعة المخزن المؤقت ، والقسمة على صفر ، وغيرها. يستخدم مطورو البرامج ومديرو ضمان الجودة هذه المعلومات لتحديد أجزاء الشفرة المعيبة أو الموثوقة. أما الأجزاء الأخرى من الشفرة فتُعلّم لإجراء فحوصات غير مُثبتة وتستحق مراجعة فردية. ^{[ 5 ] [ 6 ]}

تسعى معايير أو إرشادات البرمجة، مثل MISRA C، إلى معالجة جودة الكود وقابليته للنقل وموثوقيته. يتحقق المنتج من توافق كود المصدر المكتوب بلغة C وC++ مع مجموعة فرعية من القواعد الواردة في هذه المعايير البرمجية. ^{[ 7 ]}

تتألف عائلة المنتجات من مُدقِّق كود Polyspace ومكتشف الأخطاء Polyspace. يقوم مُدقِّق الكود بترميز الكود المصدري باستخدام نظام ترميز لوني للإشارة إلى حالة كل عنصر فيه. ^{[ 8 ]} ويستخدم تحليل الكود الثابت القائم على الأساليب الرسمية للتحقق من تنفيذ البرنامج على مستوى اللغة. ^{[ 6 ]} تتحقق الأداة من كل تعليمة برمجية مع مراعاة جميع القيم الممكنة لكل متغير في كل نقطة من الكود، مما يوفر تشخيصًا رسميًا لكل عملية في الكود في ظل ظروف الاستخدام العادية وغير العادية. ^{[ 9 ]}

تُحدد وحدة البحث عن الأخطاء البرمجية الأخطاء البرمجية من خلال إجراء تحليل ثابت للبرنامج على شفرة المصدر. وتكتشف عيوبًا مثل أخطاء الحساب العددي، والبرمجة، والذاكرة، وغيرها. كما تُنتج مقاييس برمجية مثل كثافة التعليقات في ملف المصدر، والتعقيد الحلقي، وعدد الأسطر، والمعاملات، ومستويات الاستدعاء، وما إلى ذلك في دالة ما، بالإضافة إلى أخطاء وقت التشغيل المُحددة في البرنامج. ^{[ 10 ]}

• قائمة أدوات تحليل الكود الثابت

• الموقع الرسمي