0
يوفر LDRA Testbed محركات التحليل الأساسية والديناميكية لكل من المضيف والبرامج المدمجة.يوفر LDRA Testbed وسيلة لفرض الامتثال لمعايير الترميز مثل MISRA و JSF ++ AV و CERT C و CWE ، ويوفر رؤية لعيوب البرنامج التي قد تمر عادة خلال عملية الإنشاء والاختبار القياسية لتصبح مشاكل كامنة.بالإضافة إلى ذلك ، يتم توفير التغذية المرتدة من فعالية الاختبار من خلال مرافق إعداد تقارير تحليل التغطية الهيكلية التي تدعم متطلبات معيار DO-178B حتى المستوى A.
موقع الكتروني:
http://www.ldra.com/المميزات
التصنيفات
بدائل لـ LDRA Testbed لنظام التشغيل Linux
20
Cppcheck
Cppcheck هو أداة تحليل ثابتة لرمز C / C ++.على عكس برامج التحويل البرمجي C / C ++ والعديد من أدوات التحليل الأخرى ، فإنه لا يكتشف أخطاء بناء الجملة في التعليمات البرمجية.
- تطبيق مجاني
- PortableApps.com
- Windows
- Eclipse
- Linux
15
PVS-Studio
PVS-Studio هو محلل ثابت يكتشف الأخطاء في الكود المصدري للتطبيقات C و C ++ و C #.
- التطبيق المدفوع
- Windows
- MinGW
- Linux
- GCC C Preprocessor (cpp)
- clang
- Microsoft Visual Studio