LDRA Testbed

تعد شركة Liverpool Data Research Associates (LDRA) مزودًا لتحليل البرامج واختبارها ومتطلبات أدوات التتبع للقطاعين العام والخاص ورائدة في تحليل البرامج الثابتة والديناميكية.

التطبيق المدفوع
Windows
Linux

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

ldra-testbed

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

http://www.ldra.com/

المميزات

تحليل كود ثابت

بدائل LDRA Testbed لجميع المنصات مع أي ترخيص

Cppcheck

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

تطبيق مجاني
PortableApps.com
Windows
Eclipse
Linux

PVS-Studio

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