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

15
PVS-Studio
PVS-Studio هو محلل ثابت يكتشف الأخطاء في الكود المصدري للتطبيقات C و C ++ و C #.
- التطبيق المدفوع
- Windows
- MinGW
- Linux
- GCC C Preprocessor (cpp)
- clang
- Microsoft Visual Studio