LDRA Testbed

LDRA Testbed

تعد شركة Liverpool Data Research Associates (LDRA) مزودًا لتحليل البرامج واختبارها ومتطلبات أدوات التتبع للقطاعين العام والخاص ورائدة في تحليل البرامج الثابتة والديناميكية.
يوفر LDRA Testbed محركات التحليل الأساسية والديناميكية لكل من المضيف والبرامج المدمجة.يوفر LDRA Testbed وسيلة لفرض الامتثال لمعايير الترميز مثل MISRA و JSF ++ AV و CERT C و CWE ، ويوفر رؤية لعيوب البرنامج التي قد تمر عادة خلال عملية الإنشاء والاختبار القياسية لتصبح مشاكل كامنة.بالإضافة إلى ذلك ، يتم توفير التغذية المرتدة من فعالية الاختبار من خلال مرافق إعداد تقارير تحليل التغطية الهيكلية التي تدعم متطلبات معيار DO-178B حتى المستوى A.

موقع الكتروني:

المميزات

التصنيفات

بدائل لـ LDRA Testbed لنظام التشغيل Linux

Cppcheck

Cppcheck

Cppcheck هو أداة تحليل ثابتة لرمز C / C ++.على عكس برامج التحويل البرمجي C / C ++ والعديد من أدوات التحليل الأخرى ، فإنه لا يكتشف أخطاء بناء الجملة في التعليمات البرمجية.
PVS-Studio

PVS-Studio

PVS-Studio هو محلل ثابت يكتشف الأخطاء في الكود المصدري للتطبيقات C و C ++ و C #.